The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Stable models and non-determinism in logic programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Preferred answer sets for extended logic programs
Artificial Intelligence
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Strong and Weak Constraints in Disjunctive Datalog
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Logic programming with ordered disjunction
Eighteenth national conference on Artificial intelligence
Preferred answer sets for ordered logic programs
Theory and Practice of Logic Programming
Possibilistic uncertainty handling for answer set programming
Annals of Mathematics and Artificial Intelligence
The Diagnosis Frontend of the dlv system
AI Communications
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Including importances in OWA aggregations using fuzzy systems modeling
IEEE Transactions on Fuzzy Systems
Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs
WILF '09 Proceedings of the 8th International Workshop on Fuzzy Logic and Applications
General Fuzzy Answer Set Programs
WILF '09 Proceedings of the 8th International Workshop on Fuzzy Logic and Applications
Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Answer Sets in a Fuzzy Equilibrium Logic
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Computing fuzzy answer sets using DLVHEX
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Disjunctive fuzzy logic programs with fuzzy answer set semantics
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Aggregated Fuzzy Answer Set Programming
Annals of Mathematics and Artificial Intelligence
A core language for fuzzy answer set programming
International Journal of Approximate Reasoning
Possibilistic semantics for logic programs with ordered disjunction
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
ACM Transactions on Computational Logic (TOCL)
Solving satisfiability in fuzzy logics by mixing CMA-ES
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
Fuzzy Sets and Systems
Hi-index | 0.00 |
In this paper we show how the concepts of answer set programming and fuzzy logic can be successfully combined into the single framework of fuzzy answer set programming (FASP). The framework offers the best of both worlds: from the answer set semantics, it inherits the truly declarative non-monotonic reasoning capabilities while, on the other hand, the notions from fuzzy logic in the framework allow it to step away from the sharp principles used in classical logic, e.g., that something is either completely true or completely false. As fuzzy logic gives the user great flexibility regarding the choice for the interpretation of the notions of negation, conjunction, disjunction and implication, the FASP framework is highly configurable and can, e.g., be tailored to any specific area of application. Finally, the presented framework turns out to be a proper extension of classical answer set programming, as we show, in contrast to other proposals in the literature, that there are only minor restrictions one has to demand on the fuzzy operations used, in order to be able to retrieve the classical semantics using FASP.