First-order logic as a constraint satisfaction problem.
Hirohiko KushidaRobert M. HaralickPublished in: Prog. Artif. Intell. (2021)
Keyphrases
- first order logic
- constraint satisfaction problems
- constraint satisfaction
- expressive power
- propositional logic
- constraint propagation
- theorem proving
- search space
- np complete
- constraint programming
- constraint solving
- markov networks
- theorem prover
- probabilistic reasoning
- knowledge representation
- inductive logic programming
- transitive closure
- inference rules
- partial constraint satisfaction
- arc consistency
- np hard
- satisfiability problem
- sat problem
- decomposition methods
- tree decomposition
- constraint problems
- logic programs
- heuristic search
- constraint networks
- optimal solution
- horn clauses
- data model
- constraint solver
- integrity constraints