On the computation of ranking functions for default rules – a challenge for constraint programming
| dc.contributor.author | Beierle, Christoph | |
| dc.contributor.author | Kern-Isberner, Gabriele | |
| dc.contributor.editor | Heiß, Hans-Ulrich | |
| dc.contributor.editor | Pepper, Peter | |
| dc.contributor.editor | Schlingloff, Holger | |
| dc.contributor.editor | Schneider, Jörg | |
| dc.date.accessioned | 2018-11-27T09:59:06Z | |
| dc.date.available | 2018-11-27T09:59:06Z | |
| dc.date.issued | 2011 | |
| dc.description.abstract | Qualitative conditionals of the form If A then normally B can be viewed as default rules, and they require a semantical treatment going beyond the models used in classical logic. Ranking functions assigning degrees of plausibility to each possible world have been proposed as an appropriate semantic formalism. In this paper, we discuss the computation of c-representations corresponding to particular ranking functions for a set R of qualitative conditionals. As a challenge for constraint programming, we formulate a constraint satisfaction problem CR(R) as a declarative specification of all c-representations for R, and we argue that employing constraint programming techniques will be advantageous for computing all minimal solutions of CR(R). | en |
| dc.identifier.isbn | 978-88579-286-4 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/18615 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | INFORMATIK 2011 – Informatik schafft Communities | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-192 | |
| dc.title | On the computation of ranking functions for default rules – a challenge for constraint programming | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 249 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 249 | |
| gi.conference.date | 4.-7. Oktober 2011 | |
| gi.conference.location | Berlin | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1