Sumários
Adversarial search and CSP
29 outubro 2015, 11:00 • Luís Manuel Marques Custódio
Adversarial search
MiniMax algorithm
Alfa-Beta algorithm
Constraint Satisfaction ProblemsKnowledge representation and reasoning
29 outubro 2015, 09:30 • Luís Manuel Marques Custódio
Clause learning in SAT
Conflict graphs
WALK SAT
First-order logic (FOL)
Syntax and Semantics
Knowledge representation and reasoning
27 outubro 2015, 11:00 • Luís Manuel Marques Custódio
Resolution-based inference system
- Resolution algorithm
- Simplification rules
Boolean satisfiability (SAT)
Encoding a CSP into a SAT problem
DPLL algorithm
Search - exercices
22 outubro 2015, 11:00 • Luís Manuel Marques Custódio
Job scheduling problem - formulating it as a search problem
Heuristic functions
Knowledge representation and reasoning
22 outubro 2015, 09:30 • Luís Manuel Marques Custódio
Inference in Propositional logic:
- Natural deduction inference system
- FITCH system
- Resolution-based inference system
- Full resolution rule
- Factoring
- Conjunctive Normal Form (CNF)
- Resolution algorithm