El sistema de Poole: un estudio formal
Fil: Lerner, Silvia B.. Universidad de Buenos Aires; Argentina.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | conferenceObject |
| Lenguaje: | Español |
| Publicado: |
Universidad Nacional de Córdoba
2016
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/3132 |
| Aporte de: |
| id |
I10-R141-11086-3132 |
|---|---|
| record_format |
dspace |
| spelling |
I10-R141-11086-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 |
| 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 |
Fil: Lerner, Silvia B.. Universidad de Buenos Aires; Argentina. |
| 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 |
Universidad Nacional de Córdoba |
| publishDate |
2016 |
| url |
http://hdl.handle.net/11086/3132 |
| work_keys_str_mv |
AT lernersiliviab elsistemadepooleunestudioformal |
| _version_ |
1806949060965302272 |