Script Theory

Script theory is a psychological theory which posits that human behaviour largely falls into

patterns called "scripts" because they function analogously to the way a written script does, by
providing a program for action. 

Roger Schank, Robert P. Abelson and their research group, extended Tomkins' scripts and used
them in early artificial intelligence work as a method of representing procedural knowledge.[1] In
their work, scripts are very much like frames, except the values that fill the slots must be ordered.
A script is a structured representation describing a stereotyped sequence of events in a particular
context. Scripts are used in natural-language understanding systems to organize a knowledge
base in terms of the situations that the system should understand.
The classic example of a script involves the typical sequence of events that occur when a person
drinks in a restaurant: finding a seat, reading the menu, ordering drinks from the waitstaff... In the
script form, these would be decomposed into conceptual transitions, such
as MTRANS and PTRANS, which refer to mental transitions [of information] and physical
transitions [of things].

Simplification Rules ( We study all these rules in class also)

A system designed to achieve artificial intelligence (AI) via a model solely based on
predetermined rules is known as a rule-based AI system. The makeup of this simple system
comprises a set of human-coded rules that result in pre-defined outcomes.
In propositional logic, conjunction elimination (also called and elimination, ∧ elimination, or
simplification) is a valid immediate inference, argument form and rule of inference
which makes the inference that, if the conjunction A and B is true, then A is true, and
B is true