First order logic

5 novembro 2013, 11:00 • Rodrigo Ventura

Converting sentences to conjunctive normal form (CNF).

Problem solving

31 outubro 2013, 11:00 • Luís Manuel Marques Custódio

CSP: backtracking and forward checking

Adversarial search: MinMax and AlphaBeta algorithms

First-order logic

31 outubro 2013, 09:30 • Rodrigo Ventura

Introduction to first-order logic: objects, relations, and functions. First-order logic: models, syntax. Examples. 

SAT

29 outubro 2013, 11:00 • Rodrigo Ventura

Solving SAT: DPLL and WalkSAT.

Search problems and CSP

24 outubro 2013, 11:00 • Luís Manuel Marques Custódio

Informed algorithm problems:

• Heuristic path algorithm
• Suboptimal (non admissable) heuristics
• City map routes - A* application
• 1-machine scheduling problem

CSP

• rectilinear floor-planning