منطق STIT
Definition
اختصار STIT يعني ‘يرى أن’ (See To It That). وهو فرع من المنطق النمطي يُستخدم …
Formal Methods
Terms tagged with Formal Methods
المنطق النمطي المعرفي
Definition
يوسع المنطق النمطي المعرفي المنطق الكلاسيكي بمشغلات تدل على ما يعرفه أو يؤمن به الوكيل. …
المنطق الإبستمولوجي الديناميكي
Definition
يوسع المنطق الإبستمولوجي الديناميكي (DEL) المنطق النمطي لنمذجة كيفية تطور المعرفة عندما …
Concurrent MetateM
Definition
Concurrent MetateM هي لغة تحديد عالية المستوى تُستخدم أساسًا في الروبوتات والأنظمة …
التحقق من صحة الوكيل
Definition
يتضمن ذلك استخدام الأساليب الرياضية لضمان امتثال أفعال الوكيل للقيود المسبقة، مثل حدود …