Admissibility of fixed-point induction in first- order logic of typed theories.
Shigeru IgarashiPublished in: International Sympoisum on Theoretical Programming (1972)
Keyphrases
- fixed point
- first order logic
- inductive logic programming
- expressive power
- constraint databases
- propositional logic
- theorem proving
- theorem prover
- inference rules
- inductive learning
- knowledge representation
- transitive closure
- relational algebra
- belief propagation
- closure operator
- dynamical systems
- sufficient conditions
- higher order
- predicate calculus
- horn clauses
- markov logic networks
- logical formulas
- probability distribution
- description logics
- probabilistic model
- data model
- artificial intelligence