A Practical Comparison of Qualitative Inferences with Preferred Ranking Models
| dc.contributor.author | Beierle, Christoph | |
| dc.contributor.author | Eichhorn, Christian | |
| dc.contributor.author | Kutsch, Steven | |
| dc.date.accessioned | 2018-01-08T08:12:56Z | |
| dc.date.available | 2018-01-08T08:12:56Z | |
| dc.date.issued | 2017 | |
| dc.description.abstract | When reasoning qualitatively from a conditional knowledge base, two established approaches are system Z and p-entailment. The latter infers skeptically over all ranking models of the knowledge base, while system Z uses the unique pareto-minimal ranking model for the inference relations. Between these two extremes of using all or just one ranking model, the approach of c-representations generates a subset of all ranking models with certain constraints. Recent work shows that skeptical inference over all c-representations of a knowledge base includes and extends p-entailment. In this paper, we follow the idea of using preferred models of the knowledge base instead of the set of all models as a base for the inference relation. We employ different minimality constraints for c-representations and demonstrate inference relations from sets of preferred c-representations with respect to these constraints. We present a practical tool for automatic c-inference that is based on a high-level, declarative constraint-logic programming approach. Using our implementation, we illustrate that different minimality constraints lead to inference relations that differ mutually as well as from system Z and p-entailment. | |
| dc.identifier.pissn | 1610-1987 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/11044 | |
| dc.publisher | Springer | |
| dc.relation.ispartof | KI - Künstliche Intelligenz: Vol. 31, No. 1 | |
| dc.relation.ispartofseries | KI - Künstliche Intelligenz | |
| dc.subject | C-inference | |
| dc.subject | C-representation | |
| dc.subject | Conditional logic | |
| dc.subject | Default rule | |
| dc.subject | P-entailment | |
| dc.subject | Qualitative conditional | |
| dc.subject | Ranking function | |
| dc.subject | System Z | |
| dc.title | A Practical Comparison of Qualitative Inferences with Preferred Ranking Models | |
| dc.type | Text/Journal Article | |
| gi.citation.endPage | 52 | |
| gi.citation.startPage | 41 |