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