Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions

DOI10.1016/J.IJAR.2013.09.006MaRDI QIDQ2353984zbMATH OpenOpenAlexFDO

Authors Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir

Publication date 10 July 2015

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ijar.2013.09.006

zbMATH Keywords

logic programmingnonmonotonic reasoningpossibility theorystable model semanticsuncertainty

Mathematics Subject Classification ID

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

Recommendations

• Characterizing and extending answer set semantics using possibility theory
• Possibilistic uncertainty handling for answer set programming
• Semantics for Possibilistic Disjunctive Programs
• Dealing with explicit preferences and uncertainty in answer set programming
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference

Cites work

• A core language for fuzzy answer set programming
• A logic programming approach to knowledge-state planning, semantics and complexity
• Abduction from logic programs: Semantics and complexity
• Conformant planning via heuristic forward search: A new approach
• Conformant planning via symbolic model checking and heuristic search
• Fuzzy Answer Set Programming
• Fuzzy equilibrium logic: declarative problem solving in continuous domains
• Fuzzy relation equations and causal reasoning
• scientific article; zbMATH DE number 1696837 (Why is no real title available?)
• scientific article; zbMATH DE number 5914356 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1509416 (Why is no real title available?)
• scientific article; zbMATH DE number 1931679 (Why is no real title available?)
• scientific article; zbMATH DE number 2085283 (Why is no real title available?)
• scientific article; zbMATH DE number 1884402 (Why is no real title available?)
• scientific article; zbMATH DE number 1421061 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logics with Common Weak Completions
• Markov logic networks
• Possibilistic uncertainty handling for answer set programming
• Probabilistic default reasoning with conditional constraints
• Probabilistic logic
• Probabilistic reasoning with answer sets
• Semantics for Possibilistic Disjunctive Programs
• The DLV system for knowledge representation and reasoning

Cited in

(11)

• Dealing with explicit preferences and uncertainty in answer set programming
• The possibilistic Horn non-clausal knowledge bases
• Possibilistic nested logic programs and strong equivalence
• Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
• Revising possibilistic knowledge bases via compatibility degrees
• Fuzzy autoepistemic logic: reflecting about knowledge of truth degrees
• Characterizing and extending answer set semantics using possibility theory
• Semantics for Possibilistic Disjunctive Programs
• Logic programming
• Learning possibilistic dynamic systems from state transitions
• Possibilistic uncertainty handling for answer set programming

Describes a project that uses

Uses Software

• Smodels
• Potassco

This page was built for publication: Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions

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