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

Article Catalan; Valencian OPEN
Coderschi, Roberto;
  • Publisher: Mathware & soft computing
  • Journal: Mathware & soft computing
  • Subject: :68 Computer science::68T Artificial intelligence [Classificació AMS] | Teoremes -- Deducció i demostració | Heuristic search paradigm | Sistemes experts (Informàtica) | Heurística | Robinson's resolution principle
    acm: GeneralLiterature_MISCELLANEOUS

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 communi... View more
Share - Bookmark