El sistema de Poole: un estudio formal
Con el auge de la Inteligencia Artificial comenzaron a proliferar, a partir de la década de los 80, sistemas cuyo objetivo es reconstruir formalmente el razonamiento revocable. Los sistemas de Poole y Reiter se inscriben en esta vertiente. El estudio metateórico de los sistemas para razonamiento r...
Guardado en:
Autor principal: | |
---|---|
Formato: | conferenceObject |
Lenguaje: | Español |
Publicado: |
Horacio Faas
2016
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/3132 |
Aporte de: |
id |
I10-R14111086-3132 |
---|---|
record_format |
dspace |
institution |
Universidad Nacional de Córdoba |
institution_str |
I-10 |
repository_str |
R-141 |
collection |
Repositorio Digital Universitario (UNC) |
language |
Español |
topic |
Epistemología Historia de la ciencia |
spellingShingle |
Epistemología Historia de la ciencia Lerner, Silivia B. El sistema de Poole: un estudio formal |
topic_facet |
Epistemología Historia de la ciencia |
description |
Con el auge de la Inteligencia Artificial comenzaron a proliferar, a partir de la década de los 80, sistemas cuyo objetivo es reconstruir formalmente el razonamiento revocable. Los sistemas de Poole y Reiter se inscriben en esta vertiente.
El estudio metateórico de los sistemas para razonamiento revocable condujo a Gabbay, Makinson y otros a definir propiedades debilitadas como la monotonía cauta, la monotonía racional, etc.: propiedades positivas mínimas esperables en sistemas no-monótonos.
En el presente trabajo proponemos algunas definiciones alternativas y ofrecemos pruebas que evidencian ventajas comparativas del sistema de Poole. |
format |
conferenceObject |
author |
Lerner, Silivia B. |
author_facet |
Lerner, Silivia B. |
author_sort |
Lerner, Silivia B. |
title |
El sistema de Poole: un estudio formal |
title_short |
El sistema de Poole: un estudio formal |
title_full |
El sistema de Poole: un estudio formal |
title_fullStr |
El sistema de Poole: un estudio formal |
title_full_unstemmed |
El sistema de Poole: un estudio formal |
title_sort |
el sistema de poole: un estudio formal |
publisher |
Horacio Faas |
publishDate |
2016 |
url |
http://hdl.handle.net/11086/3132 |
work_keys_str_mv |
AT lernersiliviab elsistemadepooleunestudioformal |
bdutipo_str |
Repositorios |
_version_ |
1764820395876155392 |