• Publications
  • Influence
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
TLDR
We describe a new problem solver called STRIPS that attempts to find a sequence of operators in a space of world models to transform a given initial world model into a model in which a given goal formula can be proven to be true. Expand
  • 5,669
  • 452
  • PDF
A Formal Basis for the Heuristic Determination of Minimum Cost Paths
TLDR
This paper describes how heuristic information from the problem domain can be incorporated into a formal mathematical theory of graph searching and demonstrates an optimality property of a class of search strategies. Expand
  • 8,301
  • 332
Artificial Intelligence
This paper is a survey of Artifici'al Intelligence (AI). It divides the field into four cor~ topics (embodying the base fo·r a science of intelligence) and eight applications topics (in whichExpand
  • 4,879
  • 312
  • PDF
Principles of Artificial Intelligence
  • N. Nilsson
  • Computer Science
  • IEEE Transactions on Pattern Analysis and Machine…
  • 1981
TLDR
A classic introduction to artificial intelligence intended to bridge the gap between theory and practice, "Principles of Artificial Intelligence" describes fundamental AI ideas that underlie applications such as natural language processing, automatic programming, robotics, machine vision, automatic theorem proving, and intelligent data retrieval. Expand
  • 3,723
  • 161
Probabilistic Logic
  • N. Nilsson
  • Computer Science, Mathematics
  • Artif. Intell.
  • 1 February 1986
TLDR
We present here a semantical generalization of logic in which the truth values of sentences are probabili~ values (between 0 and 1). Expand
  • 1,292
  • 68
  • PDF
Logical foundations of artificial intelligence
Typographical Conventions 1 Introduction 1.1 Bibliographical and Historical Remarks Exercises 2 Declarative Knowledge 2.1 Conceptualization 2.2 Predicate Calculus 2.3 Semantics 2.4 Blocks WorldExpand
  • 1,590
  • 65
Problem-solving methods in artificial intelligence
  • N. Nilsson
  • Computer Science
  • McGraw-Hill computer science series
  • 1 June 1971
Feel lonely? What about reading books? Book is one of the greatest friends to accompany while in your lonely time. When you have no friends and activities somewhere and sometimes, reading book can beExpand
  • 1,495
  • 58
Artificial Intelligence: A New Synthesis
TLDR
Intelligent agents are employed as the central characters in this new introductory text. Expand
  • 1,125
  • 58
  • PDF
Learning and Executing Generalized Robot Plans
TLDR
In this paper we describe some major new additions to the STRIPS robot problem-solving system. Expand
  • 1,216
  • 38
  • PDF
Teleo-Reactive Programs for Agent Control
  • N. Nilsson
  • Computer Science
  • J. Artif. Intell. Res.
  • 1 August 1993
TLDR
We introduce the notion of teleo-reactive (T-R) programs whose execution entails the construction of circuitry for continuous computation of the parameters and conditions on which agent action is based. Expand
  • 420
  • 37
  • PDF
...
1
2
3
4
5
...