Punch and Judy AI Playset: A Generative Farce Manifesto, Or, The Tragical Comedy or Comical Tragedy of Predicate Calculus.
Ian D. HorswillPublished in: INT@AIIDE (2012)
Keyphrases
- predicate calculus
- first order logic
- formal model
- artificial intelligence
- semantic network
- predicate logic
- theorem proving
- lambda calculus
- knowledge representation and reasoning
- generative model
- case based reasoning
- machine learning
- proof procedure
- knowledge representation
- expert systems
- ai systems
- theorem prover
- intelligent systems
- semantic net
- markov logic networks
- co occurrence