Ambiguities in defeasible logic: A computational efficient framework and algorithm

Guido Governatori, Francesco Olivieri

Research output: Book chapter/Published conference paperConference paperpeer-review

Abstract

We present a Defeasible Logic variant able to incorporate two different and conflicting facets of non-monotonic reasoning: ambiguity blocking and ambiguity propagation. The resulting logic is conservative about the two notions. We investigate the logical properties and we present efficient algorithms for the logic.

Original languageEnglish
Title of host publicationRules and Reasoning
Subtitle of host publication8th International Joint Conference, RuleML+RR 2024, Proceedings
EditorsSabrina Kirrane, Mantas Šimkus, Ahmet Soylu, Dumitru Roman
Place of PublicationCham, Switzerland
PublisherSpringer Science and Business Media Deutschland GmbH
Pages217-233
Number of pages17
Volume15183
ISBN (Electronic)9783031724077
ISBN (Print)9783031724060
DOIs
Publication statusPublished - 2024
Event8th International Joint Conference on Rules and Reasoning, RuleML+RR-Companion 2024: Declarative AI 2024 - Bucharest University of Economic Studies , Bucharest, Romania
Duration: 16 Sept 202418 Sept 2024
https://doi.org/10.1007/978-3-031-72407-7 (Proceedings)
https://2024.declarativeai.net/home (Conference website)
https://2024.declarativeai.net/events/ruleml-rr/program (Program)
https://ceur-ws.org/Vol-3816/ (Companion proceedings)

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume15183 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Joint Conference on Rules and Reasoning, RuleML+RR-Companion 2024
Abbreviated titleRules, reasoning, decisions, and explanations
Country/TerritoryRomania
CityBucharest
Period16/09/2418/09/24
OtherDeclarative AI 2024 brings together the 8th International Joint Conference on Rules and Reasoning (RuleML+RR 2024), DecisionCAMP 2024, and the 20th Reasoning Web Summer School (RW 2024). It will take place at Bucharest, Romania during 16 - 22 September, 2024.

With its general topic "Declarative AI", the event aims at presenting the latest advancements in AI and rules, reasoning, decisions, and explanations and their adoption in IT systems towards improving key fields such as environment, health and societies.

Declarative AI 2024 is co-organised by Bucharest University of Economic Studies (ASE), OsloMet - Oslo Metropolitan University, and SINTEF AS at the premises of ASE.
Internet address

Fingerprint

Dive into the research topics of 'Ambiguities in defeasible logic: A computational efficient framework and algorithm'. Together they form a unique fingerprint.

Cite this