The hardness of revising defeasible preferences

Governatori, Guido, Olivieri, Francesco, Scannapieco, Simone, & Cristani, Matteo (2014) The hardness of revising defeasible preferences. In Bikakis, A, Fodor, P, & Roman, D (Eds.) Rules on the Web: From Theory to Applications: 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014 Proceedings [Lecture Notes in Computer Science, Volume 8620], 18 - 20 August, 2014, Czech Republic.

View at publisher

Abstract

Non-monotonic reasoning typically deals with three kinds of knowledge. Facts are meant to describe immutable statements of the environment. Rules define relationships among elements. Lastly, an ordering among the rules, in the form of a superiority relation, establishes the relative strength of rules. To revise a non-monotonic theory, we can change either one of these three elements. We prove that the problem of revising a non-monotonic theory by only changing the superiority relation is a NP-complete problem.

Impact and interest:

0 citations in Scopus
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 88712
Item Type: Conference Paper
Refereed: Yes
DOI: 10.1007/978-3-319-09870-8_12
ISBN: 978-3-319-09869-2
Divisions: Current > Schools > School of Information Systems
Current > QUT Faculties and Divisions > Science & Engineering Faculty
Deposited On: 13 Oct 2015 04:45
Last Modified: 13 Oct 2015 04:45

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page