loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Author: Susumu Yamasaki

Affiliation: Okayama University, Japan

ISBN: 978-989-758-244-8

ISSN: 2184-5034

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 structu re. The application of predicates to the states is regarded as applications of functions (transforming conditions) such that its algebraic structure may be given. (More)

PDF ImageFull Text

Download
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 3.237.66.86

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 - Volume 1: COMPLEXIS, ISBN 978-989-758-244-8, ISSN 2184-5034, 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 - Volume 1: COMPLEXIS,},
year={2017},
pages={110-115},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006345901100115},
isbn={978-989-758-244-8},
}

TY - CONF

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.