中文模板 Key words: default logic; specificity; stationary extension; complexity [gap=103]关键词 : 缺省逻辑;特殊性;稳定扩充;复杂性
基于2498个网页-相关网页
传统的模糊逻辑和缺省逻辑不能动态地、完全地描述用户提出的各种不确定性需求。
Traditional fuzzy logic and default logic can not dynamically and completely describe uncertain requirements of users.
级差含义是一类典型的一般会话含义，在推理的逻辑本质上属于缺省逻辑并具有系统形式化的可能。
As a typical species of generalized conversational implicature, scalar implicature falls well into the realm of Default Logic susceptible to systematic formalization.
最后，本文讨论了统计缺省逻辑扩充的性质与计算，并定义和研究了闭正规的统计缺省逻辑的性质及其证明理论。
At last, we discuss the properties and computation of the statistical default logic, at the same time, we define and study the properties and proof theory of the normal statistical default logic.
应用推荐