EECE 7262 - Logicl Fndtns Artf Intl

Credit Hours: (3)

Description (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. Cross listing (Same as COMP 7750-8750)