Possibilistic uncertainty handling for answer set programming

DOI10.1007/S10472-006-9029-YMaRDI QIDQ854974zbMATH OpenOpenAlexFDO

Authors Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre

Publication date 20 December 2006

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-006-9029-y

zbMATH Keywords

uncertaintyanswer set programmingnonmonotonic reasoninglogic programmingpossibility theory

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
• Semantics for Possibilistic Disjunctive Programs
• Characterizing and extending answer set semantics using possibility theory
• Dealing with explicit preferences and uncertainty in answer set programming

Cites work

• scientific article; zbMATH DE number 4174344 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 193123 (Why is no real title available?)
• scientific article; zbMATH DE number 1269586 (Why is no real title available?)
• scientific article; zbMATH DE number 1844513 (Why is no real title available?)
• scientific article; zbMATH DE number 1884399 (Why is no real title available?)
• scientific article; zbMATH DE number 1884402 (Why is no real title available?)
• scientific article; zbMATH DE number 1890628 (Why is no real title available?)
• scientific article; zbMATH DE number 1453068 (Why is no real title available?)
• scientific article; zbMATH DE number 1453069 (Why is no real title available?)
• scientific article; zbMATH DE number 956598 (Why is no real title available?)
• A logic for default reasoning
• Annotated nonmonotonic rule systems
• Autoepistemic logic
• Fuzzy sets as a basis for a theory of possibility
• General logical databases and programs: Default logic semantics and stratification
• Graded hypothesis theories
• Hierarchical constraint logic programming
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Logic Programming
• Logic Programming
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Logic programming and knowledge representation
• Logic programs with stable model semantics as a constraint programming paradigm
• Nonmonotonic reasoning, preferential models and cumulative logics
• Possibility theory, probability theory and multiple-valued logics: a clarification
• Preferred answer sets for extended logic programs
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• The DLV system for knowledge representation and reasoning
• The nomore + + Approach to Answer Set Solving
• Weak nonmonotonic probabilistic logics

Cited in

(24)

• Answer set programming for computing decisions under uncertainty
• Aggregated fuzzy answer set programming
• Dealing with explicit preferences and uncertainty in answer set programming
• Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
• Logic Programming
• An introduction to fuzzy answer set programming
• Semantics for Possibilistic Disjunctive Programs
• Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
• Reducing fuzzy answer set programming to model finding in fuzzy logics
• Logic programming
• Dealing Automatically with Exceptions by Introducing Specificity in ASP
• Possibilistic nested logic programs
• The PITA system: tabling and answer subsumption for reasoning under uncertainty
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Characterizing and extending answer set semantics using possibility theory
• Reasoning and learning in the setting of possibility theory -- overview and perspectives
• Semantics for possibilistic disjunctive programs
• Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study
• The possibilistic Horn non-clausal knowledge bases
• scientific article; zbMATH DE number 4160105 (Why is no real title available?)
• A core language for fuzzy answer set programming
• Possibilistic nested logic programs and strong equivalence
• Handling uncertainty and defeasibility in a possibilistic logic setting
• Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions

Describes a project that uses

Uses Software

• Cmodels
• Smodels

This page was built for publication: Possibilistic uncertainty handling for answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q854974)