PRIME: a bottom-up approach to probabilistic rule development

PRIME (probabilistic rule induction mechanism), a program which demonstrates a bottom-up approach to developing a rule base, is described. It is a system to be used by an intelligent machine to allow it to operate autonomously in an abstract but uncertain (or stochastic) environment. The purpose of PRIME is to allow an intelligent machine to satisfy user-specified goals with maximum success probability. To achieve this objective, it maintains a probabilistic model of the machine's effects on its environment, in the form of a rule base, and continuously updates its knowledge on the basis of recent experience. To learn the rule probabilities, a two-level estimation procedure is used, which is shown to be effective at tracking nonstationary probabilities for certain choices of parameters. The planning mechanism in PRIME is also shown to perform its task of deriving optimal plans satisfactorily. The results clearly indicate that goal-directed exploration is a desirable, if not necessary, function of PRIME in order to generate, maintain, and use a rule base in a sizable environment.<<ETX>>

[1]  Earl D. Sacerdott.  Planning in a hierarchy of abstraction spaces , 1973, IJCAI 1973.

[2]  Irving John Good,et al.  The Estimation of Probabilities: An Essay on Modern Bayesian Methods , 1965 .

[3]  M. Ghosh,et al.  Sequential point estimation of the mean when the distribution is unspecified , 1979 .

[4]  Richard Fikes,et al.  Learning and Executing Generalized Robot Plans , 1993, Artif. Intell..

[5]  Mark Stefik,et al.  Planning with Constraints (MOLGEN: Part 1) , 1981, Artif. Intell..

[6]  George N. Saridis,et al.  Self-organizing control of stochastic systems , 1977 .

[7]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[8]  L. Shastri,et al.  A Connectionist System for Rule Based Reasoning With Multi-Place Predicates and Variables , 1989 .

[9]  Y. S. Chow,et al.  The Performance of a Sequential Procedure for the Estimation of the Mean , 1981 .

[10]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[11]  Y. Shoham.  What is the frame problem , 1987 .

[12]  G.N. Saridis,et al.  Toward the realization of intelligent controls , 1979, Proceedings of the IEEE.

[13]  N. Starr.  On the Asymptotic Efficiency of a Sequential Procedure for Estimating the Mean , 1966 .

[14]  George N. Saridis.  On The Revised Theory Of Intelligent Machines , 1989, Proceedings. IEEE/RSJ International Workshop on Intelligent Robots and Systems '. (IROS '89) 'The Autonomous Mobile Robots and Its Applications.

[15]  John H. Holland,et al.  Escaping brittleness: the possibilities of general-purpose learning algorithms applied to parallel rule-based systems , 1995 .

[16]  Michael C. Moed,et al.  The Organizer: Planning Tasks with an Emergent Connections/Symbolic System , 1989 .

[17]  James A. Anderson,et al.  Neurocomputing: Foundations of Research , 1988 .

[18]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[19]  John W. Roach,et al.  Model Verification and Improvement Using DISPROVER , 1975, Artif. Intell..

[20]  David E. Goldberg,et al.  A Critical Review of Classifier Systems , 1989, ICGA.

[21]  John H. Holland,et al.  Induction: Processes of Inference, Learning, and Discovery , 1987, IEEE Expert.

[22]  C. Cordell Green,et al.  Application of Theorem Proving to Problem Solving , 1969, IJCAI.

[23]  George W. Ernst,et al.  GPS : a case study in generality and problem solving , 1971 .

[24]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[25]  Kumpati S. Narendra,et al.  Learning Automata - A Survey , 1974, IEEE Trans. Syst. Man Cybern..

[26]  David S. Touretzky,et al.  Representing conceptual structures in a neural network , 1987 .

[27]  R. Lippmann,et al.  An introduction to computing with neural nets , 1987, IEEE ASSP Magazine.

[28]  Ryszard S. Michalski,et al.  A Theory and Methodology of Inductive Learning , 1983, Artificial Intelligence.

[29]  George N. Saridis,et al.  A Boltzmann machine for the organization of intelligent machines , 1990, IEEE Trans. Syst. Man Cybern..

[30]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

[31]  John J. Grefenstette,et al.  Csm: a genetic classifier system with memory for learning by analogy , 1987 .

[32]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[33]  P. Anandan,et al.  Pattern-recognizing stochastic learning automata , 1985, IEEE Transactions on Systems, Man, and Cybernetics.