Artificial Intelligence Programming
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: 930kb
Content
Artificial Intelligence
Programming
First Order Logic and Inference
Chris Brooks
Department of Computer Science
University of San FranciscoRepresentation
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/??…
Get the file Download here
Related Searches: artificial intelligence programming, computer science university, usfca edu, inference procedures, chris brooks
Comments
Leave a Reply
