Detalhes bibliográficos
| Ano de defesa: |
2014 |
| Autor(a) principal: |
Curado, José David Fernández |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113318/
|
Resumo: |
Nós apresentamos neste trabalho o estado da arte na representação de tipicalidade em lógicas de descrição, resumindo suas caracteristicas e analisando suas forças e fraquezas enquanto sistemas de representação de conhecimento típico. Nós também oferecemos um olhar sobre o que está faltando para termos um sistema genérico para raciocínio sobre tipicalidade e oferecemos possíveis extensões a serem desenvolvidas para atingir esse sistema genérico ideal. Nós propomos a adição de um operador de inclusão de tipicalidade para lidar com herança de propriedades típicas no caso de elementos atipicos. |
