Connections between default reasoning and partial constraint satisfaction

No Thumbnail Available
File version
Author(s)
Ghose, AK
Antoniou, G
Goebel, RG
Sattar, A
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
1999
Size
File type(s)
Location
License
Abstract

This paper provides the foundation of connections between default reasoning and constraint satisfaction. Such connections are important because they combine fields with different strengths that complement each other: default reasoning is broadly seen as a promising method for reasoning from incomplete information, but is hard to implement. On the other hand, constraint satisfaction has evolved as a powerful, and efficiently implementable, problem solving paradigm in artificial intelligence. In this paper, we show how THEORIST knowledge bases and theories in Constrained Default Logic with prerequisite-free defaults may be mapped to partial constrained satisfaction problems. We also extend these results to deal with priorities among defaults.

Journal Title

Information Sciences

Conference Title
Book Title
Edition
Volume

117

Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject

Mathematical sciences

Information and computing sciences

Engineering

Persistent link to this record
Citation
Collections