loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Susumu Yamasaki

Affiliation: Okayama University, Japan

Keyword(s): State Constraint Agent, Interactive Monitoring, Modal Logic and Algebra.

Abstract: This position paper is concerned with aspects of an interactive state transition system (based on abstract state machine) by means of the state monitoring in action logic (as multi-modal logic), towards a step to the design for complex systems. Logical models are here presented as theories for implementation design on iDevice, with respect to the algebraic structure caused by state transitions. As a simpler design of complex AI, the environmental constraint is captured as a state, where the function applications are available at each state with the transition to the next states. For communication to the state, and function applications at the state, multi-modal logic model may be of use, where the formula or the condition monitors the state. Then interaction availability is significant, expressed in some algebra on the basis of the meaning definitions for formulas (conditions). By the state transition system, URL searching operations are now formally considered as in algebraic struct ure. The application of predicates to the states is regarded as applications of functions (transforming conditions) such that its algebraic structure may be given. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.224.63.87

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Yamasaki, S. (2017). Semantics and Algebra for Action Logic Monitoring State Transitions. In Proceedings of the 2nd International Conference on Complexity, Future Information Systems and Risk - COMPLEXIS; ISBN 978-989-758-244-8; ISSN 2184-5034, SciTePress, pages 110-115. DOI: 10.5220/0006345901100115

@conference{complexis17,
author={Susumu Yamasaki.},
title={Semantics and Algebra for Action Logic Monitoring State Transitions},
booktitle={Proceedings of the 2nd International Conference on Complexity, Future Information Systems and Risk - COMPLEXIS},
year={2017},
pages={110-115},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006345901100115},
isbn={978-989-758-244-8},
issn={2184-5034},
}

TY - CONF

JO - Proceedings of the 2nd International Conference on Complexity, Future Information Systems and Risk - COMPLEXIS
TI - Semantics and Algebra for Action Logic Monitoring State Transitions
SN - 978-989-758-244-8
IS - 2184-5034
AU - Yamasaki, S.
PY - 2017
SP - 110
EP - 115
DO - 10.5220/0006345901100115
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic