Artificial and Mathematical Theory of Computation
Papers in Honor of John McCarthy
- 1st Edition - September 28, 1991
- Imprint: Academic Press
- Editor: Vladimir Lifschitz
- Language: English
- Paperback ISBN:9 7 8 - 0 - 1 2 - 4 1 4 5 1 2 - 2
- eBook ISBN:9 7 8 - 0 - 3 2 3 - 1 4 8 3 1 - 3
Artificial and Mathematical Theory of Computation is a collection of papers that discusses the technical, historical, and philosophical problems related to artificial intell… Read more
Purchase options
Institutional subscription on ScienceDirect
Request a sales quoteArtificial and Mathematical Theory of Computation is a collection of papers that discusses the technical, historical, and philosophical problems related to artificial intelligence and the mathematical theory of computation. Papers cover the logical approach to artificial intelligence; knowledge representation and common sense reasoning; automated deduction; logic programming; nonmonotonic reasoning and circumscription. One paper suggests that the design of parallel programming languages will invariably become more sophisticated as human skill in programming and software developments improves to attain faster running programs. An example of metaprogramming to systems concerns the design and control of operations of factory devices, such as robots and numerically controlled machine tools. Metaprogramming involves two design aspects: that of the activity of a single device and that of the interaction with other devices. One paper cites the application of artificial intelligence pertaining to the project "proof checker for first-order logic" at the Stanford Artificial Intelligence Laboratory. Another paper explains why the bisection algorithm widely used in computer science does not work. This book can prove valuable to engineers and researchers of electrical, computer, and mechanical engineering, as well as, for computer programmers and designers of industrial processes.
Preface
Contributor List
A Short Sketch of the Life and Career of John McCarthy
Functional Instantiation in First-Order Logic
Lambda: The Ultimate Combinator
Proofs of Termination and the "91" Function
Robots with Common Sense?
Ascribing Artificial Intelligence to (Simpler) Machines, or When AI Meets the Real World
The Design of Parallel Programming Languages
Metaprogramming at Work in Automated Manufacturing
LISP + Calculus = Identities
Model Checking Vs. Theorem Proving: A Manifesto
Algebraic Computation: The Quiet Revolution
LISP and Parallelism
Textbook Examples of Recursion
A Metalogic Programming Approach to Multi-Agent Knowledge and Belief
Belief and Introspection
Monotonicity Properties in Automated Deduction
Circumscription and Disjunctive Logic Programming
On The Equivalence of Data Representations
Caution! Robot Vehicle!
Circumscription and Authority
The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
An Abstraction Mechanism for Symbolic Expressions
Varieties of Context
The Influence of the Designer on the Design—J. McCarthy and LISP
Binding Structures
Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical Perspective
The Incorrectness of the Bisection Algorithm
Index
- Edition: 1
- Published: September 28, 1991
- No. of pages (eBook): 490
- Imprint: Academic Press
- Language: English
- Paperback ISBN: 9780124145122
- eBook ISBN: 9780323148313
VL
Vladimir Lifschitz
Affiliations and expertise
University of Texas at Austin, USARead Artificial and Mathematical Theory of Computation on ScienceDirect