Propiedades del operador de consecuencias argumentativo

Autores
Sardiña, Sebastián; Simari, Guillermo Ricardo
Año de publicación
1998
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Desde comienzos de la década de los '80 han aparecido un número significativo de formalismos que modelan, en ciertos aspéctos, el razonamiento de sentido común. El esfuerzo fué orientado a definir una clase de razonamiento que admitiese información incompleta y potencialmente inconsistente, fundamentalmente motivado por la intuición de que esta parece ser una característica distintiva de las decisiones tomadas por un agente inteligente. La plétora de sistemas ha generado un interés creciente por lograr criterios unificadores y hallar patrones comunes entre todos ellos que puedan ayudar a comprender mejor la situación. Existen dos niveles donde estos patrones pueden buscarse: a nivel de la máquina formal usada para razonar y a nivel de la inferencia en sí misma. Gabbay [Gab85] propuso concentrarse en el estudio a las propiedades formales de la relación de inferencia del sistema. Posteriormente, Makinson [Mak9O] en un trabajo de gran trascendencia realizó un estudio sobre varios sistemas, centrándose en dos propiedades importantes llamadas propiedades cumulativas. En [Sar98] se extiende este estudio a los sistemas argumentativos, en particular al sistema MTDR desarrollado por Simari y Loui [Sim92]. En aquel trabajo se desarrollan consideraciones con respecto a las propiedades cumulativas. Vreeswijk en [Vre92] realiza un estudio similar. En este artículo se prolonga el estudio realizado en [Sar98] explorando ahora algunas propiedades importantes que hablan de la "coherencia lógica" de un razonamiento. Condiciones tales como supraclasicalidad, absorción, equivalencia lógica a izquierda y debilitamiento a derecha, necesarias en un "buen razonamiento", evalúan la coherencia de un razonamiento. Terminaremos analizando tres propiedades no-Horn que no se verifican en casi ningún sistema no-monótono.
V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA)
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Informática
razonamiento coherente
Nonmonotonic reasoning and belief revision
sistemas argumentativos
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/24859
Acceder
id SEDICI_8bae17bf031558e2237ec81f6ac8ed2b
oai_identifier_str oai:sedici.unlp.edu.ar:10915/24859
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Propiedades del operador de consecuencias argumentativoSardiña, SebastiánSimari, Guillermo RicardoCiencias InformáticasInformáticarazonamiento coherenteNonmonotonic reasoning and belief revisionsistemas argumentativosDesde comienzos de la década de los '80 han aparecido un número significativo de formalismos que modelan, en ciertos aspéctos, el razonamiento de sentido común. El esfuerzo fué orientado a definir una clase de razonamiento que admitiese información incompleta y potencialmente inconsistente, fundamentalmente motivado por la intuición de que esta parece ser una característica distintiva de las decisiones tomadas por un agente inteligente. La plétora de sistemas ha generado un interés creciente por lograr criterios unificadores y hallar patrones comunes entre todos ellos que puedan ayudar a comprender mejor la situación. Existen dos niveles donde estos patrones pueden buscarse: a nivel de la máquina formal usada para razonar y a nivel de la inferencia en sí misma. Gabbay [Gab85] propuso concentrarse en el estudio a las propiedades formales de la relación de inferencia del sistema. Posteriormente, Makinson [Mak9O] en un trabajo de gran trascendencia realizó un estudio sobre varios sistemas, centrándose en dos propiedades importantes llamadas propiedades cumulativas. En [Sar98] se extiende este estudio a los sistemas argumentativos, en particular al sistema MTDR desarrollado por Simari y Loui [Sim92]. En aquel trabajo se desarrollan consideraciones con respecto a las propiedades cumulativas. Vreeswijk en [Vre92] realiza un estudio similar. En este artículo se prolonga el estudio realizado en [Sar98] explorando ahora algunas propiedades importantes que hablan de la "coherencia lógica" de un razonamiento. Condiciones tales como supraclasicalidad, absorción, equivalencia lógica a izquierda y debilitamiento a derecha, necesarias en un "buen razonamiento", evalúan la coherencia de un razonamiento. Terminaremos analizando tres propiedades no-Horn que no se verifican en casi ningún sistema no-monótono.V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA)Red de Universidades con Carreras en Informática (RedUNCI)1998-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/24859spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-11-26T09:34:40Zoai:sedici.unlp.edu.ar:10915/24859Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-11-26 09:34:40.737SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Propiedades del operador de consecuencias argumentativo
title Propiedades del operador de consecuencias argumentativo
spellingShingle Propiedades del operador de consecuencias argumentativo
Sardiña, Sebastián
Ciencias Informáticas
Informática
razonamiento coherente
Nonmonotonic reasoning and belief revision
sistemas argumentativos
title_short Propiedades del operador de consecuencias argumentativo
title_full Propiedades del operador de consecuencias argumentativo
title_fullStr Propiedades del operador de consecuencias argumentativo
title_full_unstemmed Propiedades del operador de consecuencias argumentativo
title_sort Propiedades del operador de consecuencias argumentativo
dc.creator.none.fl_str_mv Sardiña, Sebastián
Simari, Guillermo Ricardo
author Sardiña, Sebastián
author_facet Sardiña, Sebastián
Simari, Guillermo Ricardo
author_role author
author2 Simari, Guillermo Ricardo
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Informática
razonamiento coherente
Nonmonotonic reasoning and belief revision
sistemas argumentativos
topic Ciencias Informáticas
Informática
razonamiento coherente
Nonmonotonic reasoning and belief revision
sistemas argumentativos
dc.description.none.fl_txt_mv Desde comienzos de la década de los '80 han aparecido un número significativo de formalismos que modelan, en ciertos aspéctos, el razonamiento de sentido común. El esfuerzo fué orientado a definir una clase de razonamiento que admitiese información incompleta y potencialmente inconsistente, fundamentalmente motivado por la intuición de que esta parece ser una característica distintiva de las decisiones tomadas por un agente inteligente. La plétora de sistemas ha generado un interés creciente por lograr criterios unificadores y hallar patrones comunes entre todos ellos que puedan ayudar a comprender mejor la situación. Existen dos niveles donde estos patrones pueden buscarse: a nivel de la máquina formal usada para razonar y a nivel de la inferencia en sí misma. Gabbay [Gab85] propuso concentrarse en el estudio a las propiedades formales de la relación de inferencia del sistema. Posteriormente, Makinson [Mak9O] en un trabajo de gran trascendencia realizó un estudio sobre varios sistemas, centrándose en dos propiedades importantes llamadas propiedades cumulativas. En [Sar98] se extiende este estudio a los sistemas argumentativos, en particular al sistema MTDR desarrollado por Simari y Loui [Sim92]. En aquel trabajo se desarrollan consideraciones con respecto a las propiedades cumulativas. Vreeswijk en [Vre92] realiza un estudio similar. En este artículo se prolonga el estudio realizado en [Sar98] explorando ahora algunas propiedades importantes que hablan de la "coherencia lógica" de un razonamiento. Condiciones tales como supraclasicalidad, absorción, equivalencia lógica a izquierda y debilitamiento a derecha, necesarias en un "buen razonamiento", evalúan la coherencia de un razonamiento. Terminaremos analizando tres propiedades no-Horn que no se verifican en casi ningún sistema no-monótono.
V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA)
Red de Universidades con Carreras en Informática (RedUNCI)
description Desde comienzos de la década de los '80 han aparecido un número significativo de formalismos que modelan, en ciertos aspéctos, el razonamiento de sentido común. El esfuerzo fué orientado a definir una clase de razonamiento que admitiese información incompleta y potencialmente inconsistente, fundamentalmente motivado por la intuición de que esta parece ser una característica distintiva de las decisiones tomadas por un agente inteligente. La plétora de sistemas ha generado un interés creciente por lograr criterios unificadores y hallar patrones comunes entre todos ellos que puedan ayudar a comprender mejor la situación. Existen dos niveles donde estos patrones pueden buscarse: a nivel de la máquina formal usada para razonar y a nivel de la inferencia en sí misma. Gabbay [Gab85] propuso concentrarse en el estudio a las propiedades formales de la relación de inferencia del sistema. Posteriormente, Makinson [Mak9O] en un trabajo de gran trascendencia realizó un estudio sobre varios sistemas, centrándose en dos propiedades importantes llamadas propiedades cumulativas. En [Sar98] se extiende este estudio a los sistemas argumentativos, en particular al sistema MTDR desarrollado por Simari y Loui [Sim92]. En aquel trabajo se desarrollan consideraciones con respecto a las propiedades cumulativas. Vreeswijk en [Vre92] realiza un estudio similar. En este artículo se prolonga el estudio realizado en [Sar98] explorando ahora algunas propiedades importantes que hablan de la "coherencia lógica" de un razonamiento. Condiciones tales como supraclasicalidad, absorción, equivalencia lógica a izquierda y debilitamiento a derecha, necesarias en un "buen razonamiento", evalúan la coherencia de un razonamiento. Terminaremos analizando tres propiedades no-Horn que no se verifican en casi ningún sistema no-monótono.
publishDate 1998
dc.date.none.fl_str_mv 1998-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/24859
url http://sedici.unlp.edu.ar/handle/10915/24859
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1849875733031157760
score 13.011256

Publicaciones similares