Following the line of thought begun in Chapter 1, we’ll start this chapter by introducing a topic related to AI and logic: automated theorem proving. This is a field of AI that serves mathematicians in their research and assists them in proving theorems, corollaries, and so forth. In this chapter, we’ll also devote some pages to first-order logic, a logic that extends propositional logic by allowing or including quantifiers (universal and existential) and providing a more complete framework for easily representing different types of logical ...
© Arnaldo Pérez Castaño 2018
Arnaldo Pérez CastañoPractical Artificial Intelligencehttps://doi.org/10.1007/978-1-4842-3357-3_22. Automated Theorem Proving & First-Order Logic
Arnaldo Pérez Castaño1
(1)
Havana, Cuba
Get Practical Artificial Intelligence: Machine Learning, Bots, and Agent Solutions Using C# now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
