Practical Artificial Intelligence: Machine Learning, Bots, and Agent Solutions Using C#

© Arnaldo Pérez Castaño 2018

Arnaldo Pérez CastañoPractical Artificial Intelligencehttps://doi.org/10.1007/978-1-4842-3357-3_2

2. Automated Theorem Proving & First-Order Logic

Arnaldo Pérez Castaño¹ 

(1)

Havana, Cuba

 

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 ...