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.

References

  1. Bertolissi, C., Cirstea, H., and Kirchner, C. (2006). Expressing combinatory reduction systems derivations in the rewriting calculus. HigherOrder.Symbolic.Comput., 19(4):345-376.
  2. Cardelli, L. and Gordon, A. (2000). Mobile ambients. Theoret.Comput.Sci., 240(1):177-213.
  3. Droste, M., Kuich, W., and Vogler, H. (2009). Handbook of Weighted Automata. Springer.
  4. Genesereth, M. and Nilsson, N. (1987). Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers.
  5. Giordano, L., Martelli, A., and Schwind, C. (2000). Ramification and causality in a modal action logic. J.Log.Comput., 10(5):625-662.
  6. Hanks, S. and McDermott, D. (1987). Nonmonotonic logic and temporal projection. Artificial Intelligence, 33(3):379-412.
  7. Hennessy, M. and Milner, R. (1985). Algebraic laws for nondeterminism and concurrency. J.ACM, 32(1):137- 161.
  8. Kucera, A. and Esparza, J. (2003). A logical viewpoint on process-algebraic quotients. J.Log.Comput., 13(6):863-880.
  9. Merro, M. and Nardelli, F. (2005). Behavioural theory for mobile ambients. J.ACM., 52(6):961-1023.
  10. Milner, R. (1999). Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press.
  11. Mosses, P. (1992). Action Semantics. Cambridge University Press.
  12. Osorio, M., Navarro, J. A., and Arrazola, J. (2004). Applications of intuitionistic logic in answer set programming. TLP, 4(3):325-354.
  13. Reiter, R. (2001). Knowledge in Action. MIT Press.
  14. Reps, T., Schwoon, S., and Somesh, J. (2005). Weighted pushdown systems and their application to interprocedural data flow analysis. Sci.Comput.Program., 58(1- 2):206-263.
  15. Rutten, J. (2001). On Streams and Coinduction. CWI.
  16. Thompson, S. (1991). Type Theory and Functional Programming. Addison-Wesley, Amsterdam.
  17. van der Hoek, W., Roberts, M., and Wooldridge, M. (2005). A logic for strategic reasoning. In 4th AAMAS: Proceedings, pages 157-164.
  18. Venema, Y. (2006). Automata and fixed point logic: A coalgebraic perspective. Inf.Comput., 204(4):637-678.
  19. Venema, Y. (2008). Lectures on the Modal Mu-Calculus. ILLC, Amsterdam.
  20. Winter, J., Marcello, B., Bonsangue, M., and Rutten, J. (2013). Coalgebraic characterizations of context-free languages. Formal Methods in Computer Science, 9(3):1-39.
  21. Winter, J., Marcello, B., Bonsangue, M., and Rutten, J. (2015). Cntext-free coalgebra. J.Comput.Syst.Sci., 81(5):911-939.
  22. Yamasaki, S. and Sasakura, M. (2015). Multi-modal mucalculus semantics for knowledge construction. In Proceedings of 7th IC3K, KEOD, pages 358-362.
Download


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