A Multi-adjoint Logic Approach to Abductive Reasoning

Authors:
Jesús Medina;Manuel Ojeda-Aciego;Peter Vojtás
Affiliations:
-;-;-
Venue:
Proceedings of the 17th International Conference on Logic Programming
Year:
2001

Citing 7
Cited 5

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Theory of generalized annotated logic programming and its applications

Journal of Logic Programming
The complexity of logic-based abduction

Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)
Fuzzy logic programming

Fuzzy Sets and Systems
Hybrid Probabilistic Logic Programs as Residuated Logic Programs

JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Soundness and Completeness of Non-classical SLD-Resolution

ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming

A Procedural Semantics for Multi-adjoint Logic Programming

EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
A Neural Approach to Abductive Multi-adjoint Reasoning

AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Solving SAT in linear time with a neural-like membrane system

IWANN'03 Proceedings of the Artificial and natural neural networks 7th international conference on Computational methods in neural modeling - Volume 1
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains

ACM Transactions on Computational Logic (TOCL)
Semantics for possibilistic answer set programs: Uncertain rules versus rules with uncertain conclusions

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed.This paper discusses abductive reasoning--that is, reasoning in which explanatory hypotheses are formed and evaluated. To model uncertainty in human cognition and real world applications; we use multiadjoint logic programming to introduce and study a model of abduction problem.