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:
Post a Comment