Pruning multi-extensions via exceptions

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Pequeno, Marcelino
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1995
Materias:
Ciencias Informáticas
Pruning multi-extensions
exceptions
ARTIFICIAL INTELLIGENCE
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24333
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24333
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
Pruning multi-extensions
exceptions
ARTIFICIAL INTELLIGENCE
spellingShingle Ciencias Informáticas
Pruning multi-extensions
exceptions
ARTIFICIAL INTELLIGENCE
Pequeno, Marcelino
Pruning multi-extensions via exceptions
topic_facet Ciencias Informáticas
Pruning multi-extensions
exceptions
ARTIFICIAL INTELLIGENCE
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.
format Objeto de conferencia
Objeto de conferencia
author Pequeno, Marcelino
author_facet Pequeno, Marcelino
author_sort Pequeno, Marcelino
title Pruning multi-extensions via exceptions
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
publishDate 1995
url http://sedici.unlp.edu.ar/handle/10915/24333
work_keys_str_mv AT pequenomarcelino pruningmultiextensionsviaexceptions
bdutipo_str Repositorios
_version_ 1764820467003162625

Ejemplares similares