RA2010: Visión panorámica del razonamiento automático

PorJosé A. Alonso

Hoy ha comenzado el curso de Razonamiento automático del Máster Universitario en Lógica, Computación e Inteligencia Artificial de la Universidad de Sevilla.

En la clase de hoy se ha presentado la asignatura y se ha comentado una visión panorámica del razonamiento automático a través de ejemplos con los sistemas de razonamiento Otter/Mace, ACL2, PVS e Isabelle/HOL.
Read More “RA2010: Visión panorámica del razonamiento automático”

Presentación de sistemas de razonamiento

PorJosé A. Alonso

Esta semana se ha celebrado un curso en la Facultad de Matemáticas sobre Software libre frente a software comercial: posibilidades y aplicaciones a la docencia. Dentro del curso hice una presentación de sistemas de razonamiento automático. En la presentación comento brevemente cómo trabajar con distintos sistemas de razonamiento (Otter/MACE, ACL2, PVS e Isabelle/Isar) usados por nuestro grupo y algunas aplicaciones de los distintos sistemas.