A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes

摘要：

Almost all existing approaches to modeling epistemic processes are somehow based on classical mathematical logic or its various classical conservative extensions. There are some inherent difficulties and/or problems in these approaches. On the other hand, although any epistemic process must be a timedependent process such that both the truth-values of propositions/beliefs and the relationships among them may depend on time, until now, there are few approaches proposed for reasoning about the dynamics of epistemic processes with some explicit means to deal with the notion of time. This paper proposes a temporal relevant logic approach to modeling and reasoning about epistemic processes. We show that the approach has not the inherent difficulties and/or problems in those approaches based on classical mathematical logic or its various classical conservative extensions, and the dynamics of epistemic processes can be reasoned about based on the temporal relevant logic if we consider that each epistemic state in epistemic processes corresponds to a time point. This work provides a fundamental basis for constructing grid theorists working based on the Theory Grid.

关键词： knowledge representation and reasoning epistemic processes temporal relevant logic theory grid grid theorists

作者: Jingde Cheng

作者单位: Department of Information and Computer Sciences Saitama University Saitama, Japan

会议类型: 国际会议

会议名称: Fifth International Conference on Semantics,Knowledge and Grid(第五届语义、知识与网格国际会议 SKG 2009)

会议地点: 珠海

会议语种:英文

页码: 18-25

在线出版日期: 2009-10-12（万方平台首次上网日期，不代表论文的发表时间）