1) true-false subset semantics
真假子集语义
1.
In order to eliminate the problems with existing logic of belief, desire and intention, and to provide a proper semantic representation for non-normal modal operator, the problems with existing logic of belief, desire and intention are addressed, the true-false subset semantics, which is developed by the authors, and its application in the formalization of agent are introduced.
介绍了作者开发的真假子集语义及其在Agent形式化中的应用。
3) multi-subset semantic
多子集语义
1.
This paper put forward a concurrent agent model based on multi-subset semantic.
针对多Agent系统中各Agent并发动作的特点,通过多子集语义,避免了逻辑全知及副作用等问题,通过区分宏观时间和微观时间,给出一个交叠式并发的语义模型,描述了宏观时间中的并发性,为基于并发的多Agent合作与竞争提供了逻辑基础。
5) simulation semanteme
仿真语义
6) truth-conditional semantics
真值语义
1.
It is found that,to some extent,the former is a complementation of the latter,and appraisal system is another powerful development of truth-conditional semantics.
真值语义学在众多语义学理论中长期处于权威地位,但也存在着某些自身无法解决的问题。
补充资料：不变子集
不变子集
mvariant subset
不变子集汇加粕雌阴亡即肠以;H.即“明.oe邢脚助狱ec-，0]，群G的 G的子集H，它包含它的每个元素h在G中的所有共辘元(conj贝势te ekn笠幻t)，即所有形为g一’hg的元素.不变子半群(invanani sub一~·group)是一.压忍葱胜到厉价周落玉耳蕊胃.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条