Ambiguities in Defeasible Logic: A Computational Efficient Framework and Algorithm

Loading...
Thumbnail Image
Files
Governatori10287376.pdf
Embargoed until 2025-09-11
File version

Accepted Manuscript (AM)

Author(s)
Governatori, G
Olivieri, F
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Kirrane, Sabrina

Šimkus, Mantas

Soylu, Ahmet

Roman, Dumitru

Date
2024
Size
File type(s)
Location

Bucharest, Romania

License
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.

Journal Title
Conference Title

Rules and Reasoning: 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16–18, 2024, Proceedings

Book Title
Edition
Volume

15183

Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement

This work is covered by copyright. You must assume that re-use is limited to personal use and that permission from the copyright owner must be obtained for all other uses. If the document is available under a specified licence, refer to the licence for details of permitted re-use. If you believe that this work infringes copyright please make a copyright takedown request using the form at https://www.griffith.edu.au/copyright-matters.

Item Access Status
Note
Access the data
Related item(s)
Subject
Persistent link to this record
Citation

Governatori, G; Olivieri, F, Ambiguities in Defeasible Logic: A Computational Efficient Framework and Algorithm, Rules and Reasoning: 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16–18, 2024, Proceedings, 2024, 15183, pp. 217-233