On the Epistemic Foundations of Agent Theories

Abstract. We argue that none of the existing epistemic logics can adequately serve the needs of agent theories. We suggest a new concept of knowledge which generalizes both implicit and explicit knowledge and argue that this is the notion we need to formalize agents in Distributed Articial Intelligence. A logic of the new concept is developed which is formally and practically adequate in the following sense: rst, it does not suer from any kind of logical omniscience. Second, it can account for the intuition that agents are rational, though not hyper-rational. Third, it is expressive enough. The advantages of the new logic over other formalisms is demonstrated by showing that none of the existing systems can fulll all these requirements simultaneously.

• Type: Conference
• Year: 1997
• Where: ATAL
• Authors: Ho Ngoc Duc
• Keywords: Arti Cial Intelligence, ATAL 1997, Epistemic Logics, Intelligent Agents, Logic