research-article

Free access

Empirical explorations of the logic theory machine: a case study in heuristic

Authors:

A. Newell,

J. C. Shaw,

H. A. SimonAuthors Info & Claims

IRE-AIEE-ACM '57 (Western): Papers presented at the February 26-28, 1957, western joint computer conference: Techniques for reliability

Pages 218 - 230

https://doi.org/10.1145/1455567.1455605

Published: 26 February 1957 Publication History

PDF eReader

Abstract

This paper is a case study in problem solving, representing part of a program of research on complex information-processing systems. We have specified a system for finding proofs of theorems in elementary symbolic logic, and by programming a computer to these specifications, have obtained empirical data on the problem-solving process in elementary logic. The program is called the Logic Theory Machine (LT); it was devised to learn how it is possible to solve difficult problems such as proving mathematical theorems, discovering scientific laws from data, playing chess, or understanding the meaning of English prose.

Cited By

View all

Botana FRecio TVélez M(2024)On Using GeoGebra and ChatGPT for Geometric DiscoveryComputers10.3390/computers1308018713:8(187)Online publication date: 30-Jul-2024
https://doi.org/10.3390/computers13080187
Liu XLiu HYi XWang J(2024)LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair✱Proceedings of the 15th Asia-Pacific Symposium on Internetware10.1145/3671016.3674823(21-30)Online publication date: 24-Jul-2024
https://dl.acm.org/doi/10.1145/3671016.3674823
Pantsar M(2024)Theorem proving in artificial neural networks: new frontiers in mathematical AIEuropean Journal for Philosophy of Science10.1007/s13194-024-00569-614:1Online publication date: 20-Jan-2024
https://doi.org/10.1007/s13194-024-00569-6
Show More Cited By

Recommendations

Proof theory of Nelson's paraconsistent logic: A uniform perspective

The aim of this paper is to obtain a theoretical foundation of inconsistency-tolerant (or paraconsistent) reasoning by presenting a comprehensive study of the structural proof-theory of David Nelson's paraconsistent logic. Inconsistency handling has a ...
Proof Theory for First Order Łukasiewicz Logic
TABLEAUX '07: Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods

An approximate Herbrand theorem is proved and used to establish Skolemization for first-order ï ukasiewicz logic. Proof systems are then defined in the framework of hypersequents. In particular, extending a hypersequent calculus for propositional ï ...
Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic
Logical Foundations of Computer Science
Abstract
Artemov and Protopopescu proposed intuitionistic epistemic logic (IEL) to capture an intuitionistic conception of knowledge. By establishing completeness, they provided the base for a meta-theoretic investigation of IEL, which was continued by ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

IRE-AIEE-ACM '57 (Western): Papers presented at the February 26-28, 1957, western joint computer conference: Techniques for reliability

February 1957

266 pages

ISBN:9781450378611

DOI:10.1145/1455567

Conference Chair:
M. M. Astrahan
International Business Machines Corp., San Jose, California

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 February 1957

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

102
Total Citations
View Citations
1,910
Total Downloads

Downloads (Last 12 months)552
Downloads (Last 6 weeks)69

Reflects downloads up to 19 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Botana FRecio TVélez M(2024)On Using GeoGebra and ChatGPT for Geometric DiscoveryComputers10.3390/computers1308018713:8(187)Online publication date: 30-Jul-2024
https://doi.org/10.3390/computers13080187
Liu XLiu HYi XWang J(2024)LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair✱Proceedings of the 15th Asia-Pacific Symposium on Internetware10.1145/3671016.3674823(21-30)Online publication date: 24-Jul-2024
https://dl.acm.org/doi/10.1145/3671016.3674823
Pantsar M(2024)Theorem proving in artificial neural networks: new frontiers in mathematical AIEuropean Journal for Philosophy of Science10.1007/s13194-024-00569-614:1Online publication date: 20-Jan-2024
https://doi.org/10.1007/s13194-024-00569-6
Wang GBao HLiu QZhou TWu SHuang TYu ZLu CGong YZhang ZHe S(2024)Brain-inspired artificial intelligence research: A reviewScience China Technological Sciences10.1007/s11431-024-2732-967:8(2282-2296)Online publication date: 30-Jul-2024
https://doi.org/10.1007/s11431-024-2732-9
Ida MIda M(2024)Field Formation of AI and ITA Narrative History of Artificial Intelligence10.1007/978-981-97-0771-3_2(45-92)Online publication date: 3-May-2024
https://doi.org/10.1007/978-981-97-0771-3_2
Ida MIda M(2024)The Dawn and Footprints of the Pioneers: Time Traveling to the Pioneering DaysA Narrative History of Artificial Intelligence10.1007/978-981-97-0771-3_1(1-44)Online publication date: 3-May-2024
https://doi.org/10.1007/978-981-97-0771-3_1
Pallay C(2024)Vom Turing-Test zum General Problem Solver. Die Pionierjahre der künstlichen IntelligenzPhilosophisches Handbuch Künstliche Intelligenz10.1007/978-3-658-19606-6_3(61-80)Online publication date: 15-Sep-2024
https://doi.org/10.1007/978-3-658-19606-6_3
DeBellis MNeches R(2023)Knowledge Representation and The Semantic Web: An Historical Overview of Influences on Emerging ToolsRecent Advances in Computer Science and Communications10.2174/266625581566622052714561016:6Online publication date: Jul-2023
https://doi.org/10.2174/2666255815666220527145610
Copeland B(2023)Early AI in Britain: Turing et al.IEEE Annals of the History of Computing10.1109/MAHC.2023.330066045:3(19-31)Online publication date: 1-Jul-2023
https://doi.org/10.1109/MAHC.2023.3300660
Boden M(2023)An Evaluation of Computational Modeling in Cognitive SciencesThe Cambridge Handbook of Computational Cognitive Sciences10.1017/9781108755610.044(1228-1249)Online publication date: 21-Apr-2023
https://doi.org/10.1017/9781108755610.044
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Proof theory of Nelson's paraconsistent logic: A uniform perspective

Proof Theory for First Order Łukasiewicz Logic

Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic