Title :
Formal System and Semantics of NΣ-Labeled Calculus
Author :
Ikeda, Yasuwo ; Mizutani, Tetsuya ; Shio, Masayuki
Author_Institution :
Mejiro Univ., Tokyo, Japan
Abstract :
NΣ-labeled calculus is a formal system for representation, verification and analysis of time-concerned recognition, knowledge, belief and decision of humans or computer programs together with related external physical or logical phenomena. In this paper, its formal system and semantics with its soundness are introduced. And also it is shown that this calculus is undecidable even if the base theory is Presburger arithmetic.
Keywords :
calculus; process algebra; NΣ-labeled calculus; Presburger arithmetic; computer programs; formal system; formal system; logic of knowledge or thought; tence arithmetic; verification;
Conference_Titel :
Artificial Intelligence and Computational Intelligence, 2009. AICI '09. International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-3835-8
Electronic_ISBN :
978-0-7695-3816-7
DOI :
10.1109/AICI.2009.410
