Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

How (and why) to Build and Automated Theorem Prover: De-mystifying Logical Inference

Adam PeaseArticulate Software

Notice:  Hosted by Richard Waldinger

Date:  Thursday, April 8th 2021 at 4:00pm

Location:  Zoom: https://sri.zoomgov.com/j/16028867898  (Directions)

   Abstract

Logic and theorem proving are foundational technologies in AI. But despite their long history, most AI efforts don’t use them, perceiving them to be mysterious and just for research, too slow, or hard to learn. In this talk I give a short introduction to why expressive logical representations are needed in applications, but mostly discuss how a first order ATP system can be implemented, as in the joint work performed with Prof. Stephan Schulz, to create the PyRes and JavaRes FOL provers. While these provers do not approach the performance of Prof. Schulz own Eprover, they are small and simple to understand, and still faster than many older provers. I will attempt to cover the software architecture, data structures, major algorithms as well as the workflow for ensuring the logical soundness of the provers.

   Bio for Adam Pease

Adam Pease is Founder and Principal Consultant of Articulate Software, which builds and advises on applications using ontology and natural language processing. He has led research in ontology, linguistics, and formal inference, including development of the Suggested Upper Merged Ontology (SUMO), and the Sigma knowledge engineering environment. He is the author of the book “Ontology: A Practical Guide”

   On-line Resources