Backward Logic Tactics
|
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
|
|
|
Backward Logic Tactics
|
| Id. |
41921039 |
| Idioma |
inglés
|
| Titulo |
Backward Logic Tactics |
| Autor(es) |
Alessandro Armando
|
| Localización |
http://citeseer.ist.psu.edu/485492.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Introduction
The notion of logic tactic has been introduced in [GT94] to express and
execute control strategies within a declarative metatheory. In this note we
adapt and extend the notion of logic tactic by (i) providing a formalization
of the backward primitive inference rules (let MT be the corresponding
metatheory), (ii) introducing the -abstraction operator and (iii) providing
the formalization of backward tacticals (let MT tac be the resulting metatheory)
. We argue that the -abstraction operation is necessary to express non
trivial control strategies). Finally we prove that MT tac is a conservative
extension of MT .
2 Backward logic tactics
Object level rules are modelled as partial functions ae : S Theta Exp
m |
| Tipo |
ps
|
| Palabras clave |
Alessandro Armando Backward Logic Tactics
|
| 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://sra.itc.it/tr/Arm96.ps.gz
[References] oai:CiteSeerPSU:349517
|
| 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.
|
|
|
|
