Characterizing and extending answer set semantics using possibility theory.
Kim BautersSteven SchockaertMartine De CockDirk VermeirPublished in: Theory Pract. Log. Program. (2015)
Keyphrases
- possibility theory
- answer set semantics
- logic programming
- nonmonotonic reasoning
- answer sets
- logic programs
- possibilistic logic
- answer set programming
- propositional logic
- qualitative decision theory
- incomplete information
- default reasoning
- belief revision
- fuzzy set theory
- probability theory
- conditional independence
- possibilistic networks
- classical logic
- reasoning tasks
- default logic
- belief functions
- programming language
- knowledge representation
- knowledge base
- possibility distributions
- artificial intelligence
- databases
- software engineering
- probability distribution
- expert systems
- ontology languages
- machine learning