Title: Ordered Epistemic Logic: Semantics, complexity and applications
Authors: Vlaeminck, Hanne ×
Vennekens, Joost
Bruynooghe, Maurice
Denecker, Marc #
Issue Date: 2012
Publisher: AAAI Press
Host Document: Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012 pages:369-379
Conference: Knowledge Representation and Reasoning edition:2012 location:Rome date:10-14 July 2012
Abstract: Many examples of epistemic reasoning in the literature exhibit
a stratified structure: defaults are formulated on top of
an incomplete knowledge base. These defaults derive extra
information in case information is missing in the knowledge
base. In autoepistemic logic, default logic and ASP this inherent
stratification is not preserved as they may refer to their
own knowledge or logical consequences. Defining the semantics
of such logics requires a complex mathematical construction.
As an alternative, this paper further develops ordered
epistemic logic. This logic extends first order logic with a
modal operator and stratification is maintained. This allows
us to define an easy to understand semantics. Moreover, inference
tasks have a lower complexity than in autoepistemic
logic and the logic integrates seamlessly into classical logic
and its extensions. In this paper we also propose a generalization
of ordered epistemic logic, which we call distributed ordered
epistemic logic.We argue that it can provide a semantic
foundation for a number of distributed knowledge representation
formalisms found in the literature.
ISBN: 978-1-57735-560-1
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
Technologiecluster Computerwetenschappen
Computer Science Technology TC, Technology Campus De Nayer Sint-Katelijne-Waver
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
vlaeminck_kr2012.pdf Published 227KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.