Abductive reasoning in normal residuated logic programming via bipolar max-product fuzzy relation equations.
David LoboMaría Eugenia Cornejo PiñeroJesús MedinaPublished in: EUSFLAT Conf. (2019)
Keyphrases
- logic programming
- abductive reasoning
- logic programs
- nonmonotonic reasoning
- reasoning tasks
- max product
- belief propagation
- message passing
- answer set programming
- answer sets
- default reasoning
- default logic
- knowledge base
- loopy belief propagation
- programming language
- knowledge representation
- markov random field
- inference rules
- distributed systems
- graphical models
- plan recognition
- np hard
- relational databases