La subsumición en la lógica descriptiva ALCN

Se describe con un modelo orientado a objetos la estructura de la Lógica Descriptiva ALCN, junto a esta formalización se plantea un diseño que determina la satifactibilidad de conceptos. Un concepto C es satifactible en una A (ABox), si A admite un modelo en el cual C tiene una interpretación no vac...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Lizcano, Luis I.
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2003
Materias:
Ciencias Informáticas
Languages
Lenguaje de Conceptos
Satifactibilidad
Subsumición
Taxonomía de Conceptos y Cálculo de Tableaux
Concept Languages
Satisfiability
Subsumiption
Concept Taxonomíc and Tableaux
Calculus
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22591
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22591
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Languages
Lenguaje de Conceptos
Satifactibilidad
Subsumición
Taxonomía de Conceptos y Cálculo de Tableaux
Concept Languages
Satisfiability
Subsumiption
Concept Taxonomíc and Tableaux
Calculus
spellingShingle Ciencias Informáticas
Languages
Lenguaje de Conceptos
Satifactibilidad
Subsumición
Taxonomía de Conceptos y Cálculo de Tableaux
Concept Languages
Satisfiability
Subsumiption
Concept Taxonomíc and Tableaux
Calculus
Lizcano, Luis I.
La subsumición en la lógica descriptiva ALCN
topic_facet Ciencias Informáticas
Languages
Lenguaje de Conceptos
Satifactibilidad
Subsumición
Taxonomía de Conceptos y Cálculo de Tableaux
Concept Languages
Satisfiability
Subsumiption
Concept Taxonomíc and Tableaux
Calculus
description Se describe con un modelo orientado a objetos la estructura de la Lógica Descriptiva ALCN, junto a esta formalización se plantea un diseño que determina la satifactibilidad de conceptos. Un concepto C es satifactible en una A (ABox), si A admite un modelo en el cual C tiene una interpretación no vacía. Se plantea el paradigma matemático de la equivalencia entre la subsumición de conceptos y la satifactibilidad de un concepto. El algoritmo de la satifactibildad de una expresión de conceptos está diseñado con base a la búsqueda exhaustiva de la aplicación de las reglas de Tableaux al conjunto de constructores de la expresión de conceptos. Un clasificador de jerarquía de conceptos en la base de conocimiento resulta como aplicación de la subsimición.
format Objeto de conferencia
Objeto de conferencia
author Lizcano, Luis I.
author_facet Lizcano, Luis I.
author_sort Lizcano, Luis I.
title La subsumición en la lógica descriptiva ALCN
title_short La subsumición en la lógica descriptiva ALCN
title_full La subsumición en la lógica descriptiva ALCN
title_fullStr La subsumición en la lógica descriptiva ALCN
title_full_unstemmed La subsumición en la lógica descriptiva ALCN
title_sort la subsumición en la lógica descriptiva alcn
publishDate 2003
url http://sedici.unlp.edu.ar/handle/10915/22591
work_keys_str_mv AT lizcanoluisi lasubsumicionenlalogicadescriptivaalcn
bdutipo_str Repositorios
_version_ 1764820466065735682

Ejemplares similares