Blogs about: Predicate Calculus
Featured Blog
Logic Programming Prolog
I am reading the book Logic, Programming and Prolog (2nd ed). After completing the preliminaries chapter, much of the material was familiar since it was defining predicate calculus and logical infere… more →
My AI Exploration
Logic Programming Prolog
— 1 comment
aiguy wrote 8 months ago: I am reading the book Logic, Programming and Prolog (2nd ed). After completing the preliminaries ch … more →
Progress Report - December 2008
— 1 comment
aiguy wrote 11 months ago: The month began by reviewing my college Probability and Statistics book (Devore 1991). I needed to … more →
AIMA Book
aiguy wrote 11 months ago: I was reading Chapters 6 and 7 of the AIMA book (Russell, Norvig 1995). They describe propositional … more →
Unification
aiguy wrote 1 year ago: Recently reviewing a blog on knowledge representation and predicate calculus, I noticed the blog wri … more →
The $50 Business Rule
paul@haleyAI.com wrote 1 year ago: Work on acquiring knowledge about science has estimated the cost of encoding knowledge in question a … more →
Propositional Calculus
Vishal Lama wrote 1 year ago: I wish to use this part of the blog to quickly go through the basic elements of propositional calcul … more →
