Presentation on theme: "CLIPS C Language Integrated Production System Note: Some slides and/or pictures are adapted from Lecture slides / Books of Dr Zafar Alvi."— Presentation transcript:
CLIPS C Language Integrated Production System Note: Some slides and/or pictures are adapted from Lecture slides / Books of Dr Zafar Alvi.
CLIPS Download CLIPS for windows (CLIPSWin.zip) from: c/. Also download the complete documentation including the programming guide from: n/
Commands To leave CLIPS, enter (exit) All commands use ( ) as delimiters, i.e. all commands are enclosed in brackets. A simple command example for adding numbers CLIPS> (+ 3 4) CLIPS is case sensitive
The Deftemplate construct Before facts can be added, we have to define the format for our relations. Each relation consists of: relation name, zero or more slots (arguments of the relation) The Deftemplate construct defines a relation’s structure (deftemplate [ ] e.g. CLIPS> ( deftemplate father “Relation father” (slot fathersName) (slot sonsName) )
Adding facts Facts are added in the predicate format. The deftemplate construct is used to inform CLIPS of the structure of facts. The set of all known facts is called the fact list. To add facts to the fact list, use the assert command, e.g. Facts to add: man(ahmed), father(ahmed, belal), brother(ahmed, chand) CLIPS> (assert ( father ( fatherName “Ahmed”) (sonName “Belal”) ) )
Viewing fact list After adding facts, you can see the fact list using command: (facts). You will see that a fact index is assigned to each fact, starting with 0. For long fact lists, use the format (facts [ [ ]]) For example: (facts 1 10) lists fact numbers 1 through 10
Removing facts The retract command is used to remove or retract facts. For example: (retract 1) removes fact 1 (retract 1 3) removes fact 1 and 3
Modifying facts We add a fact: CLIPS>(assert ( father ( fathersName “Ahmed”) (sonsName “Belal”) ) ) To modify the fathers name slot, enter the following: CLIPS> (modify 2 ( fathersName “Ali Ahmed”)) Notice that a new index is assigned to the modified fact.
The WATCH command The WATCH command is used for debugging programs. It is used to view the assertion and modification of facts. The command is – CLIPS> (watch facts) After entering this command, for subsequent commands, the whole sequence of events will be shown. To turn off this option, use: – (unwatch facts)
The Components of a rule The Defrule construct is used to add rules. Before using a rule the component facts need to be defined. For example, if we have the rule – IF Ali is Ahmed’s father – THEN Ahmed is Ali’s son We enter this into CLIPS using the following construct: ;Rule header (defrule isSon “An example rule” ; Patterns (father (fathersName “ali”) (sonsName “ahmed”) ;THEN => ;Actions (assert (son (sonsName “ahmed”) (fathersName “ali”))) )
The Components of a rule CLIPS attempts to match the pattern of the rules against the facts in the fact list. If all patterns of a rule match, the rule is activated, i.e. placed on the agenda.
Agenda driven control and execution The agenda is the list of activated rules. We use the run command to run the agenda. Running the agenda causes the rules in the agenda to be fired. CLIPS>(run)
Displaying the agenda To display the set of rules on the agenda, enter the command (agenda)
Watching activations and rules You can watch activations in the agenda by entering (watch activations) You can watch rules firing using (watch rules) All subsequent activations and firings will be shown until you turn the watch off using the unwatch command.
Clearing all constructs (clear) clears the working memory
The PRINTOUT command Instead of asserting facts in a rule, you can print out messages using (printout t “Ali is Ahmed’s son” crlf)