Abstract
In this paper, we analyse a concept of total knowledge basedon the idea that an agent???s total knowledge is the strongestproposition the agent knows. We propose semantics forpropositional and first-order languages with a modal operatorTK representing total knowledge, and establish a resultshowing that total knowledge is ???epistemically categorical???,in the sense that it determines the agent???s knowledge overa broad range of contents. We show that (subject to somerestrictions) total knowledge is always total knowledge ofan objective content, and that, for such objective contents,our TK-operator corresponds in a straightforward way toLevesque???s operator O.
| Original language | English |
|---|---|
| Title of host publication | Proceedings, 17th National Conference on Artificial Intelligence, 2000 (AAAI-00) |
| Editors | Henry Kautz, Bruce Porter |
| Publisher | AAAI Press |
| Pages | 423-428 |
| Number of pages | 6 |
| Publication status | Published - 2000 |
| Event | Proceedings, 17th National Conference on Artificial Intelligence, 2000 (AAAI-00) - Autin, TX Duration: 31 Jul 2000 → 2 Aug 2000 |
Conference
| Conference | Proceedings, 17th National Conference on Artificial Intelligence, 2000 (AAAI-00) |
|---|---|
| City | Autin, TX |
| Period | 31/07/00 → 2/08/00 |