Nonmonotonic 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 Logic
|
| Id. |
41911170 |
| Idioma |
inglés
|
| Titulo |
Nonmonotonic Logic |
| Autor(es) |
John F. Horty
|
| Localización |
http://citeseer.ist.psu.edu/475667.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Introduction
The goal of a logic is to dene a consequence relation between a set of formulas
and, in most cases, an individual formula A. This denition generally takes one of
two forms. From a proof theoretic standpoint A is said to be a consequence of
whenever there is a deduction of A from the set , viewed as a set of premises; from
a model theoretic standpoint, A is said to be a consequence of whenever A holds
in every model that satises each formula in .
Although the detailed inferences sanctioned by particular logics vary widely
depending on the connectives present and the properties attributed to them, certain
abstract features of the consequence relation are remarkably stable across logics.
Among these is the property of monotonicity: if A is a consequence of , then A is a
consequence of [ fBg. What this means is that a
|
| Tipo |
ps
|
| Palabras clave |
John F. Horty Nonmonotonic 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.umiacs.umd.edu/users/horty/articles/2001-nonmon.ps
[References] oai:CiteSeerPSU:116096
[References] oai:CiteSeerPSU:351230
|
| 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.
|
|
|
|
