Artificial and Mathematical Theory of Computation  - 1st Edition - ISBN: 9780124500105, 9780323148313

Artificial and Mathematical Theory of Computation

1st Edition

Papers in Honor of John McCarthy

Editors: Vladimir Lifschitz
eBook ISBN: 9780323148313
Imprint: Academic Press
Published Date: 28th September 1991
Page Count: 490
Sales tax will be calculated at check-out Price includes VAT/GST
Price includes VAT/GST

Institutional Subscription

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.


Artificial 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.

Table of Contents


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



No. of pages:
© Academic Press 1991
Academic Press
eBook ISBN:

About the Editor

Vladimir Lifschitz

Affiliations and Expertise

University of Texas at Austin, USA

Ratings and Reviews