Modal mu-calculus extension with description of autonomy and its algebraic structure

Susumu Yamasaki, Mariko Sasakura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper deals with complex abstract state machinery, clearly represented by modal logic with fixed point operator. The logic is well known as modal mu-calculus, which is extended to the version involving human computer interaction as well as involving awareness, communication and behavioral predicates of propositional variables as in autonomy systems. The extended version contains complexity for human machine interaction, whose meaning is represented by Heyting algebra but not by Boolean algebra. In the sense of Heyting algebra, human computer interaction of complexity can be described such that related predicates of communication and behavior may be simplified. Then the extended version can be applied to some process by means of awareness to an expertise, communication and behavior processes, and repetitions represented with fixed point operator (that is, mu-operator). This version is also concerned with model theory caused by postfix modal operator, where composition and alternation of modal operators may be organized into an algebraic structure.

Original languageEnglish
Title of host publicationCOMPLEXIS 2020 - Proceedings of the 5th International Conference on Complexity, Future Information Systems and Risk
EditorsReinhold Behringer, Victor Chang
PublisherSciTePress
Pages63-71
Number of pages9
ISBN (Electronic)9789897584275
Publication statusPublished - 2020
Event5th International Conference on Complexity, Future Information Systems and Risk, COMPLEXIS 2020 - Virtual, Online
Duration: May 8 2020May 9 2020

Publication series

NameCOMPLEXIS 2020 - Proceedings of the 5th International Conference on Complexity, Future Information Systems and Risk

Conference

Conference5th International Conference on Complexity, Future Information Systems and Risk, COMPLEXIS 2020
CityVirtual, Online
Period5/8/205/9/20

Keywords

  • Abstract State Machinery
  • Application to Autonomy
  • Fixed Point
  • Human Computer Interaction
  • Modal Logic

ASJC Scopus subject areas

  • Information Systems

Fingerprint

Dive into the research topics of 'Modal mu-calculus extension with description of autonomy and its algebraic structure'. Together they form a unique fingerprint.

Cite this