ABSTRACT
The mathematical notation we have been using so far has many advantages in terms of clarity and being implementation agnostic. For longer examples, however, it can be hard to follow. Therefore, in this chapter, we will intro duce some simpler, easy to read notation, that we will use for the upcoming case studies. We shall refer to the new notation as CML, which stands for Cognitive Modeling Language. CML uses an intuitive English-like syntax for specifying precondition and effect axioms. As a familiar artifice to aid memorization, for complex actions CML falls back on familiar C /C + + style syntax. As we shall see, CML is not a radical departure from the mathemat ical notation and each CML construct has an obvious and straightforward mapping to the underlying mathematical notation.
