Page 158 - DCAP310_INTRODUCTION_TO_ARTIFICIAL_INTELLIGENCE_AND_EXPERT_SYSTEMS
P. 158

Introduction to Artificial Intelligence & Expert Systems




                    Notes          Rules of this type, often called production rules, can only produce actual behavior with the help
                                   of an interpreter, a mechanism which applies the rules to reach a given goal. In addition to the
                                   rule-base (which acts as a kind of long-term memory), a production rule system also has a
                                   short-term memory (working memory) which registers the current state of the computation, as
                                   well as current input and output states. The control structure of a production system interpreter
                                   consists of a cyclical process, where each cycle consists of three phases:
                                   1.  Identification: This phase determines for which rules the condition sides are currently
                                       satisfied in working memory.
                                   2.  Selection: It will often happen that more than one rule’s condition side will be satisfied.
                                       Since in general it is not desirable for all applicable rules to fire, one or more rules are
                                       selected on the basis of a particular conflict resolution strategy.
                                   3.  Execution: The action part of the chosen rule is executed. Although actions can take many
                                       forms, the most typical ones involve the addition to or removal from working memory of
                                       certain facts.

                                   This interpreter’s mode of operation is called forward chaining or data-driven: rules are identified
                                   when states in working memory match their conditions; the execution of the rules may in their
                                   turn activate other rules, until a goal is achieved. But it is also possible to run an interpreter in
                                   a backward chaining or goal-driven mode: in that case, rules are identified when their actions
                                   match the current goals; their execution may add elements of their conditions as new goals
                                   when they are not present in working memory, and so on, until rules are found whose conditions
                                   match the current states in working memory. It is evident that both modes represent different
                                   kinds of search. Rule-based architectures have been further developed toward more sophisticated
                                   cognitive architectures, for example, ACT* (Anderson, 1983) and SOAR.




                                     Notes The ACT* system has a semantic network (see above) as part of its long term
                                     memory. Production systems have been used in a few psycholinguistic models, but no
                                     models based.

                                   Anderson, Kline and Lewis (1977) describe a production system model of language processing.
                                   In PROZIN (Kolk, 1987), agrammatism effects are simulated by manipulating the processing
                                   speed of the production system interpreter and the decay rate of facts in working memory.
                                   Lewis (1993) describes a computer model of human sentence comprehension implemented in
                                   SOAR.

                                   Self Assessment

                                   State whether the following statements are true or false:
                                   3.  Production systems are rule-based systems developed during the seventies as models for
                                       human problem solving.
                                   4.  This interpreter’s mode of operation is called upward chaining.

                                   8.3 Logic

                                   Logic has often been used as a formal foundation for knowledge representation in AI. The
                                   formal properties of logic formalisms are relatively well understood and make them ideally
                                   suited as a language to which other formalisms can be translated in order to evaluate and





          152                               LOVELY PROFESSIONAL UNIVERSITY
   153   154   155   156   157   158   159   160   161   162   163