A Network Representation of First-Order Logic That Uses Token Evolution for Inference.
Hideaki SuzukiMikio YoshidaHidefumi SawaiPublished in: J. Inf. Sci. Eng. (2014)
Keyphrases
- first order logic
- representation language
- markov logic
- expressive power
- probabilistic reasoning
- predicate calculus
- theorem proving
- markov logic networks
- propositional logic
- inference rules
- knowledge representation
- relational structures
- inductive logic programming
- probabilistic graphical models
- anti unification
- theorem prover
- transitive closure
- network structure
- markov networks
- horn clauses
- logical formulas
- background knowledge
- highly expressive
- constraint databases
- relational algebra
- link prediction
- structure learning
- quantifier elimination
- web scale
- artificial intelligence
- bayesian inference
- social networks