Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
作者:
摘要
This paper introduces a formal system Σ of subjective epistemic reasoning that encodes a method of reasoning with conditions of knowledge and belief. The conditions are subjective in that they are taken from the perspective of an agent's perception of his own state of knowledge or belief with respect to his observable world. Belief is measured along a series of linguistic degrees, e.g., strongly believes, fairly confidently believes, somewhat disbelieves, etc., and knowledge is taken as unequivocal belief. The system employs a novel, dual-leveled language that follows fuzzy logic by interpreting the logical or and and as the arithmetical max and min. Numerous properties of Σ, illustrating its intuitive appeal for the intended purpose, are derived.
论文关键词:Agents,Agent-oriented reasoning,Approximate reasoning,Belief,Dual-leveled semantics,Epistemic logic,Fuzzy logic,Knowledge,Knowledge representation
论文评审过程:Received 2 July 2001, Revised 9 August 2002, Available online 16 April 2003.
论文官网地址:https://doi.org/10.1016/S0004-3702(03)00022-5