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 define e 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’; belief is a unary predicate; and the extension of the belief predicate is computed by enforcing constraints among sets of local models

A Local Models Semantics for Propositional Attitudes

Giunchiglia, Fausto;Ghidini, Chiara
2000-01-01

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 define e 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’; belief is a unary predicate; and the extension of the belief predicate is computed by enforcing constraints among sets of local models
2000
9780792363507
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/1262
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact