Automação de Sistemas de Inferência
Segundo semestre/2008

• Veja o Plano de Curso (pdf).
• Apostilas:
  • Modelagem e formalização
  • Lógica proposicional/parte 1
  • Lógica proposicional/parte 2
  • Lógica proposicional/parte 3
  • Lógica proposicional/parte 4
  • Lógica proposicional/parte 5
  • Lógica proposicional/parte 6
  • Lógica proposicional/parte 7
  • Lógica proposicional/parte 8
  • Lógica proposicional/parte 9
  • Lógica de predicados
• Listas:
  • Mais 3 listas.
• Trabalhos:
  • Primeiro trabalho. Entrega: 6/10/08.
    Observe, a seguir, algumas referências que podem ser utilizadas no trabalho.
  • Segundo trabalho. Entrega: 8/12/08.
• Algumas aplicações de SAT, tendo em vista o primeiro trabalho (leia, primeiro, o cap. 1 da 10a. publicação):
  1. A SAT Approach to Query Optimization in Mediator Systems
  2. A SAT-based approach to decipher Gene Regulatory Networks
  3. A SAT Encoding for the Social Golfer Problem
  4. Applications of SAT Solvers to Cryptoanalysis of Hash Functions
  5. Boolean Satisfiability in Electronic Design Automation
  6. Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms
  7. Efficient haplotype inference with Boolean satisfiability
  8. Encoding Plans in Propositional Logic
  9. Improving the Encoding of LTL Model Checking into SAT
  10. Propositional Satisfiability - Techniques, Algorithms and Applications
  11. SAT in Bioinformatics - Making the Case with Haplotype Inference
  12. SAT-based Verification Methods and Applications in Hardware Verification
  13. School Timetabling using Satisfiability Solvers
  14. Sudoku as a SAT problem
  15. Test Pattern Generation Using Boolean Satisfiability
• Links importantes:
  • Automated deduction systems and groups
  • Darwin awards
  • Description logics
  • Formal methods
  • Logic programming
  • Mathematical logic around the world
  • Mechanized reasoning
  • Otter: an automated deduction system
  • Software horror stories
  • Paradoxes
  • PTTP: Prolog technology theorem prover
  • SAT Live!
  • SWI-Prolog
  • The P-versus-NP page
  • The TPTP problem library for automated theorem proving
• Provas:
  • Primeira prova.
    • Data: 9/10/2008.
    • Assunto: até seção 2.4 da apostila.
  • Segunda prova.
    • Data: 27/11/2008.
    • Assunto: até seção 3.5 da apostila.
• Veja sua nota.