Semantics and Algebra for Action Logic Monitoring State Transitions

Susumu Yamasaki

2017

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

Paper Citation

in Harvard Style

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, pages 110-115. DOI: 10.5220/0006345901100115

in Bibtex Style

@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},
}

in EndNote Style

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