A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions

08/30/2011
by   Christoph Beierle, et al.
0

In order to give appropriate semantics to qualitative conditionals of the form "if A then normally B", ordinal conditional functions (OCFs) ranking the possible worlds according to their degree of plausibility can be used. An OCF accepting all conditionals of a knowledge base R can be characterized as the solution of a constraint satisfaction problem. We present a high-level, declarative approach using constraint logic programming techniques for solving this constraint satisfaction problem. In particular, the approach developed here supports the generation of all minimal solutions; these minimal solutions are of special interest as they provide a basis for model-based inference from R.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/22/2022

Enhanced Spreadsheet Computing with Finite-Domain Constraint Satisfaction

The spreadsheet application is among the most widely used computing tool...
research
12/21/2018

Solution Dominance over Constraint Satisfaction Problems

Constraint Satisfaction Problems (CSPs) typically have many solutions th...
research
03/07/2000

ACLP: Integrating Abduction and Constraint Solving

ACLP is a system which combines abductive reasoning and constraint solvi...
research
05/26/2020

Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds

A conditional knowledge base R is a set of conditionals of the form "If ...
research
03/30/2018

Performing Fully Parallel Constraint Logic Programming on a Quantum Annealer

A quantum annealer exploits quantum effects to solve a particular type o...
research
03/31/2016

Ordinal Conditional Functions for Nearly Counterfactual Revision

We are interested in belief revision involving conditional statements wh...
research
06/02/2020

Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation

Descriptor revision by Hansson is a framework for addressing the problem...

Please sign up or login with your details

Forgot password? Click here to reset