Access the full text.
Sign up today, get DeepDyve free for 14 days.
C. Novaes, Stephen Read (2016)
The Cambridge Companion to Medieval Logic
E. Mamdani, S. Assilian (1999)
An Experiment in Linguistic Synthesis with a Fuzzy Logic ControllerInt. J. Hum. Comput. Stud., 51
J. Lambert (1990)
Neues Organon oder Gedanken über die Erforschung und Bezeichnung des Wahren und dessen Unterscheidung vom Irrtum und Schein
D. Bobrow (1899)
A question-answering system for high school algebra word problems
C. Savage (1967)
The Paradox of the StoneThe Philosophical Review, 76
Y. Bar-Hillel (1963)
Is information retrieval approaching a crisisAmerican Documentation, 14
A. Newell, J. Shaw, H. Simon (1899)
Empirical explorations of the logic theory machine: a case study in heuristic
T. Aquinas, F.R.S.C. Pegis (1975)
Summa Contra Gentiles: Book One: God
Jack Buchanan (1974)
Review of "Computer Models of Thought and Language by Roger C. Schank and Kenneth Mark Colby, eds.", W. H. Freeman & Co., San Francisco, 1973SIGART Newsl., 48
G. Shafer (2018)
Marie-France Bru and Bernard Bru on Dice Games and ContractsStatistical Science, 33
C. Hansen (1985)
Language and logic in ancient China
L. Zadeh (1999)
Fuzzy sets as a basis for a theory of possibilityFuzzy Sets and Systems, 100
M. Georgeff (1983)
Communication and interaction in multi-agent planning
A. Heyting (1956)
Intuitionism: An introduction
L. Cohen (2019)
The Implications of Induction
R. Nevatia, T. Binford (1977)
Description and Recognition of Curved ObjectsArtif. Intell., 8
J. Busquets (2006)
Logique et langage : apports de la philosophie médiévale
J. Weizenbaum (1983)
ELIZA — a computer program for the study of natural language communication between man and machineCommun. ACM, 26
V. Glushkov (1966)
Introduction to Cybernetics.
A. Barr, E. Feigenbaum, C. Roads (1982)
The Handbook of Artificial Intelligence, Volume 1Computer Music Journal, 6
J. Pitrat (1977)
A Chess Combination Program Which Uses PlansArtif. Intell., 8
J. Austin (1975)
How to Do Things with Words: The William James Lectures Delivered at Harvard University in 1955
Gregory Bateson (1972)
Steps to an Ecology of Mind
Gergonne
Analise. Application de la méthode des moindres quarrés à l'interpolation des suites, 6
R. Brooks (1989)
A Robot that Walks; Emergent Behaviors from a Carefully Evolved NetworkNeural Computation, 1
Thierry Martin (2011)
J.-H. Lambert's theory of probable syllogismsInt. J. Approx. Reason., 52
J. Slagle (1963)
A Heuristic Program that Solves Symbolic Integration Problems in Freshman CalculusJ. ACM, 10
W. Jevons
The substitution of similars : the true principle of reasoning : derivedfrom a modification of Aristotle's dictum
N. Nilsson (2009)
The Quest for Artificial Intelligence
W. Woods (1975)
What's in a Link: Foundations for Semantic Networks
G. Giralt, R. Sobek, R. Chatila (1979)
A Multi-level Planning and Navigation System for a Mobile Robot: A First Approach to HILARE
J. Sobel (2003)
Logic and Theism: Index of Names
Norbert Wiener (1988)
The Human Use of Human Beings: Cybernetics and Society
D. Lindley, L. Savage (1955)
The Foundations of StatisticsThe Mathematical Gazette, 57
P. McCorduck (1979)
Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence
V. Rajaraman, V. Bush (1945)
As we may thinkResonance, 5
C. Hartshorne, P. Weiss (1935)
Collected Papers of Charles Sanders PeirceNature, 135
W. Thomson (2005)
An Outline of the Necessary Laws of Thought: A Treatise on Pure and Applied Logic
Saul Kripke (1959)
A completeness theorem in modal logicJournal of Symbolic Logic, 24
G. Boole (2007)
The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning
Augustine Curley (1996)
Augustine's critique of skepticism : a study of Contra academicos
S. Kullback, R. Leibler (1951)
On Information and SufficiencyAnnals of Mathematical Statistics, 22
Richard Whately (1963)
Elements of Rhetoric: Comprising the Substance of the Article in the Encyclopædia Metropolitana with Additions, &c
A. Newell, J. Shaw, H. Simon (1959)
Report on a general problem-solving program
Jens Lemanski (2017)
Periods in the Use of Euler-type DiagramsActa Baltica Historiae et Philosophiae Scientiarum, 5
C. Johanson, D. Londey (1984)
Apuleius and the Square of OppositionPhronesis, 29
J. Teixidor (2003)
Aristote en syriaque : Paul le Perse, logicien du VIe siècle
B. Buchanan, J. Eckroth, Reid Smith (2013)
A Virtual Archive for the History of AIAI Mag., 34
Nicolas Condorcet (2009)
Essai Sur L'Application de L'Analyse a la Probabilite Des Decisions Rendues a la Pluralite Des Voix
J. Weizenbaum (1966)
ELIZA—a computer program for the study of natural language communication between man and machineCommunications of the ACM, 9
J. Locke
An Essay concerning Human UnderstandingNature, 114
M. Kneale, N. Rescher (1963)
Studies in the History of Arabic Logic.The Philosophical Quarterly, 16
G. Pólya (2020)
Mathematics and Plausible Reasoning, Volume 1
J. Keynes (2008)
Studies and Exercises in Formal Logic, Including a Generalization of Logical Processes in Their Application to Complex Inferences
M. Smalbrugge (1986)
L'argumentation probabiliste d'Augustin dans le Contra Academicos, 32
J. Candaux (1993)
Monsieur de Lubières encyclopédiste, 15
J. Robinson (1965)
A Machine-Oriented Logic Based on the Resolution PrincipleJ. ACM, 12
C. Smith, John Neumann, O. Morgenstern (1945)
Theory of Games and Economic Behavior.Journal of the American Statistical Association, 40
F. Marinetti (2014)
Poupées électriques. Drame en trois actes, avec une préface sur le futurisme
D. Lewis (1973)
Counterfactuals and comparative possibilityJournal of Philosophical Logic, 2
N. Rescher (1964)
development of Arabic logic
R. Lindsay, B. Buchanan, E. Feigenbaum, J. Lederberg (1980)
Applications of Artificial Intelligence for Organic Chemistry: The DENDRAL Project
A. Tarski, John Corcoran (1958)
Logic, Semantics, Metamathematics: Papers from 1923 to 1938The Journal of Philosophy, 55
John McCarthy, M. Minsky, N. Rochester, C. Shannon (2006)
A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, August 31, 1955AI Mag., 27
A. Newell, H. Simon (1956)
The logic theory machine-A complex information processing systemIRE Trans. Inf. Theory, 2
Jens Lemanski (2018)
Logic Diagrams in the Weigel and Weise CirclesHistory and Philosophy of Logic, 39
A. Arnauld, P. Nicole (2010)
La Logique Ou L'art De Penser,: Contenant Outre Les Regles Communes, Plusieurs Observations Nouvelles, Propres À Former Le Jugement..
Samuel Butler
Erewhon; Or, Over the Range
Brian Leftow, B. Davies (2006)
Aquinas: Summa Theologiae, Questions on God
Nicholas Rescher (1976)
Plausible reasoning
A. Samuel (1967)
Some Studies in Machine Learning Using the Game of CheckersIBM J. Res. Dev., 44
H. Berliner, R. Greenblatt, J. Pitrat, A. Samuel, David Slate (1977)
Panel on computer game playing
I. Good (1961)
A CAUSAL CALCULUS (II)*The British Journal for the Philosophy of Science, 12
J. Lettvin, H. Maturana, Warren McCulloch, W. Pitts (1959)
What the Frog's Eye Tells the Frog's BrainProceedings of the IRE, 47
L. Zadeh (1996)
Fuzzy sets
K. Wheare (1948)
Leviathan or the Matter, Forme and Power of a Commonwealth, Ecclesiasticall and Civil . By Thomas Hobbes. Edited with an introduction by Michael Oakeshott. (Basil Blackwell. Oxford. 1946. Price 8s. 6d. (cloth), 7s. 6d. (paper).)Philosophy, 23
J. Hendler (2008)
Avoiding Another AI WinterIEEE Intelligent Systems, 23
N. Rescher (1966)
Temporal Modalities in Arabic Logic
A. Schumann (2017)
Preface. Philosophy and History of Talmudic LogicStudia Humana, 6
John Buridan, G. Hughes (1982)
John Buridan on Self-Reference: Chapter Eight of Buridan's 'Sophismata', with a Translation, an Introduction, and a Philosophical Commentary
H. Gelernter (1995)
Realization of a geometry theorem proving machine
Reid Smith (1984)
On the Development of Commercial Expert SystemsAI Mag., 5
A. Dalmédico (1986)
Un texte de philosophie mathématique de Gergonne [Mémoire inédit déposé à l'Académie de Bordeaux]Revue D'histoire Des Sciences, 39
T. Martin (2006)
La logique probabiliste de gabriel cramer, 44
M. Minsky (1986)
The Society of Mind
Rhodius Apollonius, E. Rieu (2018)
The Voyage of Argo: The Argonautica
J. Faris (1955)
The gergonne relationsJournal of Symbolic Logic, 20
G. Shafer (1978)
Non-additive probabilities in the work of Bernoulli and LambertArchive for History of Exact Sciences, 19
G. Mavrodes (1963)
Some Puzzles Concerning OmnipotenceThe Philosophical Review, 72
Ian Pratt-Hartmann (2010)
The Hamiltonian SyllogisticJournal of Logic, Language and Information, 20
C. Shannon (1950)
Programming a computer for playing chess
G. Henderson, George Wright (1953)
An Essay in Modal Logic.The Philosophical Quarterly, 3
S. Papert (1981)
Mindstorms: Children, Computers, and Powerful Ideas
J. Grize (1982)
De la logique à l'argumentation
Gergonne
Variétés. Essai de dialectique rationnelle, 7
D. Michie (1963)
Experiments on the Mechanization of Game-Learning Part I. Characterization of the Model and its parametersComput. J., 6
Oliver Byrne (2010)
The Doctrine of Proportion Clearly Developed: On a Comprehensive, Original, and Very Easy System; Or, the Fifth Book of Euclid Simplified
W. McCulloch, W. Pitts (1990)
A logical calculus of the ideas immanent in nervous activityBulletin of Mathematical Biology, 52
Julian Baggini (2002)
David Hume: An Enquiry concerning Human Understanding (1748)
P. Sauriol (1975)
Le Raisonnement. Par Robert Blanch. Paris, Presses Universitaires de France, 1973.Dialogue, 14
J. Venn (1880)
I. On the diagrammatic and mechanical representation of propositions and reasoningsPhilosophical Magazine Series 1, 10
P. Johnson-Laird (1978)
What's wrong with grandma's guide to procedural semantics: A reply to Jerry FodorCognition, 6
W. Hamilton, H. Mansel, J. Veitch
Lectures on metaphysics and logic, Vol 1: Metaphysics.
A. Newell (1981)
The heuristic of George Polya and its relation to artificial intelligence
C. Hewitt (2009)
Middle History of Logic Programming: Resolution, Planner, Edinburgh LCF, Prolog and the Japanese Fifth Generation Project
R. Duda, P. Hart, N. Nilsson (1899)
Subjective bayesian methods for rule-based inference systems
L. Huesmann, B. Raphael (1977)
The thinking computer : mind inside matterAmerican Journal of Psychology, 90
C. Truchet (2014)
Revue d'Intelligence Artificielle, 28
L. Zadeh (1965)
Fuzzy SetsInf. Control., 8
S. Read (2012)
John Buridan’s Theory of Consequence and His Octagons of Opposition
H. Harrison, M. Minsky (1992)
The Turing Option
Martin Davis, H. Putnam (1960)
A Computing Procedure for Quantification TheoryJ. ACM, 7
O. Mitchell
On a new algebra of logic.
M. Shelley
Frankenstein: Or, the Modern Prometheus
L. Giard (1972)
La « dialectique rationnelle » de Gergonne.Revue D'histoire Des Sciences, 25
A. Barr, E. Feigenbaum, Paul Cohen (1982)
The Handbook of Artificial Intelligence
B. Copenhaver, C. Normore, T. Parsons (2014)
Peter of Spain: Summaries of Logic: Text, Translation, Introduction, and Notes
C. Ladd
On the algebra of logic.
D. Crevier (1993)
Ai: The Tumultuous History Of The Search For Artificial Intelligence
M. Akrami (2017)
From Logic in Islam to Islamic LogicLogica Universalis, 11
John McCarthy (1996)
Defending AI research - a collection of essays and reviews
D. Bochvar (1984)
On the consistency of a three-valued logical calculusTopoi, 3
B. Finetti (1937)
La prévision : ses lois logiques, ses sources subjectives, 7
J. Harsanyi (1968)
Games with Incomplete Information Played by 'Bayesian' Players, Part III. The Basic Probability Distribution of the GameManagement Science, 14
D. Bellhouse (2000)
De Vetula: a Medieval Manuscript Containing Probability CalculationsInternational Statistical Review, 68
Y. Bar-Hillel (1954)
V.—INDEXICAL EXPRESSIONSMind
A. Rosenblueth, N. Wiener, Julian Bigelow (1943)
Behavior, Purpose and TeleologyPhilosophy of Science, 10
F. Bacon, J. Dove (2011)
Of the Proficience and Advancement of Learning: Divine and Human
Ryo Takemura (2012)
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and NormalizationStudia Logica, 101
G. Boole (2007)
An Investigation of the Laws of Thought: On which are founded the mathematical theories of logic and probabilities
Alexander Fidora, Carles Sierra, S. Barberà, M. Beuchot, Eduard Bonet, A. Bonner, J. Colomer, J. Crossley, Ton Sales, Guilherme Wyllie (2011)
Ramon Llull: From the Ars Magna to Artificial Intelligence
N. Nilsson (2009)
The Quest For Artificial Intelligence: A History Of Ideas And Achievements
John Krauskopf, W. Ashby (1953)
Design for a Brain.Journal of the American Statistical Association, 48
J. Neumann (1959)
The Computer and the Brain
K. Menger (1942)
Statistical Metrics.Proceedings of the National Academy of Sciences of the United States of America, 28 12
D. Dubois, H. Prade (2012)
Abe Mamdani: A Pioneer of Soft Artificial Intelligence
W. Hodges (2018)
Two Early Arabic Applications of Model-Theoretic ConsequenceLogica Universalis, 12
P. Bernays (1950)
Rudolf Carnap. Meaning and necessity. A study in semantics and modal logic . The University of Chicago Press, Chicago1947, viii + 210 pp.Journal of Symbolic Logic, 14
R. Fikes, N. Nilsson (1971)
STRIPS: A New Approach to the Application of Theorem Proving to Problem SolvingArtif. Intell., 2
C. Peirce
On the Algebra of Logic: A Contribution to the Philosophy of NotationAmerican Journal of Mathematics, 7
F. Rosenblatt (1963)
PRINCIPLES OF NEURODYNAMICS. PERCEPTRONS AND THE THEORY OF BRAIN MECHANISMSAmerican Journal of Psychology, 76
Gergonne
Arithmétique. Théorie de la règle de trois, 7
E. Schröder (1967)
Vorlesungen uber die Algebra der LogikThe Mathematical Gazette, 51
J. Keynes (1921)
A Treatise on Probability
W. Lenzen (2016)
Leibniz’s Logic and the “Cube of Opposition”Logica Universalis, 10
W. Bledsoe (1971)
Splitting and Reduction Heuristics in Automatic Theorem ProvingArtif. Intell., 2
G. Dinneen (1955)
Programming pattern recognition
V. Pratt (1987)
Thinking Machines: The Evolution of Artificial Intelligence
Hubert Hubien (1977)
Logiciens médiévaux et logique d'aujourd'huiRevue Philosophique de Louvain, 75
P. Streeten, G. Shackle (1951)
Expectation in Economics
I. Good (1961)
A CAUSAL CALCULUS (I)*The British Journal for the Philosophy of Science, 11
B. Russell, A. Whitehead
Principia Mathematica Vol. I
B. Richards (1988)
AI in the 1980s and Beyond: Edited by WEL Grimson and RS Patil. Published by MIT Press. 374pp. £22.50Information & Software Technology, 30
A. Turing (1950)
Computing Machinery and IntelligenceMind, LIX
G. Günther (1957)
Das Bewusstsein der Maschinen : eine Metaphysik der Kybernetik
J. Mill (2019)
A System Of Logic, Ratiocinative And Inductive
W. Jevons (2000)
Elementary Lessons in Logic: Deductive and Inductive: With Copious Questions and Examples, and a Vocabulary of Logical Terms
P. Hart, N. Nilsson, B. Raphael (1968)
A Formal Basis for the Heuristic Determination of Minimum Cost PathsIEEE Trans. Syst. Sci. Cybern., 4
F. Rose (1984)
Into the Heart of the Mind: An American Quest for Artificial Intelligence
O. Selfridge (1899)
Pattern recognition and modern computers
R. Kurzweil (1990)
Age of intelligent machines
P. Geach (1963)
KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two NotionsPhilosophical Books, 4
K. Arrow (1951)
Social Choice and Individual Values
W. Gombocz (1990)
APULEIUS IS BETTER STILL: A CORRECTION TO THE SQUARE OF OPPOSITION [De Interpretatione 180,19-181, 7 Thomas]Mnemosyne, 43
Paul Allen (1997)
CENTER FOR
N. Rochester, J. Holland, L. Haibt, W. Duda (1956)
Tests on a cell assembly theory of the action of the brain, using a large digital computerIRE Trans. Inf. Theory, 2
E. Jaynes (1957)
Information Theory and Statistical MechanicsPhysical Review, 106
R. Schank, R. Abelson (1978)
Scripts, plans, goals and understanding: an inquiry into human knowledge structures
Kenneth Craik (1944)
The nature of explanation
R. Braithwaite (1932)
Lewis Carroll as LogicianThe Mathematical Gazette, 16
T. Haavelmo (1943)
The Statistical Implications of a System of Simultaneous EquationsEconometrica, 11
N. Wiener (1948)
Cybernetics.Scientific American, 179 5
J. Barnes, Theophrastus. (1984)
Terms and Sentences Theophrastus on Hypothetical Syllogisms
A. Bernstein, M. Roberts (1958)
Computer v. Chess-PlayerScientific American, 198
W. Clark, B. Farley (1955)
Generalization of pattern recognition in a self-organizing system
David Hume (2002)
An enquiry concerning human understanding ; A dissertation on the passions ; An enquiry concerning the principles of morals ; and, The natural history of religion
L. Carroll, F. Abeles (2001)
The political pamphlets and letters of Charles Lutwidge Dodgson and related pieces : a mathematical approach
A. Kolmogorov, Nathan Morrison, A. Bharucha-Reid
Theory of ProbabilityNature, 124
T. Bayes
LII. An essay towards solving a problem in the doctrine of chances. By the late Rev. Mr. Bayes, F. R. S. communicated by Mr. Price, in a letter to John Canton, A. M. F. R. SPhilosophical Transactions of the Royal Society of London
A. Morgan (2002)
Formal Logic: Or, The Calculus of Inference, Necessary and Probable
Saul Kripke (2012)
Semantical Considerations on Modal Logic
R. Silvestre (2016)
On the logical formalization of Anselm’s ontological argument, 2
Warren Persons (1937)
Correlation and CausationWilmott
Y. Wilks (1972)
Grammar, meaning and the machine analysis of language
G. Leibniz, L. Couturat
Opuscules et Fragments Inédits de Leibniz : Extraits des manuscrits de la Bibliothèque royale de Hanovre
J. Fodor (1978)
Tom Swift and his procedural grandmotherCognition, 6
John Baylis, F. Ramsey, D. Mellor (2008)
Foundations: Essays in Philosophy, Logic, Mathematics and Economics
Julien Mettrie, R. Watson, M. Rybalka, J. Leiber (1994)
Man a machine and Man a plant
T. Winograd (1971)
Procedures As A Representation For Data In A Computer Program For Understanding Natural Language
C. Strachey (1952)
Logical or non-mathematical programmes
Thomas Ratliff (2010)
Lewis Carroll, Voting, and the Taxicab MetricThe College Mathematics Journal, 41
B. Buchanan (2005)
A (Very) Brief History of Artificial IntelligenceAI Mag., 26
R. Carnap (1930)
Die alte und die neue LogikErkenntnis, 1
Alessio Moretti (2014)
Was Lewis Carroll an Amazing Oppositional Geometer?History and Philosophy of Logic, 35
Robert Blanche, G. Davy (1981)
Structures Intellectuelles : essai sur l'organisation systématique des concepts
L. Erman, F. Hayes-Roth, V. Lesser, R. Reddy (1980)
The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve UncertaintyACM Comput. Surv., 12
G. Bernanos (1948)
La France contre les robots, 22
H. Fain, C. Hempel (1966)
Aspects of Scientific Explanation and Other Essays in the Philosophy of Science.American Sociological Review, 31
Thomas Hünefeldt, Riccardo Brunetti (2004)
Artificial intelligence as “theoretical psychology”: Christopher Longuet-Higgins’ contribution to cognitive scienceCognitive Processing, 5
[Artificial intelligence (AI) is a young scientific field, which like other domains of information processing sciences, was born in the middle of the XXth century, with the arrival of the first computers. However, much more long-standing concerns have contributed to its final emergence. They can be broadly articulated around two main issues: the formalization of reasoning and learning mechanisms and the design of machines having autonomous capabilities in terms of computation and action. Over time, such machines have been first dreamed, before being designed and made real. The progressive achievements have fed the imagination of philosophers, but also writers, movie makers, and other artists. This is the reason why in the few elements of the great historical epic that we sketch here, references to all sectors of human creativity are involved.]
Published: May 8, 2020
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.