• Corpus ID: 62564854

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… 
Reasoning About Effects of Concurrent Actions
The Early Search for Tractable Ways of Reasoning about Programs
TLDR
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
  • M. Gelfond
  • Computer Science
    Computational Logic: Logic Programming and Beyond
  • 2002
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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.
Non-Resolution Theorem Proving
Automated Inference in Active Logics
TLDR
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.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 15 REFERENCES
Empirical explorations of the logic theory machine: a case study in heuristic
TLDR
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
TLDR
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
  • A. Samuel
  • Computer Science
    IBM J. Res. Dev.
  • 1959
TLDR
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
TLDR
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
  • M. Minsky
  • Computer Science
    Proceedings of the IRE
  • 1961
TLDR
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
...
1
2
...