Automated theorem proving in mathematics

Pastre, Dominique

doi:10.1007/bf01530801

Cited by 6 publications

(4 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…V. Lenin once said intelligent idealism is better than stupid materialism 4 , and the same holds for AI philosophy: an intelligent philosopher is better than a silly expert, and an intelligent expert is better than a foolish philosopher. The philosophy of AI can be traced back to Turing.…”

Section: Opposing Views Among Professional Philosophersmentioning

confidence: 99%

See 1 more Smart Citation

A Historical Review and Philosophical Examination of the two Paradigms in Artificial Intelligence Research

Youheng

2023

EJAI

View full text Add to dashboard Cite

Artificial intelligence (AI) is a field that has undergone significant changes and challenges over time. This paper reviews the historical development of AI and representative philosophical thinking, and also considers the methodology and applications of AI, and anticipates its continued advancement. It discusses two main paradigms: symbolism and connectionism, which differ in how they explain and implement intelligence through symbols or artificial neural networks. However, neither paradigm is the final answer to AI research but rather reflects the best answer at a given time. The paper also analyzes the shortcomings of both paradigms from a philosophical perspective and argues that the most fundamental philosophical issue therein is understanding the difference between biological and artificial intelligence.

show abstract

Section: Opposing Views Among Professional Philosophersmentioning

confidence: 99%

“…Research ATP is the intellectual origin and theoretical foundation of symbolic AI [4]. It originated in logic and was designed primarily to automate logical calculations.…”

Section: A 1950-1960 Automatic Theorem Proving's Initialmentioning

confidence: 99%

A Historical Review and Philosophical Examination of the two Paradigms in Artificial Intelligence Research

Youheng

2023

EJAI

View full text Add to dashboard Cite

show abstract

“…It may also receive knowledge and know-how for a specific domain from a human user; see [Pas89] and [Pas93]. These two possibilities are not used while working with the TPTP Library.…”

Section: Strategiesmentioning

confidence: 99%

CASC-J4 The 4th IJCAR ATP System Competition

Sutcliffe

Automated Reasoning

View full text Add to dashboard Cite

The CADE ATP System Computer (CASC) evaluates the performance of sound, fully automatic, classical first-order logic, ATP systems. The evaluation is in terms of the number of problems solved, the number of acceptable proofs and models produced, and the average runtime for problems solved, in the context of a bounded number of eligible problems chosen from the TPTP problem library, and a specified time limit for each solution attempt. The 4th IJCAR ATP System Competition (CASC-J4) was held on 13th August 2008. The design of the competition and it's rules, and information regarding the competing systems, are provided in this report.

show abstract

“…The system is also able to work with second order statements. It may also receive knowledge and know-how for a specific domain from a human user; see [68] and [69]. These two possibilities are not used while working with the TPTP Library.…”

Section: Strategiesmentioning

confidence: 99%

Proceedings of the 6th IJCAR ATP System Competition (CASC-J6)

Sutcliffe¹

EPiC Series in Computing

View full text Add to dashboard Cite

The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. The evaluation is in terms of the number of problems solved, the number of acceptable proofs and models produced, and the average runtime for problems solved, in the context of a bounded number of eligible problems chosen from the TPTP problem library, and specified time limits on solution attempts. The 6th IJCAR ATP System Competition (CASC-J6) was held on 24th and 28th June 2012. The design of the competition and its rules, and information regarding the competing systems, are provided in this report.

show abstract

Automated theorem proving in mathematics

Cited by 6 publications

References 9 publications

A Historical Review and Philosophical Examination of the two Paradigms in Artificial Intelligence Research

A Historical Review and Philosophical Examination of the two Paradigms in Artificial Intelligence Research

CASC-J4 The 4th IJCAR ATP System Competition

Proceedings of the 6th IJCAR ATP System Competition (CASC-J6)

Contact Info

Product

Resources

About