Combining Default Logic and Autoepistemic 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
|
|
|
Combining Default Logic and Autoepistemic Logic
|
| Id. |
41869240 |
| Idioma |
inglés
|
| Titulo |
Combining Default Logic and Autoepistemic Logic |
| Autor(es) |
Choh Man Teng
|
| Localización |
http://citeseer.ist.psu.edu/433812.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
When we work with information from multiple sources, the formats of the knowledge
bases may not be uniform. It would be desirable to be able to combine a knowledge base
of default rules with one containing autoepistemic formulas. Previous works on relating
default logic and autoepistemic logic mostly impose some constraints on autoepistemic
logic, and thus are not suitable for combining the two logics. We first present a fixed
point formulation of autoepistemic logic analogous to that of default logic. Then we
introduce a possible world framework with a partition structure, which corresponds to
our intuitive notion of accessibility as linking alternate "possible" worlds. We show
that both default logic and autoepistemic logic can be characterized using this common
framework, which is important for developing a semantics applicable to the two logics,
both separately and combined. We show one way of integrating the two logics to
produce hybrid extensions, and provide both a sy...
|
| Tipo |
ps
|
| Palabras clave |
Choh Man Teng Combining Default Logic and Autoepistemic 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] http://www.cs.rochester.edu/u/teng/pubs/pricai96.ps
[References] oai:CiteSeerPSU:65350
|
| 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.
|
|
|
|
