El sistema de Poole: un estudio formal
Fil: Lerner, Silvia B.. Universidad de Buenos Aires; Argentina.
Main Author: | |
---|---|
Format: | conferenceObject |
Language: | spa |
Published: |
Universidad Nacional de Córdoba
2016
|
Subjects: | |
Online Access: | http://hdl.handle.net/11086/3132 |
_version_ | 1801213872651108352 |
---|---|
author | Lerner, Silivia B. |
author_facet | Lerner, Silivia B. |
author_sort | Lerner, Silivia B. |
collection | Repositorio Digital Universitario |
description | Fil: Lerner, Silvia B.. Universidad de Buenos Aires; Argentina. |
format | conferenceObject |
id | rdu-unc.3132 |
institution | Universidad Nacional de Cordoba |
language | spa |
publishDate | 2016 |
publisher | Universidad Nacional de Córdoba |
record_format | dspace |
spelling | rdu-unc.31322023-11-21T13:10:15Z El sistema de Poole: un estudio formal Lerner, Silivia B. Epistemología Historia de la ciencia Fil: Lerner, Silvia B.. Universidad de Buenos Aires; Argentina. 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. Fil: Lerner, Silvia B.. Universidad de Buenos Aires; Argentina. 2016-08-16T15:29:06Z 2016-08-16T15:29:06Z 1998-10 conferenceObject http://hdl.handle.net/11086/3132 spa Atribución-NoComercial-SinDerivadas 2.5 Argentina http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ Universidad Nacional de Córdoba |
spellingShingle | Epistemología Historia de la ciencia Lerner, Silivia B. El sistema de Poole: un estudio formal |
title | 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_short | El sistema de Poole: un estudio formal |
title_sort | el sistema de poole un estudio formal |
topic | Epistemología Historia de la ciencia |
url | http://hdl.handle.net/11086/3132 |
work_keys_str_mv | AT lernersiliviab elsistemadepooleunestudioformal |