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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
