CSC 456 Foundations of Intelligent Databases

An introduction to the use of logic and deduction in databases and artificial intelligence. Topics will include propositional logic, first order predicate calculus, resolution theorem proving, deductive retrieval and deductive databases, inference engines, logic programming, and truth maintenance systems. PREREQUISITE(S): DS.