Representação do Conhecimento

12 novembro 2015, 10:00 • João Miguel Dias

Continuação da aula anterior sobre Representação do Conhecimento em Lógica Proposicional:

• Forma Normal Conjuntiva
  
• Encadeamento para a frente
• Encadeamento para trás

Lógica de Primeira Ordem

• Sintaxe Lógica Primeira Ordem
• Modelos
• Quantificadores
• Instanciação universal/existencial
• Unificação
• Modus Ponens Generalizado
• Encadeamento Progressivo em Lógica Primeira Ordem
• Encadeamento Regressivo em Lógica Primeira Ordem

IA_Tetris (Apoio ao projecto)

12 novembro 2015, 08:30 • Andreas Miroslaus Wichert

Generic search, The Game of Tetris, Cédric Jules Blog, What is a move? Restrict the search depth, Heuristic, Ideas of Heuristic, Heuristic of Cédric Jules, weighted sum, complexity, info on Tetris and Heuristics                   

IA_Tetris (Apoio ao projecto)

10 novembro 2015, 15:30 • Andreas Miroslaus Wichert

Generic search, The Game of Tetris, Cédric Jules Blog, What is a move? Restrict the search depth, Heuristic, Ideas of Heuristic, Heuristic of Cédric Jules, weighted sum, complexity, info on Tetris and Heuristics                   

IA_Tetris (Apoio ao projecto)

10 novembro 2015, 08:30 • Andreas Miroslaus Wichert

Generic search, The Game of Tetris, Cédric Jules Blog, What is a move? Restrict the search depth, Heuristic, Ideas of Heuristic, Heuristic of Cédric Jules, weighted sum, complexity, info on Tetris and Heuristics                   

IA_Tetris (Apoio ao projecto)

9 novembro 2015, 15:30 • Andreas Miroslaus Wichert

Generic search, The Game of Tetris, Cédric Jules Blog, What is a move? Restrict the search depth, Heuristic, Ideas of Heuristic, Heuristic of Cédric Jules, weighted sum, complexity, info on Tetris and Heuristics