Art

J-GLOBAL ID：201602274602210494   Reference number：16A0969333

Method for Combining Paraconsistency and Probability in Temporal Reasoning

時間推論における矛盾許容性と確率を結合するための方法

Author (2)： KAMIDE Norihiro (Teikyo Univ., Tochigi, JPN) ,  KOIZUMI Daiki (Otaru Univ. Commerce, Hokkaido, JPN)
Material： Journal of Advanced Computational Intelligence and Intelligent Informatics  (J Adv Comput Intell Intell Inform)
Volume： 20  Issue： 5  Page： 813-827  Publication year： Sep. 20, 2016 
JST Material Number： F1398A  ISSN： 1343-0130  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *artificial intelligent inference ,  logic ,  *probability ,  *binding and coupling ,  calculation ,  incommensurability ,  attitude ,  logical operation ,  theorem ,  possibility ,  tolerability
Semi thesaurus term： Permissiveness ,  decidability ,  *temporal reasoning ,  negation ,  *paraconsistent logic

JST classification (2)： Artificial intelligence  (JE08000Z) ,  Logic algebra  (JB03000H)

Reference (40)：

• D. Chen and J. Wu, “Reasoning about inconsistent concurrent systems: A non-classical temporal logic,” Proc. of the 32nd Conf. on Current Trends in Theory and Practice of Computer Science (SOFSEM 2006), Lecture Notes in Computer Science, Vol.3831, pp. 207-217, 2006.
• A. Bianco and L. de Alfaro, “Model checking of probabilistic and nondeterministic systems,” Proc. of the 15th Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1995), Lecture Notes in Computer Science, Vol.1026, pp. 499-513, 1995.
• E. M. Clarke and E. A. Emerson, “Design and synthesis of synchronization skeletons using branching time temporal logic,” Proc. of the Workshop on Logics of Programs, Lecture Notes in Computer Science, Vol.131, pp. 52-71, 1981.
• E.M. Clarke, O. Grumberg, and D.A. Peled, “Model checking,” The MIT Press, 1999.
• A. Pnueli, “The temporal logic of programs,” Proc. of the 18th IEEE Symp. on Foundations of Computer Science, pp. 46-57, 1977.

Terms in the title (4)： 推論 ,  矛盾 ,  許容性 ,  確率