The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL.
Chitta BaralMarcos Alvarez GonzalezAaron GottesmanPublished in: Correct Reasoning (2012)
Keyphrases
- lambda calculus
- first order logic
- predicate calculus
- theorem proving
- knowledge representation
- theorem prover
- expressive power
- markov logic networks
- programming language
- representation language
- probabilistic reasoning
- transitive closure
- inference rules
- program understanding
- database
- inductive logic programming
- higher order
- object oriented
- relational databases
- data mining