Schema

SE212

A schema is a way of grouping together (and then later reusing) related information.

• Above the middle line is a signature: we introduce elements with their types
• Below the middle line is the predicate part: contains wffs that are implicitly conjoined together

State Space Schema

The state space schema describes the possible states. A state is a set of variables with their types. To be listed in the state space schema, these variables must change their values during some operation of the system.

In the state space schema, the predicate part lists the Invariants.

We can then do “Schema Inclusion”, where we include a schema in another schema simply by listing the name of the other schema in the signature.

Delta Schema

To describe an operation on a state of the system, we need both the current and next values of the system.

We use the notation $\Delta NameOfSchema$, which is equivalent to writing $NameOfSchema$ $NameOfSchem{a}^{\prime }$

Psychology

In Psychology, A schema is a cognitive framework or concept that helps organize and interpret information. See Social Cognition.