Reasoning about Evolving Nonmonotonic Knowledge Bases
From MaRDI portal
Publication:2996180
DOI10.1007/3-540-45653-8_28zbMATH Open1275.68136arXivcs/0209019OpenAlexW1637139942MaRDI QIDQ2996180FDOQ2996180
Giuliana Sabbatini, Thomas Eiter, Hans Tompits, Michael Fink
Publication date: 6 May 2011
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Abstract: Recently, several approaches to updating knowledge bases modeled as extended logic programs have been introduced, ranging from basic methods to incorporate (sequences of) sets of rules into a logic program, to more elaborate methods which use an update policy for specifying how updates must be incorporated. In this paper, we introduce a framework for reasoning about evolving knowledge bases, which are represented as extended logic programs and maintained by an update policy. We first describe a formal model which captures various update approaches, and we define a logical language for expressing properties of evolving knowledge bases. We then investigate semantical and computational properties of our framework, where we focus on properties of knowledge states with respect to the canonical reasoning task of whether a given formula holds on a given evolving knowledge base. In particular, we present finitary characterizations of the evolution for certain classes of framework instances, which can be exploited for obtaining decidability results. In more detail, we characterize the complexity of reasoning for some meaningful classes of evolving knowledge bases, ranging from polynomial to double exponential space complexity.
Full work available at URL: https://arxiv.org/abs/cs/0209019
Cited In (2)
Uses Software
This page was built for publication: Reasoning about Evolving Nonmonotonic Knowledge Bases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2996180)
