Linear, Branching Time and Joint Closure Semantics for Temporal 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
|
|
|
Linear, Branching Time and Joint Closure Semantics for Temporal Logic
|
| Id. |
46223013 |
| Idioma |
inglés
|
| Titulo |
Linear, Branching Time and Joint Closure Semantics for Temporal Logic |
| Autor(es) |
Joeri Engelfriet
Jan Treur
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.7393
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often used for this purpose: linear and branching time models. In this paper a third approach, based on socalled joint closure models, is studied using models which incorporate all possible behaviour in one model. Relations between this approach and the other two are studied. In order to define constructions needed to relate branching time models, appropriate algebraic notions are defined (in a category theoretical manner) and exploited. In particular, the notion of joint closure is used to construct one model subsuming a set of models. Using this universal algebraic construction we show that a set of linear models can be merged to a unique branching time model. Logical properties of the described algebraic constructions are studied. The proposed approach has been successfully aplied to obtain an appropriate semantics for nonmonotonic reasoning processes based on default logic. References are discussed that show the details of these applications. Keywords: temporal logic, semantics, joint closure, linear time, branching time 1
|
| Tipo |
application/postscript
|
| Palabras clave |
temporal 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.cs.vu.nl/~wai/Papers/JoLLI02LvsB.ps
[References] 10.1.1.55.9427
[References] 10.1.1.38.6267
[References] 10.1.1.35.28
|
| Fecha de contribución |
22-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
