Nonmonotonic Reasoning Based on Incomplete 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
|
|
|
Nonmonotonic Reasoning Based on Incomplete Logic
|
| Id. |
46616020 |
| Idioma |
inglés
|
| Titulo |
Nonmonotonic Reasoning Based on Incomplete Logic |
| Autor(es) |
Tuan-Fang Fan Peng
I-peng Lin
Churn-jung Liau
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.2888
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
. What characterizes human reasoning is the ability of dealing with incomplete information. Incomplete logic is developed for modeling incomplete knowledge. The most distinctive feature of incomplete logic is its semantics. This is an alternative presentation of partial semantics. In this paper, we will introduce the general notion of incomplete logic(ICL), compare it with partial logic, and give the resolution method for it. We will also show how ICL can be applied to nonmonotonic reasoning. We define nonmonotonic derivation as monotonic derivation in ICL from the database and some consistent assumptions. The mechanism of ICL makes it easy to assert the consistency of an assumption without asserting the assumption itself. KEYWORDS: Partial Logic, Incomplete Logic, Default Reasoning, Circumscription, Autoepistemic Reasoning Introduction Traditional deductive logics are always monotonic: Adding new premises will never invalidate old conclusions, i.e. the set of conclusions increases m...
|
| Tipo |
application/postscript
|
| Palabras clave |
Partial Logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.iis.sinica.edu.tw/~liaucj/liaucj/../publications/j006.ps
[References] 10.1.1.29.5268
|
| Fecha de contribución |
31-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
