Explicit Substitution into Action
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Explicit Substitution into Action
|
| Id. |
47219218 |
| Idioma |
inglés
|
| Titulo |
Explicit Substitution into Action |
| Autor(es) |
Non-Monotone Logic For
Marek A. Bednarczyk
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.205
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
A logic LP # for reasoning about change is presented. The logic, an extension of the logic of predicates with equalitu, is based on the idea that explicit substitutions can be seen as atomic formulae describing basic change of the state of a system. The logic is substructural: non-monotone and non-commutative. Its Platonic, i.e., predicate part is governed by the additive connectives, while the identity substitution and the composition of substitutions are multiplicative truth and conjunction, respectively. Potential applications of the logic are also discussed in connection to the "Frame Problem". In particular, a logical framework is presented in which the judgments relate actions with their e#ects---the latter described by formulae of LP # .
|
| Tipo |
application/postscript
|
| Palabras clave |
Logic of predicates
|
| 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] ftp://ftp.ipipan.gda.pl/marek/kropki942.ps.gz
[References] 10.1.1.85.5082
[References] 10.1.1.116.2392
[References] 10.1.1.49.9332
[References] 10.1.1.34.7448
[References] 10.1.1.132.6410
[References] 10.1.1.28.9128
[References] 10.1.1.80.2110
[References] 10.1.1.55.27
|
| Fecha de contribución |
27-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
