Object Specification 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
|
|
|
Object Specification Logic
|
| Id. |
41582615 |
| Idioma |
inglés
|
| Titulo |
Object Specification Logic |
| Autor(es) |
Cristina Sernadas
|
| Localización |
http://citeseer.ist.psu.edu/147678.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
A logic for specifying and reasoning about object classes and their instances
(aspects) is presented and illustrated. This logic is an extension
of a rather standard linear temporal, many-sorted, first-order predicate
logic with equality. The extensions where designed to be as simple as
possible while supporting the envisaged locality of arguments, object specialization
and object aggregation. Objects are specified through their
aspects. Each aspect establishes a local vocabulary (signature). The logic
works at two levels: first, we can specify and prove assertions about a
given object aspect in isolation (local reasoning), eg persons, or patients,
or cars; second, we can specify interaction constraints and make inferences
between aspects within the same community of objects (global reasoning),
eg carry the theorems of persons onto patients (specialization inheritance),
or carry the theorems of persons onto the aggregations of persons and cars
(incorporation inheritance). Some reflecti...
|
| Tipo |
ps
|
| Palabras clave |
Cristina Sernadas Object Specification 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.math.ist.utl.pt/ftp/pub/SernadasA/95-SSC-osl.ps
[References] oai:CiteSeerPSU:363408
[References] oai:CiteSeerPSU:136178
[References] oai:CiteSeerPSU:49587
[References] oai:CiteSeerPSU:327240
[References] oai:CiteSeerPSU:331363
[References] oai:CiteSeerPSU:358499
[References] oai:CiteSeerPSU:522396
[References] oai:CiteSeerPSU:136575
[References] oai:CiteSeerPSU:70573
[References] oai:CiteSeerPSU:352000
|
| 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.
|
|
|
|
