EECE 8262 - Logicl Fndtns Artf Intl

(3) (Same as COMP 7750-8750) (Same as COMP 7750-8750)Logical foundations of artificial intelligence, predicate calculus, declarative knowledge, inference, resolution strategies, non-monotonic reasoning, induction, probabilistic logic, belief, state and change, and intelligent-agent architecture.