# Programs with common sense

@inproceedings{McCarthy1960ProgramsWC, title={Programs with common sense}, author={John McCarthy}, year={1960} }

Abstract : This paper discusses programs to manipulate in a suitable formal language (most likely a part of the predicate calculus) common instrumental statements. The basic program will draw immediate conclusions from a list of premises. These conclusions will be either declarative or imperative sentences. When an imperative sentence is deduced the program takes a corresponding action. These actions may include printing sentences, moving sentences on lists, and reinitiating the basic deductionâ€¦Â

## 1,155 Citations

The Early Search for Tractable Ways of Reasoning about Programs

- Computer ScienceIEEE Ann. Hist. Comput.
- 2003

The main thesis is that the idea of reasoning about programs has been around since they were first written; the search has been to find tractable methods.

Representing Knowledge in A-Prolog

- Computer ScienceComputational Logic: Logic Programming and Beyond
- 2002

This paper reviews some recent work on declarative logic programming languages based on stable models/answer sets semantics of logic programs and demonstrates how the corresponding representations together with inference mechanisms associated with A-Prolog can be used to solve various programming tasks.

Towards a Theory of Elaboration Tolerance: Logic Programming Approach

- Computer ScienceInt. J. Softw. Eng. Knowl. Eng.
- 1996

An attempt at mathematical investigation of software development process in the context of declarative logic programming by arguing that the process of constructing lp-function representing a specification S should be supported by certain types of mathematical results which are called representation theorems.

Solving mechanics problems using meta-level inference

- Computer ScienceIJCAI 1979
- 1979

It is argued that the technique of meta-level inference is a powerful technique for controlling search while retaining the modularity of declarative knowledge representations.

Reasoning about Eeects of Concurrent Actions

- Computer Science
- 1996

Logic programming formalization of situation calculus with concurrent actions presented in the paper can be of independent interest and may serve as a test bed for the investigation of various transformations and logic programming inference mechanisms.

A Preliminary Study on Reasoning About Causes

- Computer Science, Philosophy
- 2003

A general top-level semantics that allows deciding which actions have resulted relevant for establishing the truth value of a given formula is presented, and a practical implementation that deals with a basic causal rule syntax is proposed.

Automated Inference in Active Logics

- Computer ScienceJ. Appl. Non Class. Logics
- 1996

Some technical issues connected with automated inference in active logics are described, using particular object misidentification problems as illustrations, to control of exponential growth of inferences.

## References

SHOWING 1-10 OF 15 REFERENCES

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

- Computer ScienceIRE-AIEE-ACM '57 (Western)
- 1957

The Logic Theory Machine is 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.

The Inversion of Functions Defined by Turing Machines

- Mathematics
- 1956

This paper deals with the problem of designing a Turing machine which, when confronted by the number pair, computes as efficiently as possible a function g(m, r) such that fm(g( m, r)) = r.

Some Studies in Machine Learning Using the Game of Checkers

- Computer ScienceIBM J. Res. Dev.
- 1959

The studies reported here have been concerned with the programming of a digital computer to behave in a way which would be described as involving the process of learning.

A Learning Machine: Part I

- Computer ScienceIBM J. Res. Dev.
- 1958

It is proposed that the program of a stored-program computer be gradually improved by a learning procedure which tries many programs and chooses, from the instructions that may occupy a given location, the one most often associated with a successful result.

Steps toward Artificial Intelligence

- Computer ScienceProceedings of the IRE
- 1961

The discussion is supported by extensive citation of the literature and by descriptions of a few of the most successful heuristic (problem-solving) programs constructed to date.

Neural Models for Memory , â€ť h o c . lnternatl

- 1962

A Learning Machine, Part I IBM

- Journal of Research and Development
- 1958

The Syntax of Time Distinctions, Franciscan Studies

- The Syntax of Time Distinctions, Franciscan Studies
- 1958

Heuristic Aspects of the Artificial Intellegence Problem. Lincoln Laboratory Report,pp.34â€“55

- 1956