On the Epistemic Foundations of Agent Theories

Authors: 
Duc, Ho Ngoc
Year: 
1997
Language: 
English
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 Artificial Intelligence. A logic of the new concept is developed which is formally and practically adequate in the following sense: first, it does not suffer 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 th
Appeared / Erschienen in: 
M. Singh et. al., Intelligent Agents IV - Proceedings of ATAL-97, LNAI, Springer Verlag, 1997
Pubdate / Erscheinungsdatum: 
1997
Pages / Seitenanzahl: 
10
AttachmentSize
1997-35.pdf154.65 KB