Una implementación de disputación basada en lógica default
- Autores
- Vaucheret, Claudio A.; Parra, Gerardo
- Año de publicación
- 1995
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- En [2] Gerhard Brewka realizó una reconstrucción de la Teoría de Disputación Formal de Nicholas Rescher [5]. En su trabajo, Brewka completó la formalización de la presentación de Dialectics: A Controversy-Oriented Approach to the Theory 01 Knowledge. El formalismo no..monótono que uti~izó para ello es una Logica Default con Especificidad)[l], denominada SDL, que es una variante de la Lógica Default de Reiter[4] que hace preferencia de reglas default más específicas sobre otras más generales. SDL genera un orden parcial entre las reglas default para modelar la especificidad, y lo utiliza para generar las extensiones de las teorías. Para una misma teoría, SDL genera menos extensiones que la Lógica Default de Reiter pues el orden parcial entre las reglas restringe el número de extensiones posibles solo a aquellas que no violan el orden de especificidad entre las reglas. En este trabajo se describen sucesivamente la Lógica Default con Especificidad y las modificaciones introducidas reemplazando algunas de las definiciones de Brewka. Brevemente se describe la implementación del sistema resultante. El formalismo de Rescher se supone conocido y no será presentado aquí.
Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Implementación de Disputación
Lógica Default - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
.jpg)
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/24338
Ver los metadatos del registro completo
| id |
SEDICI_49751e0a86053913c49b9da78cfcbbdf |
|---|---|
| oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/24338 |
| network_acronym_str |
SEDICI |
| repository_id_str |
1329 |
| network_name_str |
SEDICI (UNLP) |
| spelling |
Una implementación de disputación basada en lógica defaultVaucheret, Claudio A.Parra, GerardoCiencias InformáticasARTIFICIAL INTELLIGENCEImplementación de DisputaciónLógica DefaultEn [2] Gerhard Brewka realizó una reconstrucción de la Teoría de Disputación Formal de Nicholas Rescher [5]. En su trabajo, Brewka completó la formalización de la presentación de Dialectics: A Controversy-Oriented Approach to the Theory 01 Knowledge. El formalismo no..monótono que uti~izó para ello es una Logica Default con Especificidad)[l], denominada SDL, que es una variante de la Lógica Default de Reiter[4] que hace preferencia de reglas default más específicas sobre otras más generales. SDL genera un orden parcial entre las reglas default para modelar la especificidad, y lo utiliza para generar las extensiones de las teorías. Para una misma teoría, SDL genera menos extensiones que la Lógica Default de Reiter pues el orden parcial entre las reglas restringe el número de extensiones posibles solo a aquellas que no violan el orden de especificidad entre las reglas. En este trabajo se describen sucesivamente la Lógica Default con Especificidad y las modificaciones introducidas reemplazando algunas de las definiciones de Brewka. Brevemente se describe la implementación del sistema resultante. El formalismo de Rescher se supone conocido y no será presentado aquí.Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI)1995-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf563-572http://sedici.unlp.edu.ar/handle/10915/24338spainfo: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-09-29T10:55:49Zoai:sedici.unlp.edu.ar:10915/24338Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:55:50.254SEDICI (UNLP) - Universidad Nacional de La Platafalse |
| dc.title.none.fl_str_mv |
Una implementación de disputación basada en lógica default |
| title |
Una implementación de disputación basada en lógica default |
| spellingShingle |
Una implementación de disputación basada en lógica default Vaucheret, Claudio A. Ciencias Informáticas ARTIFICIAL INTELLIGENCE Implementación de Disputación Lógica Default |
| title_short |
Una implementación de disputación basada en lógica default |
| title_full |
Una implementación de disputación basada en lógica default |
| title_fullStr |
Una implementación de disputación basada en lógica default |
| title_full_unstemmed |
Una implementación de disputación basada en lógica default |
| title_sort |
Una implementación de disputación basada en lógica default |
| dc.creator.none.fl_str_mv |
Vaucheret, Claudio A. Parra, Gerardo |
| author |
Vaucheret, Claudio A. |
| author_facet |
Vaucheret, Claudio A. Parra, Gerardo |
| author_role |
author |
| author2 |
Parra, Gerardo |
| author2_role |
author |
| dc.subject.none.fl_str_mv |
Ciencias Informáticas ARTIFICIAL INTELLIGENCE Implementación de Disputación Lógica Default |
| topic |
Ciencias Informáticas ARTIFICIAL INTELLIGENCE Implementación de Disputación Lógica Default |
| dc.description.none.fl_txt_mv |
En [2] Gerhard Brewka realizó una reconstrucción de la Teoría de Disputación Formal de Nicholas Rescher [5]. En su trabajo, Brewka completó la formalización de la presentación de Dialectics: A Controversy-Oriented Approach to the Theory 01 Knowledge. El formalismo no..monótono que uti~izó para ello es una Logica Default con Especificidad)[l], denominada SDL, que es una variante de la Lógica Default de Reiter[4] que hace preferencia de reglas default más específicas sobre otras más generales. SDL genera un orden parcial entre las reglas default para modelar la especificidad, y lo utiliza para generar las extensiones de las teorías. Para una misma teoría, SDL genera menos extensiones que la Lógica Default de Reiter pues el orden parcial entre las reglas restringe el número de extensiones posibles solo a aquellas que no violan el orden de especificidad entre las reglas. En este trabajo se describen sucesivamente la Lógica Default con Especificidad y las modificaciones introducidas reemplazando algunas de las definiciones de Brewka. Brevemente se describe la implementación del sistema resultante. El formalismo de Rescher se supone conocido y no será presentado aquí. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Red de Universidades con Carreras en Informática (RedUNCI) |
| description |
En [2] Gerhard Brewka realizó una reconstrucción de la Teoría de Disputación Formal de Nicholas Rescher [5]. En su trabajo, Brewka completó la formalización de la presentación de Dialectics: A Controversy-Oriented Approach to the Theory 01 Knowledge. El formalismo no..monótono que uti~izó para ello es una Logica Default con Especificidad)[l], denominada SDL, que es una variante de la Lógica Default de Reiter[4] que hace preferencia de reglas default más específicas sobre otras más generales. SDL genera un orden parcial entre las reglas default para modelar la especificidad, y lo utiliza para generar las extensiones de las teorías. Para una misma teoría, SDL genera menos extensiones que la Lógica Default de Reiter pues el orden parcial entre las reglas restringe el número de extensiones posibles solo a aquellas que no violan el orden de especificidad entre las reglas. En este trabajo se describen sucesivamente la Lógica Default con Especificidad y las modificaciones introducidas reemplazando algunas de las definiciones de Brewka. Brevemente se describe la implementación del sistema resultante. El formalismo de Rescher se supone conocido y no será presentado aquí. |
| publishDate |
1995 |
| dc.date.none.fl_str_mv |
1995-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/24338 |
| url |
http://sedici.unlp.edu.ar/handle/10915/24338 |
| 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 563-572 |
| 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_ |
1844615817995485184 |
| score |
13.069144 |