Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic.
Angelo KyrilovDavid C. NoellePublished in: CoRR (2015)
Keyphrases
- first order logic
- knowledge representation
- automated theorem provers
- computer algebra
- theorem prover
- expressive power
- propositional logic
- theorem proving
- probabilistic reasoning
- inference rules
- markov networks
- representation language
- automated reasoning
- artificial intelligence
- knowledge acquisition
- knowledge base
- inductive logic programming
- expert systems
- transitive closure
- probabilistic graphical models
- knowledge structures
- predicate calculus
- logic programming
- description logics
- natural language
- relational algebra
- horn clauses
- semantic web
- markov logic
- natural language processing
- machine learning
- constraint databases
- logical rules
- anti unification
- database