The basic structure of most expert systems. The necessary conditions are introduced by an “IF” keyword, and the consequences, if those conditions are met, by a “THEN” keyword.