Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda  
INICIO | 24 de mayo de 2024
  

The role of heuristics in automated theorem proving. J.A. Robinson's resolution principle.

Título inglés The role of heuristics in automated theorem proving. J.A. Robinson's resolution principle.
Título español El papel de la heurística en la demostración automatizada de teoremas. El principio de resolución de J.A. Robinson.
Autor/es Cordeschi, Roberto
Organización Univ. Salerno, Fisciano (Salerno), Italia
Revista 1134-5632
Publicación 1996, 3 (1-2): 281-293, 30 Ref.
Tipo de documento articulo
Idioma Inglés
Resumen inglés The aim of this paper is to show how J.A. Robinson's resolution principle was perceived and discussed in the AI community between the mid sixties and the first seventies. During this time the so called heuristic search paradigm was still influential in the AI community, and both resolution principle and certain resolution based, apparently human-like, search strategies were matched with those problem solving heuristic procedures which were representative of the AI heuristic search paradigm.
Clasificación UNESCO 110211 ; 120304
Palabras clave español Inteligencia artificial ; Motores de inferencia ; Teoremas ; Evolución histórica
Icono pdf Acceso al artículo completo
Equipo DML-E
Instituto de Ciencias Matemáticas (ICMAT - CSIC)
rmm()icmat.es