The formalization of agents attitudes, and belief in particular, has been investigated in the past by the authors of this paper, along two different but related streams. Giunchiglia and Giunchiglia investigate the properties of contexts for the formal specification of agents mutual beliefs, combining extensional specification with (finite) presentation by means of contexts. Cimatti and Serafini address the representational and implementational implications of the use of contexts for representing prepositional attitudes by tackling a paradigmatic case study. The goal of this paper is to show how these two streams are actually complementary, i.e. how the methodology proposed in the former can be successfully applied to formally specify the case study discussed in the latter. In order to achieve this goal, the formal framework is extended to take into account some relevant aspects of the case study, the specification of which is then worked out in detail.

Formal specification of beliefs in multi-agent systems / Benerecetti, M.; Cimatti, A.; Giunchiglia, E.; Giunchiglia, F.; Serafini, L.. - 1193:(2015), pp. 117-130. ((Intervento presentato al convegno ECAI'96 Workshop (ATAL) Budapest tenutosi a Budapest, Ungheria nel 12-13 agosto 1996 [10.1007/BFb0013581].

Formal specification of beliefs in multi-agent systems

Cimatti A.;Giunchiglia F.;Serafini L.
2015-01-01

Abstract

The formalization of agents attitudes, and belief in particular, has been investigated in the past by the authors of this paper, along two different but related streams. Giunchiglia and Giunchiglia investigate the properties of contexts for the formal specification of agents mutual beliefs, combining extensional specification with (finite) presentation by means of contexts. Cimatti and Serafini address the representational and implementational implications of the use of contexts for representing prepositional attitudes by tackling a paradigmatic case study. The goal of this paper is to show how these two streams are actually complementary, i.e. how the methodology proposed in the former can be successfully applied to formally specify the case study discussed in the latter. In order to achieve this goal, the formal framework is extended to take into account some relevant aspects of the case study, the specification of which is then worked out in detail.
Lecture Notes in Computer Science
Hungary
Springer Verlag
978-3-540-68057-4
Benerecetti, M.; Cimatti, A.; Giunchiglia, E.; Giunchiglia, F.; Serafini, L.
Formal specification of beliefs in multi-agent systems / Benerecetti, M.; Cimatti, A.; Giunchiglia, E.; Giunchiglia, F.; Serafini, L.. - 1193:(2015), pp. 117-130. ((Intervento presentato al convegno ECAI'96 Workshop (ATAL) Budapest tenutosi a Budapest, Ungheria nel 12-13 agosto 1996 [10.1007/BFb0013581].
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/11572/197418
 Attenzione

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

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