GLIDER es un lenguaje para simulacón de sistemas continuos o discretos. El
sistema
a simular es conceptualizado como una colección de subsistemas que
intercambian información de diferentes maneras. Los subsistemas pueden
guardar, transformar, transmitir, crear y eliminar información.
|
|
Gloria es una implementación de un modelo de agente basado en lógica,tal como describe Bob Kowalski en su nuevo libro (en formato HTML).
El componente principal de Gloria en un programa Prolog que implementa
el procedimiento de prueba si y solo si de Fung y Kowalski, para
procesar metas y submetas de agentes y generar planes con las acciones
a ser ejecutadas por los agentes. |
|
|