Logic STIT
Definition
STIT viết tắt của ‘See To It That’ (Thấy để làm điều đó). Đây là một nhánh …
Formal Methods
Terms tagged with Formal Methods
Logic modal nhận thức
Definition
Logic modal nhận thức mở rộng logic cổ điển bằng các toán tử biểu thị những gì một tác …
Logic nhận thức động
Definition
Logic nhận thức động (DEL) mở rộng logic modal để mô hình hóa cách thức kiến thức tiến …
Concurrent MetateM
Definition
Concurrent MetateM là một ngôn ngữ đặc tả cấp cao chủ yếu được sử dụng trong robot và hệ …
Xác minh tác nhân
Definition
Điều này liên quan đến việc sử dụng các phương pháp toán học để đảm bảo hành động của tác …