A logic system that tracks current status and facilitates changes in status through decisions and transition processes