Non-Omniscient Belief as Context-Based Resoning

  title={Non-Omniscient Belief as Context-Based Resoning},
  author={Fausto Giunchiglia and Luciano Serafini and Enrico Giunchiglia and Marcello Frixione},
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… CONTINUE READING
36 Citations
16 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 36 extracted citations


Publications referenced by this paper.
Showing 1-10 of 16 references

Contextual reason- ing. Epistemologia, special issue on I Linguaggi e le Macchine, XVI.345 364

  • F Ciunchiglia, Ciunchiglia
  • Proc. IJCAI'93 Workshop on Using Knowledge in its…
  • 1993

Hierarchical meta-Iogics: intuitions , proof theory and semantics

  • Ciunchiglia
  • Proc. META- 92, Workshop on Metaprogramming in…
  • 1992

The GETFOL Manual -GETFOL version 1

  • F Ciunchiglia, Ciunchiglia
  • The GETFOL Manual -GETFOL version 1
  • 1992

Multilanguage systems

  • F Ciunchiglia, Giiunchiglia
  • Proc. of AAAI Spring Symposium on Logical…
  • 1991

Partitioned Representations

  • J Dinsmore, Dinsmore
  • Partitioned Representations
  • 1991
1 Excerpt

Halpern Belief, awareness, and limited reasoning

  • Fagin, R Ilalpern, J Fagin
  • Artif. Intell
  • 1988

A guide to the modal logics of knowledge and belief: preliminary draft

  • Halpern, Moses, J Y Halpern, Y Moses
  • Proc. of the 9th International Joint Conference…
  • 1985
1 Excerpt

Similar Papers

Loading similar papers…