Banca de QUALIFICAÇÃO: ARTHUR DE MEDEIROS BATISTA

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE: ARTHUR DE MEDEIROS BATISTA
DATA: 31/08/2018
HORA: 08:00
LOCAL: LIAA Lab/Centro de Informática
TÍTULO: Lógica de Descrição e Modelagem Conceitual de Conhecimento para Uso em Ontologias
PALAVRAS-CHAVES: Representação do Conhecimento, Lógica de Descrição, Engenharia do Conhecimento.
PÁGINAS: 40
RESUMO: A Representação Conhecimento é a área da Inteligência Artificial preocupada em estudar métodos, técnicas e ferramentas para a compreensão do conhecimento humano e consequentemente sua modelagem através de formalismos que permitam ao computador ser capaz de realizar tarefas de raciocínio sobre ele. A tarefa de modelagem dos conceitos importantes de um domínio para composição de uma base de conhecimento consiste em capturar aspectos físicos (conceitos) e sociais (relações) do domínio a ser representado e envolve certo nível de complexidade inerente à própria natureza do conhecimento humano. Em meio às pesquisas que se estendem há algum tempo, surge o que chamamos de lógica de descrição: um dos formalismos mais utilizados atualmente para tarefas de modelagem de conhecimento, que promete proporcionar melhorias em requisitos como expressividade, se comparado a outros formalismos. Nesse contexto, o objetivo deste trabalho é compreender como o formalismo da lógica de descrição pode influenciar o processo de modelagem conceitual do conhecimento para construção de ontologias, oferecendo infra-estrutura teóricoconceitual que possibilita melhoria em suas métricas e em seu nível de expressividade. Para tanto, estudamos o desenvolvimento de uma ontologia de domínio da Nefrologia e vamos mostrar como a modelagem usando o formalismo da lógica de descrição pode prover melhorias na qualidade da ontologia. A modelagem conceitual será feita usando o formalismo da lógica de descrição e constará da construção da TBox e da ABox. A TBox reúne a terminologia do domínio em questão, a saber o diagnóstico da doença renal crônica. A ABox, por sua vez, reunirá um conjunto de asserções sobre o domínio, estabelecendo relações entre os conceitos modelados na TBox. Após a modelagem, a ontologia será implementada usando a Web Ontology Language (OWL) e serão feitas consultas à ontologia para verificar sua capacidade de responder às questões formuladas por um especialista em Nefrologia, dentro do escopo para o qual foi desenvolvida. Esperamos que essa abordagem, que usa um formalismo baseado em lógica, traga benefícios ao processo de construção de ontologias, promovendo melhorias nas métricas e no nível de expressividade da ontologia, se comparado a uma modelagem sem uso de uma abordagem baseada em lógica.
MEMBROS DA BANCA:
Presidente - 2636257 - NATASHA CORREIA QUEIROZ LINO
Interno - 1723491 - CLAUIRTON DE ALBUQUERQUE SIEBRA
Interno - 2126491 - GUSTAVO HENRIQUE MATOS BEZERRA MOTTA