Authors: Giunchiglia F. and Ghidini C.
Title: A local model semantics for propositional attitudes.
Abstract:
Our starting point is a formulation of modal logics, described in previous
papers, defined in terms of a hierarchy of distinct (that is, not amalgamated)
metatheories. These logics, called Hierarchical Multilanguage Belief (HMB)
systems formalize the current practice in the implementation of propositional
attitudes, and in particular belief, inside complex reasoning systems.
Our goal is to definea new semantics for HMB systems, called local models
semantics, which captures their underlying intuitions. In local models
semantics, each (meta)theory defines a set of first order models, called
"local models"; beliefs is a unary predicate; and the extension of the
belief predicate is computed by enforcing constraints among sets of local
models
In: Proceedings of the International and Interdisciplinary Conference
on Modeling and Using Context (CONTEXT-97), Rio de Janeiro, Brazil, February
4-6, Federal University of Rio de Janeiro Ed., pp. 363-372.
Back to CONTEXT-97 Program