Programación lógica y cambio de teoría
NAGIOS: RODERIC FUNCIONANDO

Programación lógica y cambio de teoría

Repositori DSpace/Manakin

Programación lógica y cambio de teoría

Mostra el registre complet de l'element

Visualització       (58.11Kb)

Exportar a Refworks
    
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.

    Casabán Moya, E; Lorente Tallada, J. M.; Ubeda Rives, J. P. (1998). Programación lógica y cambio de teoría. En: XIIè Congrés Valencià de Filosofia: Alcoi, 9,10, i 11 d'octubre de 1997. Societat de Filosofia del País Valencià (col.), 1998, ISBN 84-7274-233-4, 125-133
distribuït sota llicència Creative Commons de Reconeixement-NoComercial 3.0 No adaptada

Aquest element apareix en la col·lecció o col·leccions següent(s)

Mostra el registre complet de l'element

Cerca a RODERIC

Cerca avançada

Visualitza

Estadístiques