# 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