Fuzzy answer sets approximations

DOI10.1017/S1471068413000471MaRDI QIDQ5398309zbMATH OpenOpenAlexFDO

Authors M. Alviano, Rafael Peñaloza

Publication date 27 February 2014

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068413000471

zbMATH Keywords

answer set programmingfuzzy logicsearch-space pruning operator

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Recommendations

• An introduction to fuzzy answer set programming
• General Fuzzy Answer Set Programs
• Fuzzy Answer Set Programming
• Fuzzy answer set computation via satisfiability modulo theories
• Aggregated fuzzy answer set programming

Cites work

• Abduction in logic programming: A new definition and an abductive procedure based on rewriting
• An introduction to fuzzy answer set programming
• Answer set programming and plan generation
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• Extending and implementing the stable model semantics
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
• Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
• Logic programs with stable model semantics as a constraint programming paradigm
• Reducing fuzzy answer set programming to model finding in fuzzy logics
• Triangular norms

Cited in

(12)

• Rough set reasoning using answer set programs
• scientific article; zbMATH DE number 7687791 (Why is no real title available?)
• Set approximations in fuzzy formal concept analysis
• Fuzzy answer set computation via satisfiability modulo theories
• A core language for fuzzy answer set programming
• Aggregated fuzzy answer set programming
• Modeling multi-valued biological interaction networks using fuzzy answer set programming
• A finite-valued solver for disjunctive fuzzy answer set programs
• Approximating approximate reasoning: fuzzy sets and the Ershov hierarchy
• Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
• Solving disjunctive fuzzy answer set programs
• AN ALTERNATIVE PERSPECTIVE ON FUZZY SET-BASED APPROXIMATE REASONING

Describes a project that uses

Uses Software

• fasp2smt

This page was built for publication: Fuzzy answer sets approximations

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