释义 |
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相对这些框架条件是框架可靠的。
|