Multi-modal Nonmonotonic Logics of Minimal Knowledge

Riccardo Rosati.
Annals of Mathematics and Artificial Intelligence, volume 48, number 3-4, pages 169-185, 2007. ISSN 1012-2443.

 

Abstract:

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{AMAI = "Annals of Mathematics and Artificial Intelligence"}

@Article{Rosa07b,
author = "Riccardo Rosati",
title = "Multi-modal Nonmonotonic Logics of Minimal Knowledge",
journal = AMAI,
volume = 48,
number = "3-4",
pages = "169--185",
year = 2007,
issn = "1012-2443",
}