El dominio más grande dentro de la inteligencia artificial lógica es la planificación. El problema restricto de la planificación consiste en encontrar de antemano una secuencia finita de acciones que conducen hacia la meta. En 1969 propuse el primer programa comprobador o verificador de teoremas adaptado a la planificación. Considero que la planificación es el problema reverso de la proyección.
3.nov.2000
Pulsar tecla de vuelta