1) proper subset
真子集
2) Non empty and proper subset
非空真子集
3) 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形式化中的应用。
4) Vacuum collection
真空收集
补充资料：真子
【真子】
（术语）如来之真子，谓诸菩萨也。是于法信顺堪绍佛业者。又真实之行解由佛口而生，依正法而生，故云真子。涅槃经一曰：“成就如是无量功德，一切皆是佛之真子。”胜鬘宝窟下曰：“真子者，于法信顺，堪绍佛业，故名真子。又行解非妄名真，从佛口生，从正法故，名如来真子。又摄论意，佛子有五义：一以信心为种子，二以般若为母，三以禅为体，四以忍为乳，五以佛为父。又如无量义经以诸佛为父，方等经以诸佛为母，生菩萨子。”大日经疏一曰：“以从如来种性生，从佛身语意生，故曰真子。”
（术语）如来之真子，谓诸菩萨也。是于法信顺堪绍佛业者。又真实之行解由佛口而生，依正法而生，故云真子。涅槃经一曰：“成就如是无量功德，一切皆是佛之真子。”胜鬘宝窟下曰：“真子者，于法信顺，堪绍佛业，故名真子。又行解非妄名真，从佛口生，从正法故，名如来真子。又摄论意，佛子有五义：一以信心为种子，二以般若为母，三以禅为体，四以忍为乳，五以佛为父。又如无量义经以诸佛为父，方等经以诸佛为母，生菩萨子。”大日经疏一曰：“以从如来种性生，从佛身语意生，故曰真子。”
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条