Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation.
Ryuta ArisakaPublished in: CoRR (2024)
Keyphrases
- first order logic
- expressive power
- formal semantics
- propositional logic
- theorem proving
- highly expressive
- inference rules
- markov networks
- relational algebra
- theorem prover
- relational structures
- probabilistic graphical models
- knowledge representation
- predicate calculus
- representation language
- transitive closure
- inductive logic programming
- probabilistic reasoning
- closure operator
- markov logic networks
- markov logic
- function symbols
- logical rules
- database query languages
- argumentation semantics
- quantifier elimination
- logic programming