الخيار

إجراء ممتد زمنياً يتألّف من ثلاثي: مجموعة بدء (الحالات التي يمكن فيها تفعيله)، وسياسة داخلية (تختار الإجراءات البدائية)، وشرط إنهاء (يحدد متى يتوقف). الخيارات تُعمِّم الإجراءات البدائية والسياسات الكاملة معاً.

A temporally extended action defined by a triple: an initiation set (states where it can start), an internal policy (selects primitive actions), and a termination condition (determines when to stop). Options generalize both primitive actions and full policies.