Quantification in description logics of typicality (2023)
- Authors:
- Autor USP: CÂMARA, IGOR DE CAMARGO E SOUZA - IME
- Unidade: IME
- Sigla do Departamento: MAC
- DOI: 10.11606/T.45.2023.tde-18092023-181200
- Subjects: WEB SEMÂNTICA; REPRESENTAÇÃO DE CONHECIMENTO; SEMÂNTICA; INTELIGÊNCIA ARTIFICIAL
- Keywords: Defeasible reasoning; Description logics; Lógicas de descrição; Negligência de quantificadores; Quantification neglect; Raciocínio derrotável; Tipicalidade; Typicality
- Agências de fomento:
- Language: Inglês
- Abstract: Esta tese explora a intersecção das Lógicas de Descrição (DLs) com a teoria dos protótipos no contexto da representação de conhecimento e raciocínio. DLs são formalismos largamente usados para representação de conhecimento e servem como a espinha dorsal da Web Semântica. Esta tese argumenta que incorporar a teoria dos protótipos às DLs pode ser um incremento desejável e pavimenta o caminho para a introdução de raciocínio não-monotônico. Essa ampliação expandiria o raciocínio baseado em DLs para incluir regularidades que são tipicamente, mas nem sempre, verificadas. Por exemplo, ela poderia incluir conhecimento como pássaros tipicamente voam, uma regularidade que é verdadeira em quase todos os casos, mas admite exceções. Essa forma de raciocínio é crucial para a inferência inspirada nos processos cognitivos humanos e também para lidar com problemas como o raciocínio sob informação incompleta. A abordagem desta tese se insere na tradição que combina DLs e tipicalidade através do raciocínio derrotável (defeasible), em particular, pela adoção de inclusões derrotáveis de conceitos (DCIs). Raciocínio baseado em materialização é uma das técnicas mais proeminentes dessa tradução. Essa técnica se resume a redução de inferências derrotáveis enriquecendo o lado esquerdo das inclusões com conceitos que representam axiomas derrotáveis. Esses conceitos são chamados a materialização dos axiomas que eles representam. Semânticas distintas baseadas em materialização são caracterizadas pelastécnicas que usam para selecionar os conjuntos de axiomas que serão materializados com um dado conceito. Embora as semânticas baseadas em materialização sejam inegavelmente bem sucedidas, elas possuem sérias limitações. Em particular, elas possuem uma natureza proposicional e, portanto, não podem estender informação derrotável através de quantificadores, um problema conhecido como negligência de quantifi- cadores. Portanto, pássaros tipicamente voam e pardais são pássaros permitem a conclusão de que pardais tipicamente voam, No entanto, não é possível concluir de gatos comem pássaros que gatos tipicamente comem animais voadores. A tese se apoia nos recém introduzidos modelos de tipicalidade para abordar essas limitações e definir um maquinário semântico que melhore semânticas já existentes e inclua nelas propriedades de primeira- ordem. Ela expande o já estabelecido framework semântico de modelos de tipicalidade para a lógica EL, uma semântica parametrizada em forças (strenghts) e coberturas (coverages) com seis variações cobrindo semânticas baseadas em materialização já existentes. Adicionalmente, a tese propõe um novo framework para a lógica ELI, que inclui uma semântica proposicional, equivalente às semânticas baseadas em materialização, e uma semântica aninhada que resolve o problema da negligência de quantificadores
- Imprenta:
- Data da defesa: 18.07.2023
- Este periódico é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc-sa
-
ABNT
CÂMARA, Igor de Camargo e Souza. Quantification in description logics of typicality. 2023. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/. Acesso em: 02 maio 2024. -
APA
Câmara, I. de C. e S. (2023). Quantification in description logics of typicality (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/ -
NLM
Câmara I de C e S. Quantification in description logics of typicality [Internet]. 2023 ;[citado 2024 maio 02 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/ -
Vancouver
Câmara I de C e S. Quantification in description logics of typicality [Internet]. 2023 ;[citado 2024 maio 02 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/
Informações sobre o DOI: 10.11606/T.45.2023.tde-18092023-181200 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
