Pruning multi-extensions via exceptions
- Autores
- Pequeno, Marcelino
- Año de publicación
- 1995
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- The main contribution of this paper is a method for pruning multi-extensions of a defeasible theory by using the exceptions to order the defeasible fonnulae. We construct a defeasible logic -- DEFEASIBLE WGIC WrrH EXCEFrIONS FIRST(DLEF) -- in which extensions are buílt taking into account the order on the defeasible fonnu1ae induced by the exceptions. This device prompts DLEF as a powerful tool to formalize common sense reasoning. It is on the formalization of the frame problem that we best evaluate the original features of DLEF. DLEF allows the formalization of the persistence axiom in the temporal projection problem in a stepwise way. That is, the persistence axiom is applied locally after every action is performed. Thus, if no exception to sorne properties is present while an action is performed the persistence axiom is used to conclude that those properties will remain unaltered in the resulting situation. Therefore, no property at the present is changed just for the sake of not changing sorne other properties in the future. The only reason for changes in properties are explicit changes provoked by the action being perfonned at the moment.
Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
Pruning multi-extensions
exceptions
ARTIFICIAL INTELLIGENCE - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/24333
Ver los metadatos del registro completo
id |
SEDICI_283b77353fc72e5ab6fd222494e3c13c |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/24333 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Pruning multi-extensions via exceptionsPequeno, MarcelinoCiencias InformáticasPruning multi-extensionsexceptionsARTIFICIAL INTELLIGENCEThe main contribution of this paper is a method for pruning multi-extensions of a defeasible theory by using the exceptions to order the defeasible fonnulae. We construct a defeasible logic -- DEFEASIBLE WGIC WrrH EXCEFrIONS FIRST(DLEF) -- in which extensions are buílt taking into account the order on the defeasible fonnu1ae induced by the exceptions. This device prompts DLEF as a powerful tool to formalize common sense reasoning. It is on the formalization of the frame problem that we best evaluate the original features of DLEF. DLEF allows the formalization of the persistence axiom in the temporal projection problem in a stepwise way. That is, the persistence axiom is applied locally after every action is performed. Thus, if no exception to sorne properties is present while an action is performed the persistence axiom is used to conclude that those properties will remain unaltered in the resulting situation. Therefore, no property at the present is changed just for the sake of not changing sorne other properties in the future. The only reason for changes in properties are explicit changes provoked by the action being perfonned at the moment.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/pdf505-514http://sedici.unlp.edu.ar/handle/10915/24333spainfo: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/24333Institucionalhttp://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.239SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Pruning multi-extensions via exceptions |
title |
Pruning multi-extensions via exceptions |
spellingShingle |
Pruning multi-extensions via exceptions Pequeno, Marcelino Ciencias Informáticas Pruning multi-extensions exceptions ARTIFICIAL INTELLIGENCE |
title_short |
Pruning multi-extensions via exceptions |
title_full |
Pruning multi-extensions via exceptions |
title_fullStr |
Pruning multi-extensions via exceptions |
title_full_unstemmed |
Pruning multi-extensions via exceptions |
title_sort |
Pruning multi-extensions via exceptions |
dc.creator.none.fl_str_mv |
Pequeno, Marcelino |
author |
Pequeno, Marcelino |
author_facet |
Pequeno, Marcelino |
author_role |
author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas Pruning multi-extensions exceptions ARTIFICIAL INTELLIGENCE |
topic |
Ciencias Informáticas Pruning multi-extensions exceptions ARTIFICIAL INTELLIGENCE |
dc.description.none.fl_txt_mv |
The main contribution of this paper is a method for pruning multi-extensions of a defeasible theory by using the exceptions to order the defeasible fonnulae. We construct a defeasible logic -- DEFEASIBLE WGIC WrrH EXCEFrIONS FIRST(DLEF) -- in which extensions are buílt taking into account the order on the defeasible fonnu1ae induced by the exceptions. This device prompts DLEF as a powerful tool to formalize common sense reasoning. It is on the formalization of the frame problem that we best evaluate the original features of DLEF. DLEF allows the formalization of the persistence axiom in the temporal projection problem in a stepwise way. That is, the persistence axiom is applied locally after every action is performed. Thus, if no exception to sorne properties is present while an action is performed the persistence axiom is used to conclude that those properties will remain unaltered in the resulting situation. Therefore, no property at the present is changed just for the sake of not changing sorne other properties in the future. The only reason for changes in properties are explicit changes provoked by the action being perfonned at the moment. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Red de Universidades con Carreras en Informática (RedUNCI) |
description |
The main contribution of this paper is a method for pruning multi-extensions of a defeasible theory by using the exceptions to order the defeasible fonnulae. We construct a defeasible logic -- DEFEASIBLE WGIC WrrH EXCEFrIONS FIRST(DLEF) -- in which extensions are buílt taking into account the order on the defeasible fonnu1ae induced by the exceptions. This device prompts DLEF as a powerful tool to formalize common sense reasoning. It is on the formalization of the frame problem that we best evaluate the original features of DLEF. DLEF allows the formalization of the persistence axiom in the temporal projection problem in a stepwise way. That is, the persistence axiom is applied locally after every action is performed. Thus, if no exception to sorne properties is present while an action is performed the persistence axiom is used to conclude that those properties will remain unaltered in the resulting situation. Therefore, no property at the present is changed just for the sake of not changing sorne other properties in the future. The only reason for changes in properties are explicit changes provoked by the action being perfonned at the moment. |
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/24333 |
url |
http://sedici.unlp.edu.ar/handle/10915/24333 |
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 505-514 |
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_ |
1844615817674620928 |
score |
13.070432 |