Predicate Logic
A system of logical inference based on set theory. Variants are used in artificial intelligence in the representation of knowledge.
Articles on KurzweilAI.net that refer to Predicate Logic
The Age of Intelligent Machines: The Significance of Fifth-Generation Computer Systems ByThe Age of Intelligent Machines: Footnotes By Ray Kurzweil