首先简略介绍了Ｃｏｑｕａｎｄ和Ｈｕｅｔ的构造演算以及Ｐｌｏｔｋｉｎ和孙踊的受囿算子系统，然后，将构造演算在受囿算子系统中进行公理化，此公理化无需无限级（数据）类型结构......

提出一个动态可增殖的多层次自组织认知系统，每个层次具有形式上一致的知识表示方法，各层的自组关联、自组聚合、归约和样本表达四个......