---
title: "Non-Omniscient Belief as Context-Based Resoning"
authors:
  - "Fausto Giunchiglia"
  - "Luciano Serafini"
  - "Enrico Giunchiglia"
  - "Marcello Frixione"
doi: ""
url: "https://ijcai.org/proceedings/1993/77"
pdf: "https://ijcai.org/proceedings/1993/0077.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "548-553"
track: "Knowledge Representation"
keywords:
---

# Non-Omniscient Belief as Context-Based Resoning

Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, 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.