A Nonmonotonic Observation Logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
A Nonmonotonic Observation Logic
|
| Id. |
41659025 |
| Idioma |
inglés
|
| Titulo |
A Nonmonotonic Observation Logic |
| Autor(es) |
Frans Voorbraak
|
| Localización |
http://citeseer.ist.psu.edu/223909.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
A variant of Reiter's default logic is proposed as a logic for reasoning with
(defeasible) observations. Traditionally, default rules are assumed to represent
generic information and the facts are assumed to represent specific information
about the situation, but in this paper, the specific information derives from defeasible
observations represented by (normal free) default rules, and the facts represent
(hard) background knowledge. Whenever the evidence underlying some
observation is more refined than the evidence underlying another observation,
this is modelled by means of a priority between the default rules representing
the observations. We thus arrive at an interpretation of prioritized normal free
default logic as an observation logic, and we propose a semantics for this observation
logic. Finally, we discuss how the proposed observation logic relates to the
multiple extension problem and the problem of sensor fusion.
1 Introduction
In this paper we propose a variant of Reiter'...
|
| Tipo |
ps
|
| Palabras clave |
Frans Voorbraak A Nonmonotonic Observation Logic
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] ftp://ftp.fwi.uva.nl/pub/theory/illc/researchreports/LP-1997-09.text.ps.gz
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
