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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Lerner, Silivia B.
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