Artificial Intelligence Programming Representation Review of …

Short Description
Artificial Intelligence. Programming. First Order Logic and Inference. Chris Brooks. Department of Computer Science. University of San Francisco …

Website: www.cs.usfca.edu | Filesize: 863kb

Content
Artificial Intelligence
Programming
First Order Logic and Inference
Chris Brooks
Department of Computer Science
University of San Francisco
Representation
Propositional Logic has several nice features
Lets us easily express disjunction and negation
“There is a pit in (1,1) or in (2,2)”
“There is not a pit in (1,1)”
This is hard to do in C/Java/Python - variables can
only take on a single value.
There’s no obvious way to assign x the value “3 or
4″ or “some value less than 10″.
Separates declarative knowledge from inference
procedures
Compositional
The meaning of a sentence is a function of the
meaning of its parts.
Department of Computer Science - University of San Francisco - p.1/??
Review of Propositional Logic
Sentences are composed of atomic terms conjoined by
operators
P1,1 ^ B1,2
?B2,2 _ ?P1,2
Terms are either true or false.
A model is an assignment of values to terms.
The set of possible worlds that make a sentence true
A model satisfies a sentence if the sentence is true
given the assignments in the model.
Department of Computer Science - University of San Francisco
Resolution…