José Pacheco de Almeida Prado

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• BRITO, M. C. ; PERALTA, D. A. ; PRADO, José Pacheco de Almeida . Robótica educacional, comunicação e transtorno do espectro do autismo: revisão de literatura latino-americana. Psicopedagogia On Line , v. online, p. online, 2015.

• Silva ; PRADO, José Pacheco de Almeida . Navegação de robôs móveis com Lógica Paracpmsistente Anotada e método de Campos Potenciais. Seleção Documental , v. 1, p. 5-13, 2007.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de ; NAKAMITI, Gilberto . Uma Arquitetura para Planejamento Inteligente. Revista de Informática, São Paulo, v. 1, n.1, p. 32-46, 2002.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de . A Adequação de Sistemas Baseados em Casos no Sequenciamento Inteligente de Ações. Revista de Informática, São Paulo, n.1, p. 105-112, 1998.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de . Sistemas Distribuídos Inteligentes. Revista de Informática, n.1, p. 113-130, 1998.

• TRAMBAIOLLI NETO, E. ; PRADO, José Pacheco de Almeida . Robótica e Mecatrônica Volume - 7. 1. ed. São Carlos: PETE, 2018. v. 1. 144p .

• TRAMBAIOLLI NETO, E. ; PRADO, José Pacheco de Almeida . Robótica e Mecatrônica Volume - 8. 1. ed. São Carlos: PETE, 2018. v. 1. 144p .

• TRAMBAIOLLI NETO, E. ; PRADO, José Pacheco de Almeida . Robótica e Mecatrônica Volume - 9. 1. ed. São Carlos: PETE, 2018. v. 1. 144p .

• TRAMBAIOLLI NETO, E. ; PRADO, José Pacheco de Almeida ; DUARTE, Marcello Claudio Gôuvea ; TRAMBAIOLLI, L. R. . Robótica e Macatrônica Volume 1. 1. ed. São Carlos: PETE, 2015. v. 1. 112p .

• TRAMBAIOLLI NETO, E. ; PRADO, José Pacheco de Almeida ; TRAMBAIOLLI, L. R. ; DUARTE, Marcello Claudio Gôuvea . Robótica e Macatrônica Volume 2. 1. ed. São Carlos: PETE, 2015. v. 1. 112p .

• TRAMBAIOLLI NETO, E. ; PRADO, José Pacheco de Almeida ; TRAMBAIOLLI, L. R. ; DUARTE, Marcello Claudio Gôuvea . Robótica e Macatrônica Volume 5. 1. ed. São Carlos: PETE, 2015. v. 1. 112p .

• TRAMBAIOLLI NETO, E. ; PRADO, José Pacheco de Almeida ; TRAMBAIOLLI, L. R. ; DUARTE, Marcello Claudio Gôuvea . Robótica e Macatrônica Volume 6. 1. ed. São Carlos: PETE, 2015. v. 1. 112p .

• PRADO, José Pacheco de Almeida ; TRAMBAIOLLI NETO, E. ; DAVOGLIO, D. . Robótica Aplicada ao Meio Ambiente. 1. ed. São Carlos: PETE, 2013. v. 1. 100p .

• DAVOGLIO, D. ; TRAMBAIOLLI NETO, E. ; PRADO, José Pacheco de Almeida . Robótica Aplicada ao Trânsito. 1. ed. São Carlos: PETE, 2013. v. 1. 100p .

• TRAMBAIOLLI NETO, E. ; PRADO, José Pacheco de Almeida ; DUARTE, Marcello Claudio Gôuvea ; TRAMBAIOLLI, L. R. . Robótica e Mecatrônica Nível A. 1. ed. São Paulo: Uirapuru, 2012. v. 1. 112p .

• TRAMBAIOLLI NETO, E. ; DUARTE, Marcello Claudio Gôuvea ; PRADO, José Pacheco de Almeida ; TRAMBAIOLLI, L. R. . Robótica e Mecatrônica Nível B. 1. ed. São Paulo: Uirapuru, 2012. v. 1. 112p .

• PERALTA, D. A. ; PRADO, José Pacheco de Almeida ; BRITO, M. C. ; RODRIGUES, G. A. M. . Robótica na Educação Infantil: necessidades formativas de professores.. In: Luiz Marcos Garcia Gonçalves, Rafael Vidal Aroca. (Org.). VI WORKSHOP DE ROBÓTICA EDUCACIONAL. 1ed.Porto Alegre: Sociedade Brasileira de Computação, 2015, v. 1, p. 106-.

• BRITO, M. C. ; PERALTA, D. A. ; RODRIGUES, G. A. M. ; PRADO, José Pacheco de Almeida . Aplicação da Robótica Educacional em escolas públicas: relato de experiência. In: Luiz Marcos Garcia Gonçalves; Rafael Vidal Aroca. (Org.). VI WORKSHOP DE ROBÓTICA EDUCACIONAL. 1ed.Porto Alegre: Sociedade Brasileira de Computação - SBC, 2015, v. 1, p. 100-100.

• GUIMARAES, E. C. ; PERALTA, D. A. ; PRADO, José Pacheco de Almeida . Uma proposta de formação de professores para o uso de robótica na escola: as possibilidades da Teoria da Ação Comunicativa. In: Luiz Marcos Garcia Gonçalves; Rafael Vidal Aroca. (Org.). V WORKSHOP DE ROBÓTICA EDUCACIONAL. 1ed.Porto Alegre: Sociedade Brasileira de Computação - SBC, 2014, v. 1, p. 60-.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de . Planejamento Baseado em Casos. Revista de Informática, São Paulo, , v. 3, p. 89 - 127, 01 dez. 2000.

• PERALTA, D. A. ; GUIMARAES, E. C. ; PRADO, José Pacheco de Almeida . Relação de autoria com o conhecimento: robótica como prática pedagógica de intervenção em casos de dificuldade de aprendizagem. In: XIV Conferencia Interamericana de Educación Matemática, 2015, Tuxtla Gutiérrez (México). XIV Conferencia Interamericana de Educación Matemática, 2015. v. 1. p. 97.

• PERALTA, D. A. ; PRADO, José Pacheco de Almeida ; GONCALVEZ, H. J. L. . Robótica como postura interdisciplinar na escola. In: XVII Encontro Nacional de Didática e Prática de Ensino, 2015, Fortaleza. XVII Encontro Nacional de Didática e Prática de Ensino. Fostaleza: EDUCE, 2015. v. 1. p. 172.

• NOGUEIRA, M. ; PRADO, José Pacheco de Almeida ; ABE, Jair Minoro . Modelando Processos de Negócios com RUP em Busca de Exelência no Desenvolvimento de Software. In: Word Congress On Engineering and Technology Education, 2004, Santos. Engineering Education in the Changing Society. São Paulo: IEEE, 2004.

• PRADO, José Pacheco de Almeida ; PIMENTA JUNIOR, Avelino Palma . Execução de algoritmos genéticos em ambientes de processamento distribuído baseado em cluster.. In: CongressoNacional de Tecnologia da Informação e Comunicação, 2004, Florianópolis. Anais do CongressoNacional de Tecnologia da Informação e Comunicação. São Paulo: IDETI-Tecnologia da informação, 2004. v. TT060. p. 1-5.

• PRADO, José Pacheco de Almeida . Programando Sistemas Paraconsistentes. In: CongressoNacional de Tecnologia da Informação e Comunicação, 2004, Florianópolis. Anais do CongressoNacional de Tecnologia da Informação e Comunicação. São Paulo: IDETI- Tecnologia da Informação, 2004. v. TT144. p. 1-7.

• GONÇALVES, Rodrigo Franco ; PESSÔA, Marcelo Schenek de Paula ; PRADO, José Pacheco de Almeida . Uma Proposta de Utilização de UML na Implantação de Sistemas ERP. In: CongressoNacional de Tecnologia da Informação e Comunicação, 2004, Florianópolis. Anais do CongressoNacional de Tecnologia da Informação e Comunicação. São Paulo: IDETI: Tecnologia da Informação, 2004. v. TT130. p. 1-7.

• GONÇALVES, Rodrigo Franco ; SPINOLA, Mauro de Mesquita ; PRADO, José Pacheco de Almeida . Metamodelo Baseado em UML para o Processo de Desenvolvimento de Software para Web. In: CongressoNacional de Tecnologia da Informação e Comunicação, 2004, Florianópolis. Anais do CongressoNacional de Tecnologia da Informação e Comunicação. São Paulo: IDETI- Tecnologia da Informação, 2004. v. TT069. p. 1-7.

• PRADO, José Pacheco de Almeida . Um Robô Paraconsistente. In: XXIV Congresso da Sosiedade Brasileira de Computação, 2004, Salvador. Anais do SBC 2004. São Paulo: Editorial Multimídia, 2004. v. 1. p. 1737-1746.

• PRADO, José Pacheco de Almeida ; CORBO, Rogério . Programming Paraconsistent Systems. In: Then 7th World Multiconference on Systemics, Cybernetics and Informatics, 2004, Orlando. Proceedings SCI 2004. Orlando: International Institute of Informatics and Systemics, 2004. v. 14. p. 1230-1236.

• PRADO, José Pacheco de Almeida ; FORMIGONI, Carlos Eduardo . A New Proposal of Arithmetic Logic Unit (ALU) to Work with Paraconsistent Annotated Logic. In: Then 7th World Multiconference on Systemics, Cybernetics and Informatics, 2004, Orlando. proceedings SCI 2004. Orlando: International Institute of Informatics and Systemics. v. 14. p. 991-997.

• PRADO, José Pacheco de Almeida ; ABE, Jair Minoro . Paraconsistent Automata and Robot's Behavior. In: LAPTEC 2003, 2003, Marília. Advances in Intelligent Systems and Robotics. Amsterdam_Holanda: IOS Press, 2003. v. 101. p. 68-74.

• PRADO, José Pacheco de Almeida . A Paraconsistent Robot Navigation System. In: World Multiconference on Systemics, Cybernetics and Informatics 2003, 2003, Orlando. Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics 2003. Orlando: International Institute of Informatics and Systemics, 2003. v. 3. p. 217-222.

• PRADO, José Pacheco de Almeida . Paranet: A Paraconsistent Multi-Agent System. In: International Conference on Artificial Intelligence 2003, 2003, Las Vegas. Proceedings of the International Conference on Artificial Intelligence 2003, 2003. v. 2. p. 675-680.

• FREITAS, Ricardo Luís de ; NAKAMITI, Gilberto ; PRADO, José Pacheco de Almeida . SIMI: a Automated Environment for the Intelligent Planning of Actions in Flexible Manufacturing Cells. In: IEEE CSMC, 2003, 2003, Washington. Proceedings of the IEEE SMC. Washington: IEEE Press, 2003. p. 3470-3475.

• PRADO, José Pacheco de Almeida . A Paraconsistent Robot. In: International Conference on Control, Automation and Systems, 2002, Jeonbuk, 2002.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de . A Paraconsistent Multi-Agent System. In: International Conference on Control, Automation and Systems, 2002, Jeonbuck, 2002.

• PRADO, José Pacheco de Almeida ; ABE, Jair Minoro ; FREITAS, Ricardo Luís de . Mapeamento Paraconsistente Anotado na Navegação de Robôs Móveis. In: Logic, Artificial Intelligence and Robotics, 2001, São Paulo. Logic, Artificial Intelligence and Robotics. São Paulo: Editora Plêades, 2001. v. 2. p. 291-299.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de . A Fully Integrated and Automated Environment for the Intelligent Sequencing of Actions in Flexible Manufacturing Cells. In: Third International Symposium on Intelligent Automation and Control, World Automation Congress '2000, 2000, Maui. Proceedings of the Third International Symposium on Intelligent Automation and Control, World Automation Congress '2000, 2000. p. 025.1-025.6.

• PRADO, José Pacheco de Almeida ; NAKAMITI, Gilberto ; FREITAS, Ricardo Luís de . Adaptative Real-Time Traffic Network Mangement. Proceedings of the FISITA World Automotive Congress'2000. In: FISITA World Automotive Congress, 2000, Seul. Proceedings of FISITA World Automotive Congress, 2000. p. 13.1-13.5.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de . The Uses of Paraconsistent Logic in Autonomous Robot Navigation. In: Smart Engineering System Design - Annie 2000, 2000, St. Louis. Proceedings of Smart Engineering System Design - Annie 2000, 2000. p. 020.1-020.7.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de ; BATISTA NETO, J. E. S. ; NAKAMITI, Gilberto . Inteligência Artificial Aplicada a Automação. In: IV Simpósio Brasileiro de Automação Inteligente, 1999, São Paulo. Anais do IV Simpósio Brasileiro de Automação Inteligente, 1999. p. 352-356.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de ; FORMIGONI, Carlos Eduardo . Uma Arquitetura para o Controle e Robôs Móveis. In: IV Simpósio Brasileiro de Automação Inteligente, 1999, São Paulo. Anais IV Simpósio Brasileiro de Automação Inteligente, 1999. p. 413-418.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de . Adaptation in a Traffic Control System. In: Second Internacional Symposium on Intelligent automation and Control, World Automation Congress´98, 1998, Anchorage. Proceedings of the Second Internacional Symposium on Intelligent automation and Control, World Automation Congress´98, 1998. p. .65-1-.65-6.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de . Distributed Traffic Control: an Adaptative Approach. In: FISITA World Automative Congress'98, 1998, Paris. Proceedings FISITA World Automative Congress'98, 1998. p. 211-217.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de . Intelligent Actions Sequencing Supported by Case Systems. In: Second International Symposium on Intelligent Automation and Control, World Automation Congress´98, 1998, Anchorage. Proceeding of the Second International Symposium on Intelligent Automation and Control, World Automation Congress´98, 1998. p. 73-1-73-6.

• ÁVILA, B. C. ; ABE, Jair Minoro ; PRADO, José Pacheco de Almeida . ParaLog-e: A Paraconsistent Logic Programming Language. In: International Conference on Computational Intelligence and Multimedia Applications 1998, 1998, Traralgon. Proc. of International Conference on Computational Intelligence and Multimedia Applications 1998. Melbourne: World Scientific, 1998. p. 143-148.

• PRADO, José Pacheco de Almeida ; ÁVILA, B. C. ; ABE, Jair Minoro . Multi-agents and inconsistency. In: International Conference on Computational Intelligence and Multimedia Applications 1998, 1998, Traralgon.. Proc. of International Conference on Computational Intelligence and Multimedia Applications 1998. Melbourne: World Scientific, 1998. p. 137-142.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de ; NAKAMITI, Gilberto ; BATISTA NETO, J. E. S. . A Sequencing of Actions in a Manufacturing Flexible Cell Based on Artificial Intelligence Techniques.. In: Third Internatonal Congress on Informatic Engineering, 1997, Buenos Aires. ,Proceedings of Third International Congress on Informatic Engineering, 1997. p. 455-463.

• PRADO, José Pacheco de Almeida ; NAKAMITI, Gilberto ; FREITAS, Ricardo Luís de . Um Sistema Adaptativo para o Controle de Tráfego Urbano. In: III Simpósio Brasileiro de Automação Inteligente, 1997, Vitória. Anais do III Simpósio Brasileiro de Automação Inteligente, 1997. p. 237-241.

• PRADO, José Pacheco de Almeida ; ÁVILA, B. C. ; ABE, Jair Minoro . A Paraconsistent Multi-Agent Framework. In: First World congress on Paracosistency, 1997, Gent-Belgica. First World congress on Paracosistency, 1997. p. 111-122.

• PRADO, José Pacheco de Almeida ; ÁVILA, B. C. ; ABE, Jair Minoro . Paralog_e: A Paraconsisten Evidential Logic Programming Language. In: XVII International Conference of Chilean Computer Science, 1997, Valparaiso - Chile. XVII International Conference of Chilean Computer Science, 1997. p. 327-331.

• PRADO, José Pacheco de Almeida ; ABE, Jair Minoro ; FREITAS, Ricardo Luís de . Paraplan: A Paraconsisent Planning System. In: Eleventh Internatonal Conference on CAD/CAM, Robotics andFactories of the Future, 1997, Pereira. Proceedings of the Eleventh Internatonal Conference on CAD/CAM, Robotics andFactories of the Future, 1997. p. 471-483.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de ; NAKAMITI, Gilberto . A Adequação de Sistemas Baseados em Casos no Sequenciamento Inteligene de Ações. In: III - Simpóso Brasileiro de Automação Inteligente, 1997, Vitória. Anais do III - Simpóso Brasileiro de Automação Inteligente, 1997. p. 312-318.

• PRADO, José Pacheco de Almeida ; ABE, Jair Minoro ; FREITAS, Ricardo Luís de ; NAKAMITI, Gilberto . Um Planejador Baseado em Lógica Paraconsistente Anotada. In: II- Simpósio Brasileir de Automação Inteligente, 1995, Curitiva. Anais do II- Simpósio Brasileir de Automação Inteligente, 1995. p. 381-395.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de ; NAKAMITI, Gilberto . PLANCEL-E: an Intelligent Action Planneer. In: Thirteenth International Conference on CAD/CAM, Robotics and Factories of the Future, 1995, Pereira. Proceedings of the Thirteenth International Conference on CAD/CAM, Robotics and Factories of the Future, 1995. p. 92-99.

• PRADO, José Pacheco de Almeida ; FREITAS, Ricardo Luís de ; NAKAMITI, Gilberto . The Use of Case-Based Planning in Flexible Manufacturing Cells. In: Eleventh International Conference on CAD/CAM, Robotics and Factories of the Future, 1995, Perira. Eleventh International Conference on CAD/CAM, Robotics and Factories of the Future, 1995. p. 378-385.

• PERALTA, D. A. ; PRADO, José Pacheco de Almeida ; GUIMARAES, E. C. . Prática de Ensino e Avaliação de conteúdos curriculares de matemática:possibilidades da robótica na escola. In: III CONAVE - Congresso Nacional de Avaliação em Educação, 2014, Bauru. Caderno de Resumos III CONAVE - Congresso Nacional de Avaliação em Educação. Bauru: FC/UNESP, 2014. v. 1.

• MERCANTIL, Juliano Pratti ; TOSTES, Juliano ; FORMIGONI, Carlos Eduardo ; DUARTE, Marcello Claudio Gôuvea ; PRADO, José Pacheco de Almeida . Montezuma: Um Robô Paraconsistente. In: XXIV Congresso da Sosiedade Brasileira de Computação, 2004, Salvador. Anais do SBC 2004. Porto Alegre: SBC, 2004. v. 1. p. 255-255.

• PRADO, José Pacheco de Almeida . Um Robô Paraconsistente. In: XXIV Congresso da Sosiedade Brasileira de Computação, 2004, Salvador. Anais do SBC 2004. Porto Alegre: Sociedade Brasileira de Computação, 2004. v. 1. p. 211-211.

• PERALTA, D. A. ; BRITO, M. C. ; PRADO, José Pacheco de Almeida ; RODRIGUES, G. A. M. . Dia Mundial da Conscientização do Autismo: tecnologia, educação e robótica 2015 (Relatório Técnico).

• PRADO, José Pacheco de Almeida ; ABE, Jair Minoro . Uma Arquitetura para Inteligência Artificial Distribuída Baseada em Lógica Paraconsistente Anotada. São Paulo: IEA-USP, 1998 (Relatório Técnico).

• PRADO, José Pacheco de Almeida ; ABE, Jair Minoro . Fundamentos da Arquitetura Blackboard. São Paulo: IEA-USP, 1998 (Relatório Técnico).

• PRADO, José Pacheco de Almeida ; ABE, Jair Minoro . Redes de Contrato em Inteligência Artificial Distribuída. São PAulo: IEA-USP, 1998 (Relatório Técnico).

• PRADO, José Pacheco de Almeida ; ÁVILA, B. C. ; ABE, Jair Minoro . A Utilização de Redes de Herança em Representação de Conhecimento.. São Paulo: Relatórios Técnicos do Instituto de Estudos Avançados - USP, 1997 (Relatório Técnico).

• PRADO, José Pacheco de Almeida ; ÁVILA, B. C. ; ABE, Jair Minoro . Um Sistema de Frames Utilizando Programação Lógica Evidencial.. São Paulo: Relatórios Técnicos do Instituto de Estudos Avançados - USP, 1997 (Relatório Técnico).

• PRADO, José Pacheco de Almeida ; ÁVILA, B. C. ; ABE, Jair Minoro . On a Class of Paraconsistent Multimodal Systems for Reasoning.. São Paulo: Relatórios Técnicos do Instituto de Estudos Avançados - USP, 1997 (Relatório Técnico).

Outras produções

Projetos de pesquisa

• 2017 - 2019

  Ferramenta educacional baseada em Robôs Assistivos e Sociais para favorecer habilidades e interação social em crianças e jovens com Transtornos do Espectro do Autismo, Descrição: Este projeto tem como objetivo propor e avaliar a viabilidade te#769;cnica de se desenvolver uma plataforma educacional baseada em um Robo#770; Assistivo e Social para auxiliar no processo educacional e no tratamento de crianc#807;as e jovens com Transtornos do Espectro do Autismo, tendo como meta estimular habilitadas sociais e promover a interac#807;a#771;o social destas crianc#807;as e jovens com colegas, professores, pais e cuidadores.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: José Pacheco de Almeida Prado - Coordenador / Maria Claudia Brito - Integrante / Gustavo Adolfo Morceli Rodrigues - Integrante.

• 2015 - 2017

  Tecnologia assistiva: desenvolvimento e adaptação de dispositivos robóticos e mecatrônicos para favorecer as interações sociais de pessoas com Transtorno do Espectro do Autismo, Projeto certificado pela empresa PETE em 28/04/2018., Descrição: O objetivo da proposta é desenvolver especificação e validação de características assistivas para criação, reformulação e adaptação de dispositivos robóticos e mecatrônicos. E mais especificamente tornar o Kit PETE Mecatrônica um dispositivo de tecnologia assistiva que favoreça as interações sociais de pessoas com Transtornos do Espectro do Autismo.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: José Pacheco de Almeida Prado - Coordenador / Deise Aparecida Peralta - Integrante / Maria Claudia Brito - Integrante / Gustavo Adolfo Morceli Rodrigues - Integrante., Financiador(es): PETE COMÉRCIO DE MATERIAIS DIDÁTICOS E PEDAGÒGICOS LTDA - Outra / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 2

• 2004 - 2006

  Implementação de circuitos paraconsistente em hardware reconfpùx, Descrição: Uma nova forma de computação que vem ganhando destaque, principalmente nos últimos anos, é a computação reconfigurável. Esta pode ser definida como sendo a capacidade que o hardware possui de ser programado e reprogramado após a sua fabricação. Diferente dos sistemas baseados em micro-controladores, a programação aqui implica em uma nova configuração do circuito eletrônico, porém sem a necessidade de se modificar o projeto físico do mesmo, com aconteceria com o hardware tradicional. Esta característica é bastante interessante para a construção de circuitos de controle e navegação de robôs móveis. Este projeto explora esta nova linha de pesquisa, visando também, a criação de circuitos paraconsistentes reconfiguráveis.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: José Pacheco de Almeida Prado - Coordenador / Fernando Marco Perez Campos - Integrante / Juliano Pratti Mercantil - Integrante / Juliano Tostes - Integrante.

• 2003 - 2005

  Navegação de Robôs Móveis Apoiada em Lógica Paraconsistente Ae no Brasil, Descrição: O desenvolvimento de técnicas para navegação autônoma em ambientes reais constitui uma das principais tendências das pesquisas atuais sobre robótica. O objetivo na robótica é criar um robô móvel e independente que endenta instruções dadas em auto nível e as execute sem a intervenção de um operador humano. Os problemas envolvidos no desenvolvimento de tais robôs estão relacionados com a necessidade do robô interagir com objetos e outras entidades do ambiente. Um problema importante em navegação autônoma é a necessidade de lidar com uma grande quantidade de incertezas inerentes aos ambientes reais. A Lógica Paraconsistente tem características que a tornam uma ferramenta adequada para solucionar este problema. Neste trabalho, é proposto um sistema de navegação para um robô autônomo utilizando-se a Lógica Paraconsistente.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: José Pacheco de Almeida Prado - Coordenador / Fernando Marco Perez Campos - Integrante / Juliano Pratti Mercantil - Integrante / Juliano Tostes - Integrante / Carlos Eduardo Formigoni - Integrante / Rogério Corbo - Integrante / Avelino Palma Pimenta Junior - Integrante / Tercio Ferdinando Gaudencio Filho - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Universidade Paulista - Auxílio financeiro / Universidade Paulista - Remuneração., Número de produções C, T & A: 7

• 2001 - 2002

  O USO DE LÓGICA PARACONSISTENTE NA NAVEGAÇÃO AUTÔNOMA DE ROBÔis, Descrição: O desenvolvimento de técnicas para navegação autônoma em ambientes reais constitui uma das principais tendências das pesquisas atuais sobre robótica. O objetivo na robótica é criar um robô móvel e independente que endenta instruções dadas em auto nível e as execute sem a intervenção de um operador humano. Os problemas envolvidos no desenvolvimento de tais robôs estão relacionados com a necessidade do robô interagir com objetos e outras entidades do ambiente. Um problema importante em navegação autônoma é a necessidade de lidar com uma grande quantidade de incertezas inerentes aos ambientes reais. A Lógica Paraconsistente tem características que a tornam uma ferramenta adequada para solucionar este problema. Neste trabalho, é proposto um sistema de navegação para um robô autônomo utilizando-se a Lógica Paraconsistente.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: José Pacheco de Almeida Prado - Coordenador / Fernando Marco Perez Campos - Integrante / Carlos Eduardo Formigoni - Integrante / Verônica Oliveira de Carvalho - Integrante / João MArcos Vieira - Integrante / Rogerio Corbo - Integrante / Weber Wilian Astorino - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Universidade Paulista - Auxílio financeiro / Universidade Paulista - Remuneração / Universidade Paulista - Bolsa., Número de produções C, T & A: 10

• 1999 - 2000

  Uma Arquitetura para o Controle de Robôs Móveis, Descrição: O desenvolvimento de robôs móveis autônomos tem sido um dos principais objetivos das pesquisas nas áreas de Inteligência Artificial e Robótica. Nas duas últimas décadas, foram propostos diferentes paradigmas para as arquiteturas de controle destes robôs. O objetivo deste projeto é a especificação e o desenvolvimento de uma nova arquitetura de controle para robôs móveis, baseada em Lógica Paraconsistente Anotada, que combine os paradigmas de percepção-ação e percepção-planejamento-ação. O uso da Lógica Paraconsistente Anotada é justificado, pois embora o fenômeno da Inconsistência seja comum a aplicação, este não é tratado diretamente pelas arquiteturas atuais, baseadas na lógica classica. Logo, para tratar diretamente tais inconsistências e/ou paracompletezas, têm-se que lançar mão de lógicas alternativas à clássica.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: José Pacheco de Almeida Prado - Coordenador / Carlos Eduardo Formigoni - Integrante / Rovilson Mezencio - Integrante / Verônica Oliveira de Carvalho - Integrante., Financiador(es): Universidade Paulista - Auxílio financeiro / Universidade Paulista - Remuneração / Universidade Paulista - Bolsa., Número de produções C, T & A: 5

• 1997 - 1998

  Uso de Lógica Paraconsistente Anotada no Planejamento das Ati hardware reconfpùx, Descrição: Planejamento tem sido um tópico de pesquisa muito ativo na área de Inteligência Artificial, nos últimos 30 anos. Nesse período, foram e continuam sendo desenvolvidas diversas abordagens para sistemas de planejamento. Contudo o que se tem observado é que, nestas diversas abordagens, a representação do mundo tem sido efetuada com base em linguagens de 1a ordem clássicas e algumas de suas extensões. Apesar dos esforços e evoluções das técnicas dos diversos tratamentos, a forma de representação do mundo usualmente tem sido efetuada com o emprego de linguagens de 1a ordem clássica e algumas de suas extensões, porém, sabe-se que não apenas em planejamento, como em Inteligência Artificial, muitas situações naturais não podem ser descritas nesta linguagem. Como conseqüência, os planejadores vem sendo aplicados em mundo simulados ou simplificados. Na tentativa de se obter um descrição mais natural - e, portanto, mais fiel - do mundo, necessita-se buscar linguagens lógicas mais adequadas. Um dos fenômenos naturais e importantes que se depara ao descrever o mundo real são os da inconsistência e/ou paracompleteza. Este projeto propõe uma abordagem de planejamento tendo como linguagem lógica subjacente para a descrição e a manipulação do mundo uma lógica não clássica, a Lógica Paraconsistente anotada. Como resultado deste projeto, pretende-se desenvolver um planejador capaz de trabalhar com descrições contraditórias e paracompletas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: José Pacheco de Almeida Prado - Coordenador / Carlos Eduardo Formigoni - Integrante / Rovilson Mezencio - Integrante / Lucas Baggio Figueira - Integrante., Financiador(es): Universidade Paulista - Auxílio financeiro., Número de produções C, T & A: 14

Prêmios