Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP.
Gemma RoblesPublished in: J. Log. Comput. (2023)
Keyphrases
- logic programming
- probabilistic logic
- multi valued
- bayesian networks
- predicate logic
- classical logic
- logic programs
- closely related
- modal logic
- set theory
- machine learning
- defeasible logic
- probability theory
- epistemic logic
- possibilistic logic
- automated reasoning
- belief networks
- multi agent systems
- artificial intelligence