For solution, see lecture notes . Operators transform one state into another. A sentential form is a string derived from S using the phrasal and lexical rules of a grammar, and which still contains at least one non-terminal symbol. Give an example of a predicate operator in the logical form language. A daemon is a procedure which is triggered when a slot in a frame is accessed in a certain way.
Conflict resolution occurs when a number of rules are all eligible to fire.
A strategy is then required to decide which of the eligible rules should be used. For example, the conflict resolution might choose to use the first rule listed in the rule database.