<div class="csl-bib-body">
<div class="csl-entry">Bozatto, L., Eiter, T., & Kiesel, R. P. D. (2021). Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures. <i>Theory and Practice of Logic Programming</i>, <i>21</i>(5), 593–609. https://doi.org/10.1017/s1471068421000284</div>
</div>
-
dc.identifier.issn
1471-0684
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/138960
-
dc.description.abstract
Der Umgang mit kontextabhängigem Wissen hat zu verschiedenen Formalisierungen des Begriffs "Kontext" geführt. Kontextes geführt. Dazu gehört das Contextualized Knowledge Repository (CKR) Framework, das Beschreibungslogiken verwurzelt ist, aber auf der Argumentationsseite stark an Logikprogramme und insbesondere an Answer Set Programming (ASP) anknüpft. Set Programming (ASP) im Besonderen. Das CKR-Framework ermöglicht das Schließen mit anfechtbaren Axiomen und Ausnahmen in Kontexten, die auf kontextübergreifende Wissensvererbung erweitert wurden in einer Hierarchie der Abdeckung (Spezifität). Allerdings unterstützt der Ansatz nur diese eine Art von kontextuelle Beziehung und die Argumentationsprozeduren funktionieren nur für eingeschränkte Hierarchien, da nicht-triviale Probleme mit der Modellpräferenz bei Ausnahmen. In diesem Papier überwinden wir diese und stellen eine Verallgemeinerung der CKR-Hierarchien auf mehrere kontextuelle Relationen vor, zusammen mit ihrer Interpretation von anfechtbaren Axiomen und Präferenzen. Um die Argumentation zu unterstützen, verwenden wir verwenden wir ASP mit algebraischen Maßen, eine neuere Erweiterung von ASP mit gewichteten Formeln über Semirings, die es erlaubt, Mengen mit Interpretationen zu assoziieren, die von den Wahrheitswerten von propositionalen Atomen. Insbesondere zeigen wir, dass für ein relevantes Fragment von CKR Hierarchien mit mehreren kontextuellen Relationen die Beantwortung von Anfragen mit dem beliebten asprin-Rahmenwerk. Der Ansatz der algebraischen Maße ist leistungsfähiger und ermöglicht z.B., erkenntnistheoretische Abfragen über CKRs, was interessante Perspektiven für den Einsatz von quantitativen ASP-Erweiterungen in anderen Anwendungen eröffnet.
de
dc.description.abstract
Dealing with context-dependent knowledge has led to different formalizations of the notion of context. Among them is the Contextualized Knowledge Repository (CKR) framework, which is rooted in description logics but links on the reasoning side strongly to logic programs and Answer Set Programming (ASP) in particular. The CKR framework caters for reasoning with defeasible axioms and exceptions in contexts, which was extended to knowledge inheritance across contexts in a coverage (specificity) hierarchy. However, the approach supports only this single type of contextual relation and the reasoning procedures work only for restricted hierarchies, due to nontrivial issues with model preference under exceptions. In this paper, we overcome these limitations and present a generalization of CKR hierarchies to multiple contextual relations, along with their interpretation of defeasible axioms and preference. To support reasoning, we use ASP with algebraic measures, which is a recent extension of ASP with weighted formulas over semirings that allows one to associate quantities with interpretations depending on the truth values of propositional atoms. Notably, we show that for a relevant fragment of CKR hierarchies with multiple contextual relations, query answering can be realized with the popular asprin framework. The algebraic measures approach is more powerful and enables, for example, reasoning with epistemic queries over CKRs, which opens interesting perspectives for the use of quantitative ASP extensions in other applications.
en
dc.language.iso
en
-
dc.publisher
CAMBRIDGE UNIV PRESS
-
dc.relation.ispartof
Theory and Practice of Logic Programming
-
dc.subject
Software
en
dc.subject
Artificial Intelligence
en
dc.subject
Theoretical Computer Science
en
dc.subject
Hardware and Architecture
en
dc.subject
Computational Theory and Mathematics
en
dc.subject
Contextual Reasoning
en
dc.subject
Preferential Reasoning
en
dc.title
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
en
dc.type
Artikel
de
dc.type
Article
en
dc.description.startpage
593
-
dc.description.endpage
609
-
dc.type.category
Original Research Article
-
tuw.container.volume
21
-
tuw.container.issue
5
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
true
-
wb.publication.intCoWork
International Co-publication
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
Theory and Practice of Logic Programming
-
tuw.publication.orgunit
E192-03 - Forschungsbereich Knowledge Based Systems
-
tuw.publisher.doi
10.1017/s1471068421000284
-
dc.identifier.eissn
1475-3081
-
dc.description.numberOfPages
17
-
wb.sci
true
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.facultyfocus
Logic and Computation (LC)
de
wb.facultyfocus
Logic and Computation (LC)
en
wb.facultyfocus.faculty
E180
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.languageiso639-1
en
-
item.openairetype
research article
-
item.grantfulltext
restricted
-
crisitem.author.dept
E192 - Institut für Logic and Computation
-
crisitem.author.dept
E192-03 - Forschungsbereich Knowledge Based Systems