Sunday, January 11, 2009

artificial intelligence - AI

lec 1
forms of knowledge representation
1. formal logic - set of grammars and symbols
2. semantic networks
3. visual images

constraints for efficiency:
- geometry functions
- laws of physics

- modes ponens
- for all humans(x) -> mortals(s)
- human(x) - socrates
- socrates -> mortal

- metaphysics
- theories on physics
- heuristics - pieces of advice

Book
http://aima.cs.berkeley.edu/
Artificial Intelligence: A Modern Approach (2nd Edition), Stuart Russell, Peter Norvig,
Prentice Hall, 2002.

No comments: