Multi-modal Nonmonotonic Logics of Minimal Knowledge

Riccardo Rosati.
In Ninth International Symposium on Artificial Intelligence and Mathematics (AI&MATH 2006), 2006.



In this paper we introduce multi-modal logics of minimal knowledge. Such a family of logics constitutes the first proposal in the field of epistemic nonmonotonic logic in which the three following aspects are simultaneously addressed: (i) the possibility of formalizing multiple agents through multiple modal operators; (ii) the possibility of using first-order quantification in the modal language; (iii) the possibility of formalizing nonmonotonic reasoning abilities for the agents modeled, based on the principle of minimal knowledge. We illustrate the expressive capabilities of multi-modal logics of minimal knowledge to provide a formal semantics to peer-to-peer data integration systems, which constitute one of the most recent and complex architectures for distributed information systems.

Bibtex entry:

@String{AIMATH-06 = "Ninth International Symposium on Artificial Intelligence and Mathematics (AI\&MATH~2006)"}

author = "Riccardo Rosati",
title = "Multi-modal Nonmonotonic Logics of Minimal Knowledge",
booktitle = AIMATH-06,
year = 2006,