DMCA
On the epistemic foundations of agent theories
Cached
Download Links
- [lips.informatik.uni-leipzig.de:80]
- [lips.informatik.uni-leipzig.de]
- [www.informatik.uni-leipzig.de]
- DBLP
Other Repositories/Bibliography
| Venue: | In this volume |
| Citations: | 1 - 0 self |
BibTeX
@INPROCEEDINGS{Duc_onthe,
author = {Ho Ngoc Duc},
title = {On the epistemic foundations of agent theories},
booktitle = {In this volume},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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 su er 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. 1
