- Introdução
- Inteligência Artificial (cap 1 do AIMA)
- COMPUTING MACHINERY AND INTELLIGENCE - Alan Turing
- Agentes Inteligentes:
- slides (cap 2)
- Texto da professora!
- Resolucao de problemas e busca (cap 3 e 4)
- Conhecimento e Raciocínio: teoria e implementação
- Agentes baseados em conhecimento
- Regras de produção (secoes 9.4, 10.1, 10.2, 10.5-10.7 e outras referencias)
- Lógica de primeira ordem - aula resumida -- cap 6 e cap 7
- Ontologias (cap 8), Redes semânticas e Frames (cap 10)
- Regras e objetos: EOOPS
Referências diversas- Aula de laboratório JEOPS
instruções: http://www.cin.ufpe.br/~csff/jeops/aulas/jeops-exs.html- Sistemas Especialistas e engenharia de conhecimento (cap 3 de Turban e outras referências)
- Definição dos seminários e projetos
- Aprendizagem simbólica
- Aprendizagem por observação (ID3 e Version Space) (cap 18)
- Paradigmas de aprendizagem: 15/05, 17/05
- Sistemas multi-agentes
- Conceitos básicos: 24/05, 29/05
- Tópicos possíveis:
- Engenharia de Software e Linguagens de Programação
- aplicação da IA para o processo de desenvolvimento de software: Lucia & Renata
- desenvolvimento de software orientado a agentes: Tiago & Marcel
- programação em lógica, métodos formais e prototipação rápida de software
- programação em lógica orientada a objetos
- programação em lógica funcional
- programação por resolução de restrições
- paradigmas de linguagens de programação declarativas
- Banco de Dados
- bancos de dados dedutivos e dedutivos orientada a objetos
- bancos de dados de restrições
- bancos de dados probabilistas
- bancos de dados temporais e representação do conhecimento temporal
- bancos de dados espaciais e representação do conhecimento especial
- bancos de dados indutivos, descoberta de conhecimento em banco de dados e mineração de dados
- Internet, Sistemas Distribuídos e Redes
- Processamento de linguagem natural para recuperação inteligente de informação na web
- Extraçaõ automática de informação na web
- Classificação automática de páginas web
- Tradução automática na Internet
- Chatterbots
- Representação de conhecimento com XML e outros padrões da W3C
- APIs XML para motores de inferência
- Sistemas de informação inteligentes distribuídos e heterogêneos a infra-estrutura web
- Ontologias reutilizáveis e suas aplicações (sistemas multiagentes, integração de dados, desenvolvimento de software inteligente)
- Aplicações da IA para redes de computadores
- Interfaces, Multimídia e Computação Móvel
- IA embarcada em sistemas móveis
- IA embutida em objetos não comunamente computacionais (thing that things)
- IA em ectocomputadores (wearable computers)
- Hardware
- Aplicações da IA ao desenvolvimento de circuitos e de hardware
- Teoria da Computação
- Provadores de teoremas
- Multidisciplinares
- Aplicações da IA para games
- Atores sintéticos
- Vida artificial
- Aplicações da IA em bio-informática
- IA em sistemas colaborativos
- Qualquer tema de pesquisa do MIT Media Lab
Calendário:
- IA em ectocomputadores (wearable computers) 31/05
- Paulo & Fred
- Representação de conhecimento com XML e outros padrões da W3C 05/06
- Helio & Maria Conceição
- Desenvolvimento de software orientado a agentes: 26/06
- Tiago & Marcel
- Referencias:
- Aplicação da IA para o processo de desenvolvimento de software 28/06
- Lucia & Renata
- Aplicações da IA para games 03/06
- Joaquim & Arthur
- Provadores de Teorema 05/07
- Bruno Lira
Tópicos possíveis:
- Engenharia de Software e Linguagens de Programação
- Estudo de viabilidade e implementação de algumas funcionalidades de:
- um gerador de esqueleto de programa F-Logic, uma linguagem dedutiva orientada a objetos, ~compint/aulas-IAS/prolog-992/dood-flora.ppt, xsb.sourceforge.net,
- a partir de especificação AUML (Agent Unified Modelling Language), www.auml.org
uma extensão de UML para desenvolvimento de sistemas inteligentes
com arquitetura de software orientada a agentes e implementação orientada a objetos- Banco de Dados
- Estudo de viabilidade de:
- uma API bidirecional F-Logic/SQL-1999 para armazenamento persistente de objetos dedutivos
no modelo de dados objeto-relacional- Estudo de viabilidade e implementação de algumas funcionalidades de:
- uma API bidirecional F-Logic/XML-RDF para interoperabilidade entre
BD dedutivos orientada a objetos e BD baseados em outros modelos de dados
usando dados semi-estruturados como interlíngua- Estudo de viabilidade de uma implementação de XQuery, www.w3c.org, uma linguagem de consulta para documentos XML baseada em F-Logic e Libwww
- Sistemas Distribuídos e Computação Móvel
- Estudo de viablidade e início de implementação de um port de Java para J2ME de JEOPS
(Java Embedded Object-oriented Production System), um sistema de produção orientado a objetos- Implementação de uma API bidirecional F-Logic/J2ME para aplicações inteligentes distribuídas com cliente rodando em plataforma móvel
- Assuntos propostos por alunos
Definição dos temas: 22/05
Instruções
Equipes
- Fred e Paulo: Versão J2ME de JEOPS
- Arthur, Joaquim, Lucia, Renata, Tiago e Marcelo: Gerador de código F-Logic a partir de modelagem AUML
- Hélio e Maria Conceição: API F-Logic/XML-RDF
- Bruno: Implementação das regras de reescritura de Hoare em Maude