Logic and Knowledge Processing in Computer Science
Instructor:
Paul Tarau, Professor - see my home page for contact info and office hours.
Objectives:
An overview of cutting-edge logic-based and knowledge representation techniques and tools used in computer science and engineering.
Syllabus
Logic systems and tools
- propositional logic, CNF, DNF forms, DPLL algorithm
- SAT-solvers, quantified boolean logic
- classical and intuitionistic logic systems
- modal and temporal logic, possible worlds semantics
- predicate logic
- constraint logic programming
Knowledge Processing
- knowledge representation
- semantic networks
- conceptual graphs
- description logics
- ontologies and and the semantic web
Applications
- logic and type theory
- logic and computational complexity
- logic in natural language processing
- logic grammars
- logic based meaning representations
- logic and word sense disambiguation
- logic and machine learning, inductive logic programming
- logic and circuits
- combinational circuit synthesis
- Toffoli and Fredkin gates, reversible logic
Directory for slides, assignments and other resources.
Evaluation:
- 40% exam
- 40% assignments
- 20% topic presentations and class participation