João Fernando Lima Alcântara

Idiomas

Áreas de atuação

Participação em bancas

Orientou

Produções bibliográficas

• Alcântara, João ; SÁ, SAMY ; ACOSTA-GUADARRAMA, JUAN . On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs. THEORY AND PRACTICE OF LOGIC PROGRAMMING , v. 19, p. 941-956, 2019.

• RODRIGUES, L. R. ; GOMES, J. P. P. ; ALCANTARA, JOAO . Embedding Remaining Useful Life Predictions into a Modified Receding Horizon Task Assignment Algorithm to Solve Task Allocation Problems. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS , v. -, p. 1-13, 2017.

• CAMINADA, MARTIN ; SÁ, SAMY ; Alcântara, João ; DVORAK, W. . On the Difference between Assumption-Based Argumentation and Abstract Argumentation. IfCoLog Journal of Logics and their Applications , v. 2, p. 15-34, 2015.

• VIANA, HENRIQUE ; Alcântara, João ; MARTINS, ANA TERESA . Searching contexts in paraconsistent rough description logic. Journal of the Brazilian Computer Society (Impresso) , v. 21, p. 7, 2015.

• CAMINADA, MARTIN ; SÁ, SAMY ; Alcântara, João ; DVO'ÁK, WOLFGANG . On the equivalence between logic programming semantics and argumentation semantics. International Journal of Approximate Reasoning , v. 58, p. 87-111, 2014.

• ALCANTARA, J. F. L. ; DAMASIO, C. V. ; PEREIRA, L. M. . An encompassing framework for Paraconsistent Logic Programs. Journal of Applied Logic , Elsevier, v. 3, n.1, p. 67-95, 2005.

• SA, S. ; ALCANTARA, J. F. L. . Introdução a Agentes Autônomos e Sistemas Multiagentes. In: André M. Santana; Pedro de A. dos S. Neto; Raimundo S. Moura. (Org.). ERCEMAPI 2011 - V Encontro Regional de Informática Ceará - Maranhão - Piauí. : Sociedade Brasileira de Computação, 2011, v. , p. 141-165.

• ALBUQUERQUE, R. ; ALCÂNTARA, J. . Dealing withInconsistencies in +. In: Brazilian Conference on Intelligent Systems (BRACIS 2022), 2022, Campinas-SP. Proceedings of the Brazilian Conference on Intelligent Systems (BRACIS 2022), 2022. v. 13653. p. 488-503.

• CORDEIRO, R. ; ALCANTARA, JOAO . Generalising Semantics toWeighted Bipolar Argumentation Frameworks. In: Brazilian Conference on Intelligent Systems (BRACIS 2022), 2022, Campinas-SP. Proceedings of the Brazilian Conference on Intelligent Systems (BRACIS 2022), 2022. v. 13653. p. 520-534.

• SÁ, SAMY ; Alcântara, João . An Abstract Argumentation and Logic Programming Comparison Based on 5-Valued Labellings. In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), 2021, Praga. Lecture Notes in Computer Science, 2021. v. 12897. p. 159-172.

• SÁ, SAMY ; Alcântara, João . Assumption-Based Argumentation Is Logic Programming with Projection. In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), 2021, Praga. Lecture Notes in Computer Science, 2021. v. 12897. p. 173-186.

• ALBUQUERQUE, R. ; ALCÂNTARA, J. . A Paraconsistent Approach to Deal with Epistemic Inconsistencies in Argumentation. In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), 2021, Praga. Lecture Notes in Computer Science, 2021. v. 12897. p. 187-200.

• ALCANTARA, JOAO ; SÁ, SAMY . Equivalence Results between SETAF and Attacking Abstract Dialectical Frameworks. In: 19th International Workshop on Non-Monotonic Reasoning, 2021, Hanoi. Proceedings of the 19th International Workshop on Non-Monotonic Reasoning. p. 139-148.

• CORDEIRO, R. ; FERNANDES, G. ; ALCÂNTARA, J. ; VIANA, H. . A Systematic Approach to Define Semantics for Prioritised Logic Programs. In: 10th Brazilian Conference on Intelligent Systems (BRACIS), 2021. Proceedings of the 10th Brazilian Conference on Intelligent Systems (BRACIS), 2021. p. 297-312.

• ALBUQUERQUE, R. ; ALCANTARA, JOAO . ASPIC? and the Postulates of Non-interference and Crash-Resistance. In: 10th Brazilian Conference on Intelligent Systems (BRACIS), 2021. Proceedings of the 10th Brazilian Conference on Intelligent Systems (BRACIS), 2021. p. 328-343.

• VIANA, HENRIQUE ; ALCANTARA, JOAO . On the Refinement of Compensation-Based Semantics for Weighted Argumentation Frameworks. In: 10th Brazilian Conference on Intelligent Systems (BRACIS), 2021. Proceedings of the 10th Brazilian Conference on Intelligent Systems (BRACIS), 2021. p. 344-358.

• ALBUQUERQUE, R. ; SÁ, SAMY ; ALCÂNTARA, J. . Semantics Hierarchy in Preference-Based Argumentation Frameworks. In: Proceedings of COMMA 2020, 2020. Computational Models of Argument, 2020. v. 326. p. 339-346.

• VIANA, HENRIQUE ; ALCANTARA, JOAO . Aggregation with Weak, Axiological and Strong Sufficientarian Functions. In: Brazilian Conference on Intelligent Systems (BRACIS 2020), 2020. Proceedings of the Brazilian Conference on Intelligent Systems (BRACIS 2020), 2020. p. 216-230.

• ARRUDA, NARCISO ; ALCÂNTARA, J. ; VIDAL, V. ; BRAYNER, ANGELO ; CASANOVA, M. ; PEQUENO, V. ; FRANCO, WELLINGTON . A Fuzzy Approach for Data Quality Assessment of Linked Datasets. In: 21st International Conference on Enterprise Information Systems, 2019, Heraklion. Proceedings of the 21st International Conference on Enterprise Information Systems, 2019. p. 399.

• SÁ, SAMY ; Alcântara, João . Interpretations and models for assumption-based argumentation. In: the 34th ACM/SIGAPP Symposium, 2019, Limassol. Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19, 2019. p. 1139.

• ALBUQUERQUE, R. ; ALCÂNTARA, J. . A Rough Sets-Based Method with Belief Merging Operators for Multiclass Classification Problems. In: 8th Brazilian Conference on Intelligent Systems (BRACIS), 2019, Salvador. Proceedings of the 8th Brazilian Conference on Intelligent Systems (BRACIS), 2019.

• ALCÂNTARA, J. ; SA, S. . An Infinite-Valued Grounded Labelling for Abstract Argumentation Frameworks. In: The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), 2018, Pau/França. Proceddings of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), 2018. p. 903-910.

• VIANA, H. ; ALCÂNTARA, J. . Aggregation with T-Norms and LexiT-Orderings and Their Connections with the Leximin Principle. In: North American Fuzzy Information Processing Society Annual Conference, 2018. Proceedings of the North American Fuzzy Information Processing Society Annual Conference, 2018. p. 179-191.

• ALCÂNTARA, J. ; SA, S. . On Three-Valued Acceptance Conditions of Abstract Dialectical Frameworks. In: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018), 2018, Fortaleza. Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018), 2018. p. 15-27.

• SILVA ALBUQUERQUE, RAFAEL DA SILVA ALBUQUERQUE ; LIMA ALCANTARA, JOAO FERNANDO LIMA ALCANTARA ; PORDEUS GOMES, JOAO PAULO PORDEUS GOMES . A Rough Sets-Based Rule Induction for Numerical Datasets. In: 2018 7th Brazilian Conference on Intelligent Systems (BRACIS), 2018, Sao Paulo. 2018 7th Brazilian Conference on Intelligent Systems (BRACIS), 2018. p. 510.

• MAIA, GABRIEL ; ALCANTARA, JOAO . Reasoning about Trust and Belief in Possibilistic Answer Set Programming. In: 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), 2016, Recife. 2016 5th Brazilian Conference on Intelligent Systems (BRACIS). p. 217.

• VIANA, H. ; ALCÂNTARA, J. . Propositional Belief Merging with T-conorms. In: 14th European Conference on Multi-Agent Systems (EUMAS), 2016, Valencia. Proceedings of the 14th European Conference on Multi-Agent Systems (EUMAS), 2016.

• VIANA, H. ; ALCÂNTARA, J. . Sufficientarian Propositional Belief Merging. In: 14th European Conference on Multi-Agent Systems (EUMAS), 2016, Valencia. Proceedings of the 14th European Conference on Multi-Agent Systems (EUMAS), 2016.

• LEITE, L. ; ALVES, T. ; ALCÂNTARA, J. . Merging Argumentation Frameworks. In: 4th Brazilian Conference on Intelligent Systems (BRACIS), 2015, Natal-RN. Proceedings of the 4th Brazilian Conference on Intelligent Systems (BRACIS), 2015.

• VIANA, H. ; ARAUJO, A. ; LEITE, L. ; Alcântara, João . Private Dynamic Epistemic Friendship Logic. In: Brazilian Conference on Intelligent Systems (BRACIS), 2014, São Carlos (SP). Brazilian Conference on Intelligent Systems (BRACIS), 2014. p. 378-383.

• FROTA, D. F. ; MARTINS, A. T. C. ; ALCÂNTARA, J. ; BUSTAMANTE, L. H. . An ALC Description Default Logic with Exceptions-First. In: Brazilian Conference on Intelligent Systems (BRACIS), 2014, São Carlos (SP). Brazilian Conference on Intelligent Systems (BRACIS), 2014. p. 172-179.

• QUEIROZ, I. F. ; BUSTAMANTE, L. H. ; MARTINS, A. T. C. ; ALCÂNTARA, J. . Reasoning on Ontology Version Space with Temporal Logics. In: Encontro Nacional de Inteligência Artificial e Computacional, 2014, São Carlos (SP). Encontro Nacional de Inteligência Artificial e Computacional, 2014.

• VIANA, H. ; ALCÂNTARA, J. . Priority-based Merging Operator without Distance Measures. In: 12th European Conference on Multi-Agent Systems (EUMAS 2014), 2014, Praga. Proceedings of the 12th European Conference on Multi-Agent Systems (EUMAS 2014), 2014.

• VIANA, H. ; ALCÂNTARA, J. ; MARTINS, A. T. C. . Searching Contexts in Rough Description Logic. In: Brazilian Conference on Intelligent Systems (BRACIS 2013), 2013, Fortaleza. Proceedings of Brazilian Conference on Intelligent Systems (BRACIS 2013), 2013.

• SA, S. ; ALCÂNTARA, J. . Preference Handling for Belief-Based Rational Decisions. In: 12th International Conference on Logic Programming and Nonmonotonic Reasoning, 2013, La Corunna. Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, 2013. v. 8148. p. 518-523.

• CAMINADA, M. ; SA, S. ; ALCÂNTARA, J. . On the Equivalence between Logic Programming Semantics and Argumentation Semantics. In: 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2013), 2013, Utrecht. Proceedings of the 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2013), 2013. v. 7958. p. 97-108.

• SA, S. ; ALCÂNTARA, J. . Preference Handling for Belief-Based Rational Decisions. In: X Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2013, Fortaleza. X Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2013.

• CAMINADA, M. ; SA, S. ; ALCÂNTARA, J. ; DVORAK, W. . On the Difference between Assumption-Based Argumentation and Abstract Argumentation. In: 25th Benelux Conference on Artificial Intelligence (BNAIC 2013), 2013, Delft - Holanda. 25th Benelux Conference on Artificial Intelligence (BNAIC 2013), 2013.

• SILVA, J. W. F. ; ALVES, T. ; VIANA, H. ; ALCÂNTARA, J. . A Description Logic for InferenceNet.Br. In: 10th International Conference on the Computational Processing of Portuguese, 2012, Coimbra. Lecture Notes in Artificial Intelligence, 2012. v. 7243. p. 298-305.

• SA, S. ; ALCÂNTARA, J. . Cooperative Dialogues with Conditional Arguments. In: 11th International Conference on Autonomous Agents and Multiagent Systems, 2012, Valencia. Procedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, 2012.

• SA, S. ; ALCANTARA, J. F. L. . Abduction-Based Search for Cooperative Answers. In: 12th International Workshop on Computational Logic in Multi-Agent Systems, 2011, Barcelona. Proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, 2011.

• SA, S. ; ALCANTARA, J. F. L. . Encoding DL-Atoms in RuleML. In: VIII ENIA - Encontro Nacional de Inteligência Artificial, 2011, Natal. VIII ENIA - Encontro Nacional de Inteligência Artificial, 2011.

• VIANA, H. ; ALCANTARA, J. F. L. ; MARTINS, A. T. C. . Paraconsistent Rough Description Logic. In: Description Logics, 2011, Barcelona. Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011. v. 745. p. 587-597.

• SA, S. ; ALCANTARA, J. F. L. . Cooperative Dialogues with Conditional Arguments. In: European Workshop on Multi-agent Systems (EUMAS'11), 2011, Maastricht. Proceedings of the European Workshop on Multi-agent Systems (EUMAS'11), 2011.

• ALCANTARA, J. F. L. ; DAMASIO, C. V. ; PEREIRA, L. M. . A Well-Founded Semantics with Disjunction. In: International Conference on Logic Programming (ICLP '05), 2005, Sitges. Procs. 21st International Conference on Logic Programming (ICLP '05). Berlin/Heidelberg: Springer, 2005. p. 341-355.

• ALCANTARA, J. F. L. ; DAMASIO, C. V. ; PEREIRA, L. M. . On Contradictions and their Propagation in Paraconsistent Logic Programs. In: III World Congress on Paraconsistency (WCP3), 2003, Toulouse. Proceedings of III World Congress on Paraconsistency (WCP3), 2003.

• ALCANTARA, J. F. L. ; DAMASIO, C. V. ; PEREIRA, L. M. . Paraconsistent Logic Programs. In: 8th European Conference JELIA2002, 2002, Cosenza. Proceedings of 8th European Conference JELIA2002, 2002. p. 345-356.

• ALCANTARA, J. F. L. ; DAMASIO, C. V. ; PEREIRA, L. M. . Paraconsistent Logic Programs. In: Workshop on Paraconsistent Logics of ESSLLI'2002, 2002, Trento. Proceedings of the Workshop on Paraconsistent Logic (WoPaLo), 2002.

• ALCANTARA, J. F. L. ; PEQUENO, M. C. . WFSXEI - Uma semântica bem fundada para programas em lógica estendidos da inconsistência epistêmica. In: II Encontro Nacional de Inteligência Artificial, 1999, Rio de Janeiro. Anais do II Encontro Nacional de Inteligência Artificial, 1999. v. IV. p. 255-271.

• NOGUEIRA, J. H. M. ; SILVA, R. B. ; ALCANTARA, J. F. L. ; CASTRO, R. . Expert SINTA, uma Ferramenta Visual Geradora de Sistemas Especialistas. In: VI Semana de Informática, 1996, Salvador. Anais da VI Semana de Informática, 1996.

• VIANA, H. ; ALCÂNTARA, J. . Propositional Belief Merging with OWA Operators. In: Sixteenth International Conference on Principles of Knowledge Representation and Reasoning, 2018. Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning, 2018. p. 667-668.

• SA, S. ; ALCÂNTARA, J. . Preferences with Qualitative Thresholds and Methods for Individual and Collective Decisions. In: 12th International Conference on Autonomous Agents and Multiagent Systems, 2013, MInnesota, USA. 12th International Conference on Autonomous Agents and Multiagent Systems, 2013. p. 1247-1248.

• SA, S. ; ALCANTARA, J. F. L. . Abduction Guided Query Relaxation. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011, Taipei. Proceedings of 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011.

• VIANA, H. ; ALVES, T. ; ALCANTARA, J. F. L. ; MARTINS, A. T. C. . A Tractable Paraconsistent Fuzzy Description Logic. In: 6th Uncertainty Reasoning for the Semantic Web (URSW 2010), 2010, Shanghai. Proceedings of the 6th Uncertainty Reasoning for the Semantic Web (URSW 2010), 2010. v. 1. p. 101-104.

• ALCANTARA, J. F. L. ; DAMASIO, C. V. ; PEREIRA, L. M. . A Declarative Characterisation of Disjunctive Paraconsistent Answer Sets. In: European Conference on Artificial Intelligence (ECAI 2004),, 2004, Valencia. Proceedings of 16th European Conference on Artificial Intelligence (ECAI 2004),, 2004. p. 951-952.

• NOGUEIRA, J. H. M. ; SILVA, R. B. ; ALCANTARA, J. F. L. ; CASTRO, R. . Expert Sinta. In: X Simpósio Brasileiro de Engenharia de Software (SBES), 1996, São Carlos. Anais do X Simpósio Brasileiro de Engenharia de Software, 1996.

• SA, S. ; ALCANTARA, J. F. L. . Abduction-Based Search for Cooperative Answers. In: XVI Encontro Brasileiro de Lógica, 2011, Petrópolis. XVI Encontro Brasileiro de Lógica, 2011.

• SILVA, R. B. ; ALCANTARA, J. F. L. ; HOLANDA, S. ; CASTRO, R. . Aplicações baseadas no Expert Sinta, uma ferramenta para criação de sistemas especialistas. In: XV Encontro Universitário de Iniciação à Pesquisa, 1996, Fortaleza. Anais do XV Encontro Universitário de Iniciação à Pesquisa da UFC, 1996.

• R. Silvestre ; SILVA, R. B. ; ALCANTARA, J. F. L. . Expert Sinta, uma ferramenta visual para a construção de sistemas especialistas. In: XIV Encontro Universitário de Iniciação à Pesquisa, 1995, Fortaleza. Anais do XIV Encontro Universitário de Iniciação à Pesquisa, 1995.

• ALCÂNTARA, J. ; CORDEIRO, R. . Bipolar Argumentation Frameworks with a Dual Relation between Defeat and Defence. JOURNAL OF LOGIC AND COMPUTATION , 2024.

Outras produções

Projetos de pesquisa

• 2015 - Atual

  Agregação de Crenças e Preferências em Programação em Lógica e em Frameworks de Argumentação, Descrição: Em Inteligência Artificial, frequentemente temos que lidar com diversas fontes de informação. Nesse cenário, o desenvolvimento de Sistemas Multiagentes deve levar em conta o problema de resolver eventuais conflitos entre bases de conhecimento contraditórias mantidas pelos diversos agentes. Ao mesmo tempo, esses sistemas podem extrair conhecimento adicional que não está localmente guardado por nenhum agente, mas é coletivamente construído por todos. A teoria de mudança de crença produziu vários operadores que modelam as diferentes maneiras pelas quais as crenças de um ou mais agentes evoluem. Dentre elas, a Fusão de Crenças (Belief Merging) combina vários pedaços de informação vindos de diferentes fontes através de operadores de fusão. Nesse caso, a fusão de crenças são usadas para construir uma descrição coerente do mundo a partir das descrições dos agentes possivelmente conflitantes. Diante disso, um dos nossos objetivos é explorar as técnicas de fusão de crenças e adaptá-las para determinar as preferências dos agentes. Como é sabido, em Sistemas Multiagentes assim como em muitas aplicações de Inteligência Artificial, uma formalização adequada das preferências de um agente tem desempenhado um papel central em processos de tomada de decisão. Apesar dessa importância, ainda não há uma definição abrangente sobre "quais são as preferências de um agente" e "de onde essas preferências vêm". De um modo geral, as linguagens formais de representação de preferências vêm sendo usadas para computar as melhores escolhas disponíveis ou pelo menos compará-las. Para tal, normalmente é assumido que as preferências sobre as escolhas estão disponíveis explicitamente quer quantitativamente por alguma função-utilidade, quer qualitativamente por algum tipo de ordenamento. Nesse sentido, apontamos que os operadores de fusão de crenças poderão ser adaptados para obter as preferências dos agentes.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Joao Fernando Lima Alcântara - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2013 - 2014

  Equivalências entre as Semânticas Paraconsistentes para Programas em Lógica e as Semânticas Paraconsistentes para Argumentação, Descrição: Com o crescente interesse em Sistemas Multiagentes, argumentação tem-se tornado um importante tópico de Inteligência Artificial (IA). A ideia precípua consiste na construção de argumentos a favor ou contra uma declaração com a finalidade de selecionar os que são aceitáveis e os que não são. Desde a concepção inicial da teoria da argumentação, vários trabalhos têm demonstrado resultados de equivalência entre as semânticas para argumentação e as semânticas para programação em lógica quando conflitos não são considerados. Compreendendo que em muitos casos, conflitos não são apenas possíveis, como também inevitáveis e dada a importância das semânticas que lidam paraconsistentemente com conflitos no escopo da IA, este projeto de pesquisa propõe-se a preencher essa lacuna e buscar verificar se esses resultados de equivalência entre as semânticas para argumentação e as para programação em lógica são passíveis de serem replicadas na presença de contradições. Esse resultado é basilar para melhorar a compreensão do papel das contradições em sistemas formais assim como estabelecer as possibilidades e limitações da aplicação de argumentos na formalização do raciocínio do senso comum. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Joao Fernando Lima Alcântara - Coordenador., Financiador(es): Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico - Bolsa.

• 2012 - Atual

  Rede de Cooperação Acadêmica em Ciência da Computação, Descrição: Processo: 552578/2011-8 CNPq e CAPES Coordenador: José Ant\ônio Fernandes de Macedo (DC - UFC) Edital: Casadinho Recurso Obtido: R$\$$: 396.266,00 Este projeto descreve trabalhos conjuntos de pesquisa científica e tecnológica em quatro diferentes áreas da Ciência da Computação que visa estimular ou aprofundar a formação pós-graduada e a mobilidade docente e discente. Os trabalhos conjuntos aqui descritos, agrupados em um só projeto, tem o objetivo de promover a consolidação de Programa de Mestrado e Doutorado em Ciência da Computação da Universidade Federal do Ceará (MDCC-UFC) por meio da cooperação inter-regional entre quatro de seus grupos de pesquisa e seus congêneres de programas consolidados de instituições nacionais de ensino superior e de pesquisa do Estado do Rio de Janeiro. Como resultados do Programa, espera-se que haja fortalecimento da interação científica e acadêmica de modo a constituir redes de cooperação, o aumento na formação e na capacitação de recursos humanos, o aumento da produção técnico-científica dos grupos de pesquisa, o fortalecimento de linhas de pesquisa. Considerando-se que parte significativa dos membros das equipes do MDCC-UFC é formada por recém-doutores com potencial para carreira científica, as atividades dos projetos conjuntos contribuirão para uma melhor distribuição regional dos núcleos de excelência em pesquisas no país.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (4) / Doutorado: (4) . , Integrantes: Joao Fernando Lima Alcântara - Integrante / José Antonio Fernandes de Macêdo - Coordenador / Marcelino Pequeno - Integrante / Davi Romero Vasconcelos - Integrante / Carlos Eduardo Fisch de Brito - Integrante / Edward Hermann Haeusler - Integrante / Ana Teresa de Castro Martins - Integrante / Mauro Benevides - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2012 - Atual

  Raciocínio Incerto em Lógicas de Descrições e em Programação em Lógica, Descrição: Em nossa vida diária, não raramente nós temos de lidar com informações incertas. Entender como as diversas formas de incerteza podem ser empregadas no desenvolvimento de sistemas inteligentes tem desafiado muitos pesquisadores. Neste projeto de pesquisa, nós iremos estudar diferentes formas de incerteza e o papel que elas desempenham na implementação de ferramentas de Inteligência Artificial (IA). Dado que o raciocínio dedutivo e monotônico da Lógica Clássica de Primeira Ordem não é suficientemente moldável para ser utilizado como ferramenta na formalização e tratamento computacional do raciocínio incerto em IA, urge buscar mecanismos não-clássicos para a representação do conhecimento e raciocínio. Nesse sentido, vai-se abordar a incerteza em dois bem conhecidos e amplamente utilizados formalismos de representação do conhecimento em IA: lógica de descrições e programação em lógica. No campo das lógicas de descrições, o objetivo é suprir uma de suas limitações ao lidar com domínios de interesse que não podem ser modelados com absoluta precisão. Isso envolve o estudo de lógicas difusas, probabilísticas e possibilísticas. Já na área de programação em lógica, estamos particularmente interessados em como o raciocínio abdutivo e paraconsistente, duas formas de raciocínio incerto, podem ser usados na representação de um debate num sistema multiagentes e na busca dos meios necessários para se chegar a um consenso.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (5) . , Integrantes: Joao Fernando Lima Alcântara - Coordenador / Marcelino Cavalcante Pequeno - Integrante / Davi Romero Vasconcelos - Integrante / Ana Teresa de Castro Martins - Integrante., Financiador(es): Universidade Federal do Ceará - Auxílio financeiro.

• 2010 - 2013

  Lógicas Clássica e Não-Clássicas, seus Fragmentos e Extensões, Descrição: Descrição: Processo:482481/2010-2 No escopo dos estudos relacionados à lógica, podemos distinguir duas áreas de pesquisa que estão associadas, respectivamente, à relação de conseqüência semântica e à relação de conseqüência sintática, a saber: (i) teoria dos modelos e (ii) teoria da prova. Dentro destas duas perspectivas, investigamos o que dá e o que não dá para fazer com a lógica clássica dentro da computação. Investigaremos não somente lógicas que rivalizam ou estendem a lógica clássica, aqui denominadas de lógicas não-clássicas, como também fragmentos da lógica clássica que são decidíveis. Estas lógicas serão exploradas pelos modelos que as caracterizam, pelo poder expressivo de sua linguagem para, por exemplo, expressar a complexidade descritiva de problemas e hierarquizar teorias, como também pelas propriedades estruturais de seus sistemas dedutivos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (2) . , Integrantes: Joao Fernando Lima Alcântara - Integrante / Marcelino Pequeno - Integrante / Davi Romero Vasconcelos - Integrante / Ana Teresa de Castro Martins - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2010 - Atual

  PACMDCC - Parcerias Acadêmicas para Consolidação do Mestrado e Doutorado em Ciência da Computação da UFC, Descrição: Este projeto visa o estabelecimento de parcerias de pesquisa entre grupos do programa de pós-graduação em ciência da computação da UFC (MDCC) e do programa de pós-graduação do Departamento de Informática (DI) da PUC-RJ. O objetivo principal dessa parceria é o crescimento do MDCC da UFC com vistas à consolidação do programa. Assim, o projeto visa: 1. Fortalecer a parceria entre grupos afins do MDCC e da PUC-RJ; 2. Fortalecer as linhas de pesquisa do MDCC; 3. Aumentar a produção científica quantitativa e qualitativamente; 4. Ampliar a formação de mestres e doutores na instituição proponente; 5. Promover a mobilidade acadêmica entre os pesquisadores das duas instituições; e também, entre os estudantes da pós-graduação através da modalidade sanduíche entre as duas instituições; 6. Elevar o conceito CAPES do MDCC de 4 para 5. A parceria estabelecida neste projeto (PACMDCC) envolve três grupos de pesquisa do Programa de Pós-graduação em Ciência da Computação da Universidade Federal do Ceará Bancos de Dados, Computação Gráfica e Lógica & Teoria da Computação com seus congêneres do Departamento de Informática da PUC-RJ. No total, são treze professores do MDCC (2 são bolsistas de produtividade nível 2 do CNPq), quatro professores do INF-PUC-RJ (4 são bolsistas PQ: um do nível 1A, um do nível 1C e dois do nível 2), quinze alunos de doutorado e oito alunos de mestrado. Além de promover a consolidação do MDCC e a elevação de sua nota de 4 para 5 na avaliação da CAPES, este projeto visa estabelecer uma interação permanente entre os parceiros, para o desenvolvimento de projetos conjuntos, para melhorar a formação de recursos humanos em níveis de mestrado e doutorado, e para incrementar a mobilidade de alunos de pós-graduação e pesquisadores dos grupos envolvidos. O apoio financeiro será utilizado, principalmente, em missões de estudo (envolvendo alunos de pós-graduação) e em missões de pesquisa (envolvendo professores pesquisadores das duas equipes).. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (10) Doutorado: (18) . , Integrantes: Joao Fernando Lima Alcântara - Integrante / Marcelino Cavalcante Pequeno - Integrante / José Antonio Fernandes de Macêdo - Integrante / Davi Romero Vasconcelos - Integrante / Vânia Vidal - Coordenador / Creto Augusto Vidal - Integrante / Joaquim Bento Cavalcante - Integrante / Bernadete Farias Lóscio - Integrante / Marco Antônio Casanova - Integrante / Karin Breitman - Integrante / Marcelo Gattass - Integrante / Carlos Eduardo Fisch de Brito - Integrante / Wladimir Araújo Tavares - Integrante / José Maria Monteiro - Integrante / Edward Hermann Haeusler - Integrante / Ana Teresa de Castro Martins - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

Prêmios