The role of heuristics in automated theorem proving. J.A. Robinson's resolution principle.
Mathware and Soft Computing (1996)
- Volume: 3, Issue: 1-2, page 281-293
- ISSN: 1134-5632
Access Full Article
top
Abstract
topHow to cite
topCordeschi, Roberto. "The role of heuristics in automated theorem proving. J.A. Robinson's resolution principle.." Mathware and Soft Computing 3.1-2 (1996): 281-293. <http://eudml.org/doc/39079>.
@article{Cordeschi1996,
abstract = {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.},
author = {Cordeschi, Roberto},
journal = {Mathware and Soft Computing},
keywords = {Inteligencia artificial; Motores de inferencia; Teoremas; Evolución histórica},
language = {eng},
number = {1-2},
pages = {281-293},
title = {The role of heuristics in automated theorem proving. J.A. Robinson's resolution principle.},
url = {http://eudml.org/doc/39079},
volume = {3},
year = {1996},
}
TY - JOUR
AU - Cordeschi, Roberto
TI - The role of heuristics in automated theorem proving. J.A. Robinson's resolution principle.
JO - Mathware and Soft Computing
PY - 1996
VL - 3
IS - 1-2
SP - 281
EP - 293
AB - 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.
LA - eng
KW - Inteligencia artificial; Motores de inferencia; Teoremas; Evolución histórica
UR - http://eudml.org/doc/39079
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.