• Publications
  • Influence
SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
TLDR
The formalism of this paper represents an advance over McCarthy (1963) and Green (1969) in that it permits proof of the correctness of strategies that contain loops and strategies that involve the acquisition of knowledge; and it is also somewhat more concise. Expand
Circumscription - A Form of Non-Monotonic Reasoning
  • J. McCarthy
  • Mathematics, Computer Science
  • Artif. Intell.
  • 1 April 1980
TLDR
Circumscription formalizes conjectural reasoning that humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain properties or relations are the only objects that do. Expand
Recursive functions of symbolic expressions and their computation by machine, Part I
A programming system called LISP (for LISt Processor) has been developed for the IBM 704 computer by the Artificial Intelligence group at M.I.T. The system was designed to facilitate experiments withExpand
Notes on Formalizing Context
TLDR
These notes discuss formalizing contexts as first class objects, proposing a single language with all the desired capabilities to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess. Expand
Applications of Circumscription to Formalizing Common Sense Knowledge
  • J. McCarthy
  • Computer Science, Mathematics
  • NMR
  • 1 October 1987
We present a new and more symmetric version of the circumscription method of nonmonotonic reasoning first described in (McCarthy 1980) and some applications to formalizing common sense knowledge. TheExpand
Programs with common sense
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 drawExpand
Situations, Actions, and Causal Laws
Abstract : A formal theory is given concerning situations, causality and the possibility and effects of actions is given. The theory is intended to be used by the Advice Taker, a computer programExpand
LISP 1.5 Programmer's Manual
The LISP language is designed primarily for symbolic data processing used for symbolic calculations in differential and integral calculus, electrical circuit theory, mathematical logic, game playing,Expand
What Computers Still Can't Do
TLDR
In defending “symbolic AI”, one development-formalized nonmonotonic reasoning is emphasized, because it illustrates intermittent but definite progress in logic-based AI. Expand
...
1
2
3
4
5
...