As discussed in previous papers, belief contexts are a powerful and adequate formalism for the representation of propositional attitudes in a multiagent environment. Belief contexts give also implementational advantages. In this paper we discuss the issues related to the practical use of belief contexts, by showing the mechanized solution to some paradigmatic case studies. We show that this mechanization has the following implementational advantages. First, proofs have a natural interpretation, close to standard patterns in reasoning about propositional attitudes, and are based only on few conceptual reasoning steps: this makes proof search easier to understand and automatize. Furthermore, it is easier to implement inference strategies which exploit the structure of the problem. Finally, substantial parts of reasoning are local to contexts: this allows for the efficient use of general purpose deciders

A Context-Based Mechanization of Multi-Agent Reasoning

Cimatti, Alessandro;Serafini, Luciano
2000

Abstract

As discussed in previous papers, belief contexts are a powerful and adequate formalism for the representation of propositional attitudes in a multiagent environment. Belief contexts give also implementational advantages. In this paper we discuss the issues related to the practical use of belief contexts, by showing the mechanized solution to some paradigmatic case studies. We show that this mechanization has the following implementational advantages. First, proofs have a natural interpretation, close to standard patterns in reasoning about propositional attitudes, and are based only on few conceptual reasoning steps: this makes proof search easier to understand and automatize. Furthermore, it is easier to implement inference strategies which exploit the structure of the problem. Finally, substantial parts of reasoning are local to contexts: this allows for the efficient use of general purpose deciders
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/1330
 Attenzione

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

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