Total Knowledge

Ian Pratt-Hartmann, Henry Kautz (Editor), Bruce Porter (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    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 languageEnglish
    Title of host publicationProceedings, 17th National Conference on Artificial Intelligence, 2000 (AAAI-00)
    EditorsHenry Kautz, Bruce Porter
    PublisherAAAI Press
    Pages423-428
    Number of pages6
    Publication statusPublished - 2000
    EventProceedings, 17th National Conference on Artificial Intelligence, 2000 (AAAI-00) - Autin, TX
    Duration: 31 Jul 20002 Aug 2000

    Conference

    ConferenceProceedings, 17th National Conference on Artificial Intelligence, 2000 (AAAI-00)
    CityAutin, TX
    Period31/07/002/08/00

    Fingerprint

    Dive into the research topics of 'Total Knowledge'. Together they form a unique fingerprint.

    Cite this