DocumentCode
510256
Title
Formal System and Semantics of NΣ-Labeled Calculus
Author
Ikeda, Yasuwo ; Mizutani, Tetsuya ; Shio, Masayuki
Author_Institution
Mejiro Univ., Tokyo, Japan
Volume
3
fYear
2009
fDate
7-8 Nov. 2009
Firstpage
270
Lastpage
274
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/AICI.2009.410
Filename
5376645
Link To Document