The problem of context has a long tradition in different areas of artificial intelligence (AI). However, formalizing context has been widely discussed only since the late 80s, when J. McCarthy argued that formalizing context was a crucial step toward the solution of the problem of generality. Since then, two main formalizations have been proposed in AI: Propositional Logic of Context (PLC) and Local Models Semantics/MultiContext Systems (LMS/MCS). In this paper, we propose the first in depth comparison between these two formalizations, both from a technical and a conceptual point of view. The main technical result of this paper is the formal proof of the following facts: (i) PLC can be embedded into a particular class of MCS, called MPLC; (ii) MCS/LMS cannot be embedded in PLC using only lifting axioms to encode bridge rules, and (iii) under some important restrictions (including the hypothesis that each context has finite and homogeneous propositional languages), MCS/LMS can be embedded in PLC with generic axioms. The last part of the paper contains a comparison of the epistemological adequacy of PLC and MCS/LMS for the representation of the most important issues about contexts.

Comparing formal theories of context in artificial intelligence / L., Serafini; Bouquet, Paolo. - In: ARTIFICIAL INTELLIGENCE. - ISSN 0004-3702. - STAMPA. - 155:(2004), pp. 41-67.

Comparing formal theories of context in artificial intelligence

Bouquet, Paolo
2004-01-01

Abstract

The problem of context has a long tradition in different areas of artificial intelligence (AI). However, formalizing context has been widely discussed only since the late 80s, when J. McCarthy argued that formalizing context was a crucial step toward the solution of the problem of generality. Since then, two main formalizations have been proposed in AI: Propositional Logic of Context (PLC) and Local Models Semantics/MultiContext Systems (LMS/MCS). In this paper, we propose the first in depth comparison between these two formalizations, both from a technical and a conceptual point of view. The main technical result of this paper is the formal proof of the following facts: (i) PLC can be embedded into a particular class of MCS, called MPLC; (ii) MCS/LMS cannot be embedded in PLC using only lifting axioms to encode bridge rules, and (iii) under some important restrictions (including the hypothesis that each context has finite and homogeneous propositional languages), MCS/LMS can be embedded in PLC with generic axioms. The last part of the paper contains a comparison of the epistemological adequacy of PLC and MCS/LMS for the representation of the most important issues about contexts.
2004
L., Serafini; Bouquet, Paolo
Comparing formal theories of context in artificial intelligence / L., Serafini; Bouquet, Paolo. - In: ARTIFICIAL INTELLIGENCE. - ISSN 0004-3702. - STAMPA. - 155:(2004), pp. 41-67.
File in questo prodotto:
File Dimensione Formato  
post-print.pdf

Solo gestori archivio

Tipologia: Post-print referato (Refereed author’s manuscript)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 324.05 kB
Formato Adobe PDF
324.05 kB Adobe PDF   Visualizza/Apri

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/53433
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 67
  • ???jsp.display-item.citation.isi??? ND
social impact