Sumários

REPRESENTAÇÃO DE CONHECIMENTO

19 novembro 2015, 08:30 • Andreas Miroslaus Wichert

First Order Predicate Calculus, WFF, Ex.1-11, Situation Calculus, Possibility Axiom, Effect Axiom, Frame Problem, Ex.12, 13 (Livro Ex. 10.3)             

REPRESENTAÇÃO DE CONHECIMENTO

17 novembro 2015, 15:30 • Andreas Miroslaus Wichert

First Order Predicate Calculus, WFF, Ex.1-11, Situation Calculus, Possibility Axiom, Effect Axiom, Frame Problem, Ex.12, 13 (Livro Ex. 10.3)             

REPRESENTAÇÃO DE CONHECIMENTO

17 novembro 2015, 08:30 • Andreas Miroslaus Wichert

First Order Predicate Calculus, WFF, Ex.1-11, Situation Calculus, Possibility Axiom, Effect Axiom, Frame Problem, Ex.12, 13 (Livro Ex. 10.3)             

REPRESENTAÇÃO DE CONHECIMENTO

16 novembro 2015, 15:30 • Andreas Miroslaus Wichert

First Order Predicate Calculus, WFF, Ex.1-11, Situation Calculus, Possibility Axiom, Effect Axiom, Frame Problem, Ex.12, 13 (Livro Ex. 10.3)             

Não houve aula

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

Não houve aula, pois necessitei de finalizar a escrita de um artigo para submeter a uma conferência internacional (Autonomous Agents and Multi-Agent Systems).