A Consequence Relation for Graded Inference within the Frame of Infinite-valued Łukasiewicz Logic.
David Picado-MuiñoPublished in: Fundam. Informaticae (2013)
Keyphrases
- logical inference
- multi valued
- deductive reasoning
- inference mechanism
- abductive reasoning
- alternating time temporal logic
- probabilistic inference
- bayesian networks
- bayesian inference
- logic programming
- inference process
- predicate logic
- belief networks
- valued semantics
- closed world assumptions
- causal theories
- valued logic
- classical logic
- computational properties
- structured prediction
- automated reasoning
- probabilistic reasoning
- modal logic
- logic programs
- expert systems