Dinámica de Conocimiento: implementación computacional de Operaciones de Contracción Múltiples Horn
Esta línea de investigación tiene como objetivo estudiar, en el marco de la teoría de cambio de creencias, algoritmos para la obtención de contracciones múltiples con cláusulas Horn, considerando las operaciones de contracción bajo lṕgica Horn como lenguaje de representación de conocimiento. Para el...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2014
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/41798 |
| Aporte de: |
| id |
I19-R120-10915-41798 |
|---|---|
| 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 Sistemas conjuntos de restos ARTIFICIAL INTELLIGENCE Knowledge Representation Formalisms and Methods conjuntos kernel algoritmos de contracción Múltiple Horn |
| spellingShingle |
Ciencias Informáticas Sistemas conjuntos de restos ARTIFICIAL INTELLIGENCE Knowledge Representation Formalisms and Methods conjuntos kernel algoritmos de contracción Múltiple Horn Valdez, Néstor Jorge Falappa, Marcelo Alejandro Dinámica de Conocimiento: implementación computacional de Operaciones de Contracción Múltiples Horn |
| topic_facet |
Ciencias Informáticas Sistemas conjuntos de restos ARTIFICIAL INTELLIGENCE Knowledge Representation Formalisms and Methods conjuntos kernel algoritmos de contracción Múltiple Horn |
| description |
Esta línea de investigación tiene como objetivo estudiar, en el marco de la teoría de cambio de creencias, algoritmos para la obtención de contracciones múltiples con cláusulas Horn, considerando las operaciones de contracción bajo lṕgica Horn como lenguaje de representación de conocimiento. Para ello, estudiamos los resultados generales realizados en la adaptación al marco AGM a lógicas no clásicas, como Orderly Maxichoice Horn Contraction, Partial Meet Horn Contraction, e Infra Horn Contraction. Se analizan, algoritmos conocidos en el campo de base de creencias para el c´alculo de sus conjuntos de restos y kernels en sus diversas variantes con una sola sentencia como entrada, para as´ı poder realizar sus extensiones para múltiples sentencias como entrada. La contribución de esta investigación consiste en:
definir los algoritmos y sus heurísticas para encontrar los elementos del kernel, definir sus cortes minimales mediante funciones de incisión, y finalmente definir contracciones múltiples. De manera análoga, se proceder´a a definir procedimientos para los conjuntos de restos y sus cortes maximales. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
Valdez, Néstor Jorge Falappa, Marcelo Alejandro |
| author_facet |
Valdez, Néstor Jorge Falappa, Marcelo Alejandro |
| author_sort |
Valdez, Néstor Jorge |
| title |
Dinámica de Conocimiento: implementación computacional de Operaciones de Contracción Múltiples Horn |
| title_short |
Dinámica de Conocimiento: implementación computacional de Operaciones de Contracción Múltiples Horn |
| title_full |
Dinámica de Conocimiento: implementación computacional de Operaciones de Contracción Múltiples Horn |
| title_fullStr |
Dinámica de Conocimiento: implementación computacional de Operaciones de Contracción Múltiples Horn |
| title_full_unstemmed |
Dinámica de Conocimiento: implementación computacional de Operaciones de Contracción Múltiples Horn |
| title_sort |
dinámica de conocimiento: implementación computacional de operaciones de contracción múltiples horn |
| publishDate |
2014 |
| url |
http://sedici.unlp.edu.ar/handle/10915/41798 |
| work_keys_str_mv |
AT valdeznestorjorge dinamicadeconocimientoimplementacioncomputacionaldeoperacionesdecontraccionmultipleshorn AT falappamarceloalejandro dinamicadeconocimientoimplementacioncomputacionaldeoperacionesdecontraccionmultipleshorn |
| bdutipo_str |
Repositorios |
| _version_ |
1764820472904548355 |