DMCA
Algorithmic Knowledge (1994)
Cached
Download Links
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- [www.tark.org]
- DBLP
Other Repositories/Bibliography
| Venue: | Proc. Second Conference on Theoretical Aspects of Reasoning about Knowledge |
| Citations: | 62 - 10 self |
BibTeX
@INPROCEEDINGS{Halpern94algorithmicknowledge,
author = {Joseph Halpern and Yoram Moses and Moshe Y. Vardi},
title = {Algorithmic Knowledge},
booktitle = {Proc. Second Conference on Theoretical Aspects of Reasoning about Knowledge},
year = {1994},
pages = {255--266},
publisher = {Morgan Kaufmann}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
: The standard model of knowledge in multi-agent systems suffers from what has been called the logical omniscience problem: agents know all tautologies, and know all the logical consequences of their knowledge. For many types of analysis, this turns out not to be a problem. Knowledge is viewed as being ascribed by the system designer to the agents; agents are not assumed to compute their knowledge in any way, nor is it assumed that they can necessarily answer questions based on their knowledge. Nevertheless, in many applications that we are interested in, agents need to act on their knowledge. In such applications, an externally ascribed notion of knowledge is insufficient: clearly an agent can base his actions only on what he explicitly knows. Furthermore, an agent that has to act on his knowledge has to be able to compute this knowledge; we do need to take into account the algorithms available to the agent, as well as the "effort" required to compute knowledge. In this paper, we show...
