Bibliografia detalhada para “Inteligência Artificial” e “Tecnologias de Sistemas Inteligentes”
Última atualização: 2018-09-17
Nota: Este ficheiro contém uma bibliografia adequada para as cadeiras “Inteligência Artificial” (IA) e “Tecnologias de Sistemas Inteligentes” (TSI). As secções 1, 2, 3 e 5 dizem respeito essencialmente a IA. As secções 4 e 6 dizem respeito essencialmente a TSI. A secção 5, embora talvez mais útil para IA, é também útil para TSI.
Clocksin, W.F. and C.S. Mellish. 2003. “Programming in Prolog. Using the ISSO Standard (5th edition)”.
Springer-Verlag. ISBN: 978-3-540-00678-7 (Existe uma das edições na biblioteca)
Ainda não selecionámos um bom livro para apresentar os algoritmos de procura. Por enquanto, recomendamos os apontamentos da cadeira sobre esse assunto. Recomendamos também os seguintes artigos da Wikipedia: Depth-first search, Breadth-first search, Best‑first search, e A* search algorithm.
Michael R. Genesereth, Nils J. Nislsson. 1987. “Logical Foundations of Artificial Intelligence”. Morgan Kaufman Publishers (Capítulos 2, 3 e 4) (Existe na biblioteca)
Perspectiva teórica
Kasabov, N.K. 1996. “Foundations of Neural Networks, Fuzzy Systems, and Knowledge Engineering”. Morgan Kaufman. (Capítulo 3) (Existe na biblioteca)
Perspectiva teórica
Ronald Brachman, Hector Levesque. 2004. "Knowledge Representation and Reasoning". Morgan Kaufmann
Mark Stefik. 1995. Introduction to Knowledge Systems”. Morgan Kaufmann (Existe na biblioteca)
Implementação em Prolog de sistemas baseados em regras. Estes livros não reflectem toda a matéria dada sobre a implementação, em Prolog, de Sistemas Baseados em Conhecimento, tal como foi apresentada na aula. No entanto são bons complementos dos apontamentos disponibilizados na página da cadeira.
Capítulos 14, 15 e 20 do seguinte livro: Ivan Bratko. 2000. "PROLOG Programming for Artificial Intelligence (3rd edition)". Addison Wesley Publishing Company. ISBN: 0201403757 (Existe na biblioteca)
Y. Shoham. 1994. Artificial Intelligence Techniques in Prolog. Morgan Kaufmann Publishers
Raciocínio Baseado em Casos (CBR - Case Based Reasoning). Infelizmente ainda não consegui encontrar um livro bom sobre implementações em Prolog de sistemas de CBR.
Livros de texto bons sobre agentes
Michael J. Wooldridge. 2002. “An Introduction to Multi-Agent Systems”. John Wiley and Sons Limited: Chichester, 2002, ISBN 047149691X (Existe na biblioteca)
Jacques Ferber. 1999. "Multi-Agent System: An Introduction to Distributed Artificial Intelligence". Addison Wesley Longman. ISBN 0-201-36048-9 (Existe na biblioteca)
ACL e SL
FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS. 2002. "FIPA Communicative Act Library Specification". FIPA Specification SC00037. http://www.fipa.org/specs/fipa00037/SC00037J.html
Protocolos de Interacção
FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS. 2002. "Interaction Protocol Specifications”, FIPA Specifications SC00026 through SC00036, http://www.fipa.org/repository/ips.php3
Luís Miguel Botelho. 2004. Introdução à Representação e Processamento de Ontologias: Framework O3f; Framework O3f: Descrição do modelo O3 Model [Não prioritário]; Framework O3f: Diagrama de classes do O3 Model [Não prioritário]; e Framework O3f: Linguagem Co3l [Fundamental] dos Apontamentos para as aulas. Departamento de Ciências e Tecnologias da Informação. http://home.iscte.pt/~luis/aulas/tsi/
Mota, L.; Botelho, L.M.; Mendes, H.; and Lopes, A. 2003. "O3F: an Object Oriented Ontology Framework". Proc. of the Autonomous Agents and Multi Agent Systems Conference (AAMAS 2003). http://home.iscte.pt/~luis/papers/O3F.pdf
Ramos, P.; and Botelho, L.M. 2003. "CO3L: Compact O3F Language". Proc. of the Workshop “Ontologies in Agent Systems” of the Autonomous Agents and Multi Agent Systems Conference (AAMAS 2003). http://home.iscte.pt/~luis/papers/RamosBotelho-CO3L.pdf