A paradigm for reasoning by analogy
From MaRDI portal
Publication:2549584
DOI10.1016/0004-3702(71)90008-7zbMath0227.68041OpenAlexW2071523700MaRDI QIDQ2549584
Publication date: 1971
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(71)90008-7
Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Artificial intelligence (68T99)
Related Items
Proof by analogy in mural, Octopus: combining learning and parallel search, Computational approaches to analogical reasoning: A comparative analysis, Inductive reasoning on recursive equations, Some ideas of semantic memory in automatic learning of heuristics, Theorem proving with abstraction, Approximate reasoning by analogy to answer null queries, Proving theorems by reuse, Deduction as an Engineering Science, From analogical proportion to logical proportions, Analogy in Automated Deduction: A Survey, An application of learning to robotic planning, Non-resolution theorem proving, Handling Analogical Proportions in Classical Logic and Fuzzy Logics Settings, Building proofs or counterexamples by analogy in a resolution framework, Strategies of the search for derivation of statements with restricted quantifiers
Cites Work
