- Inici
- Investigació
- e-prints
- 11 - Lógica
- Visualitza element
IMPORTANT: Aquest repositori està en una versió antiga des del 3/12/2023. La nova instal.lació está en https://roderic.uv.es/
Programación lógica y cambio de teoría
Mostra el registre complet de l'element
|
Visualització
|
| Casaban Moya, Enric; Lorente Tallada, Juan Manuel; Ubeda Rives, José Pedro | |
| Aquest document és un/a Comunicació/Ponència, creat/da en: 1998 | |
| EN este trabajo analizamos el modelo AGM de cambio de Teoría desde la perspectiva del lenguaje PROLOG y presentamos algunas estrategias para realizar dichos cambios. El trabajo se divide en tres apartados. En el primero ofrecemos una panorámica de los modelos de cambio de teoría. En el segundo establecemos los presupuestos básicos para aplicar dichos modelos sobre bases de conocimientos y en el tercero describimos una estrategia para el análisis de dichos cambios. El instrumento formal sobre el que se materializan estas ideas es el lenguaje PROLOG. | |
| Veure al catàleg Trobes |
Aquest element apareix en la col·lecció o col·leccions següent(s)
-
11 - Lógica [13]