Una implementación de disputación basada en lógica default

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

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Vaucheret, Claudio A., Parra, Gerardo
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	1995
Materias:	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Implementación de Disputación Lógica Default
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/24338
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-24338
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Implementación de Disputación Lógica Default
spellingShingle	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Implementación de Disputación Lógica Default Vaucheret, Claudio A. Parra, Gerardo Una implementación de disputación basada en lógica default
topic_facet	Ciencias Informáticas ARTIFICIAL INTELLIGENCE Implementación de Disputación Lógica Default
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í.
format	Objeto de conferencia Objeto de conferencia
author	Vaucheret, Claudio A. Parra, Gerardo
author_facet	Vaucheret, Claudio A. Parra, Gerardo
author_sort	Vaucheret, Claudio A.
title	Una implementación de disputación basada en 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
publishDate	1995
url	http://sedici.unlp.edu.ar/handle/10915/24338
work_keys_str_mv	AT vaucheretclaudioa unaimplementaciondedisputacionbasadaenlogicadefault AT parragerardo unaimplementaciondedisputacionbasadaenlogicadefault
bdutipo_str	Repositorios
_version_	1764820467007356928

Una implementación de disputación basada en lógica default

Ejemplares similares