R1-Soar: An Experiment in Knowledge-Intensive Programming in a Problem-Solving Architecture

@article{Rosenbloom1985R1SoarAE,
  title={R1-Soar: An Experiment in Knowledge-Intensive Programming in a Problem-Solving Architecture},
  author={Paul S. Rosenbloom and John E. Laird and John P. McDermott and Allen Newell and Edmund Orciuch},
  journal={IEEE Transactions on Pattern Analysis and Machine Intelligence},
  year={1985},
  volume={PAMI-7},
  pages={561-569}
}
This paper presents an experiment in knowledge-intensive programming within a general problem-solving production-system architecture called Soar. In Soar, knowledge is encoded within a set of problem spaces, which yields a system capable of reasoning from first principles. Expertise consists of additional rules that guide complex problem-space searches and substitute for expensive problem-space operators. The resulting system uses both knowledge and search when relevant. Expertise knowledge is… 

Figures and Tables from this paper

TITLE Chunking in Soar : The Anatomy of a General Learning
TLDR
The anatomy of chunking in Soar is examined and a new demonstration of its learning capabilities involving the acquisition and use of macro-operators is provided.
Chunking in Soar: The Anatomy of a General Learning Mechanism
TLDR
The anatomy of chunking in Soar is examined and a new demonstration of its learning capabilities involving the acquisition and use of macro-operators is provided.
Integrating Multiple Sources of Knowledge Into Designer Soar, an Automatic Algorithm Designer
TLDR
The Designer-Soar system, which already uses several levels of abstraction, generalizes from examples, and learns from experience, now designs several simple generate- and-test and divide-and-conquer algorithms, transferring knowledge acquired during the design of one algorithm to aid in the designof others.
The problem of expensive chunks and its solution by restricting expressiveness
TLDR
This article establishes that expensive chunks exist and analyzes their causes and proposes a solution based on the notion of restricting the expressiveness of the representational language to guarantee that the chunks formed will require only a limited amount of accessing effort.
Knowledge Level Learning in Soar
TLDR
This article demonstrates how Soar can acquire new knowledge that is not deductively implied by its existing knowledge, and employs Soar's chunking mechanism - a mechanism which acquires new productions from goal based experience - as its only learning mechanism.
Varieties of learning in Soar: 1987
Soar/PSM-E: investigating match parallelism in a learning production sytsem
TLDR
The extensions and modifications required to PSM-E in order to support Soar, especially the capability of adding productions at run time as required by chunking, are described and the speedups obtained are presented.
VARIETIES OF LEARNING IN SOAR : 1987 Technical Report AIP-6
TLDR
The results demonstrate that the variety of learning in Soar arises from variety in problem solving, rather than from variety from architectural mechanisms.
A Problem Space Approach to Expert System Specification
TLDR
The nature of the processes that operationalize natural task descriptions is examined, and a language based on a computational model of problem spaces for which these processes are quite simple is exhibited.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 23 REFERENCES
SOAR: An Architecture for General Intelligence
Universal subgoaling
TLDR
This research describes an implementation of universal subgoaling within Soar, a production system based on search in a problem space and provides a useful taxonomy of the weak methods based on the knowledge required to encode the in Soar.
Overview of Expert Systems
TLDR
An expert system is defined and its basic structure is discussed, including choice of solution direction, reasoning in the presence of uncertainty, searching small and large search spaces, handlingLarge search spaces by transforming them and by developing alternative or additional spaces, and dealing with time.
Towards Chunking as a General Learning Mechanism
TLDR
This paper describes recent progress in extending chunking to be a general learning mechanism by implementing it within a general problem solver, using the Soar problem-solving architecture.
R1: A Rule-Based Configurer of Computer Systems
A Universal Weak Method: Summary of Results
TLDR
This paper proposes an organization, called a universal weak method, that provides functionality of all the weak methods and presents a problem solving architecture in which this method is realized.
Initial Assessment of Architectures for Production Systems
TLDR
The preliminary results indicate that the most attractive architecture for production systems is a machine containing a small number of very simple and very fast processors.
Repair Theory: A Generative Theory of Bugs in Procedural Skills
TLDR
A generative theory of bugs that claims that all bugs of a procedural skill can be derived by a highly constrained form of problem solving acting on incomplete procedures, characterized by formal deletion operations that model incomplete learning and forgetting.
OPS5 user's manual
Abstract : This is a combination introductory and reference manual for OPS5, a programming language for production systems. OPS5 is used primarily for applications in the areas of artificial
...
1
2
3
...