| 释义 |
1 [计]?框架公理 这些预设本身，则叫作“框架公理”(frame axioms)。但麻烦的是，由于这个框架所牵涉到的信息量过于庞大，对于它的表征往往会导致系统的运算负担过大，并无法完成实时任务。
- 1
Secondly, we introduce a prepositional class-selection semantics, give the frame conditions of the character axioms of the systems. 其次，我们建立命题型的择类语义，给出描述上述系统的特征公理的框架条件。 - 2
Secondly, we introduce the relation semantics, give the frame conditions of the character axioms of KA, prove the frame soundness of KA with respect to the frame conditions. 其次，我们引入关系语义，给出描述KA的特征公理的框架条件，证明KA相对这个框架条件是框架可靠的。 - 3
Secondly, we introduce the order neighborhood semantics, give the frame conditions of the character axioms of DEC2, prove the frame soundness of DEC2 with respect to the frame conditions. 其次，我们引入有序邻域语义，给出描述DEC2的特征公理的框架条件，证明DEC2相对这些框架条件是框架可靠的。
|