Non-Omniscient Belief as Context-Based Resoning

Giunchiglia, Fausto; Serafini, Luciano; Giunchiglia, Enrico; Frixione, Marcello

Non-Omniscient Belief as Context-Based Resoning

Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione

Download BibTeX Cite

Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 548-553.

Abstract

This paper describes a general framework for the formalization of monotonic reasoning about belief in a multiagent environment . The agents' beliefs are modeled as logical theories. The reasoning about their beliefs is formalized in still another theory, which we call the theory of the computer. The framework is used to model non-omniscient belief and shown to have many advantages . For instance, it allows for an exhaustive classification of the "basic" forms of non logical omniscience and for their "composition" into the structure of the system modeling multiagent omniscient belief.

Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, and Marcello Frixione. 1993. Non-Omniscient Belief as Context-Based Resoning. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 548–553. https://ijcai.org/proceedings/1993/77

@inproceedings{ijcai1993p77,
  title     = {Non-Omniscient Belief as Context-Based Resoning},
  author    = {Giunchiglia, Fausto and Serafini, Luciano and Giunchiglia, Enrico and Frixione, Marcello},
  booktitle = {Proceedings of the Thirteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-93}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ruzena Bajcsy},
  pages     = {548--553},
  year      = {1993},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1993/77},
}

TY  - CPAPER
TI  - Non-Omniscient Belief as Context-Based Resoning
AU  - Giunchiglia, Fausto
AU  - Serafini, Luciano
AU  - Giunchiglia, Enrico
AU  - Frixione, Marcello
T2  - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1993
SP  - 548
EP  - 553
UR  - https://ijcai.org/proceedings/1993/77
ER  -