论文部分内容阅读
提出了抽象缺省推理框架和D-后承关系的概念。从而进一步给出D-后承关系的表示性质，并由此证明了任意无联结词形式的累积非单调后承关系，可以用抽象缺省推理框架来表示。
一种抽象缺省推理框架的表示性质
【摘 要】
：
提出了抽象缺省推理框架和D-后承关系的概念。从而进一步给出D-后承关系的表示性质，并由此证明了任意无联结词形式的累积非单调后承关系，可以用抽象缺省推理框架来表示。
【机 构】
：
南京航空航天大学信息科学与技术学院,清华大学信息科学技术学院
【出 处】
：
南京航空航天大学学报：英文版
【发表日期】
：
2006年3期
【基金项目】
：
国家自然科学基金（60473036）资助项目.
其他文献
采用透射电子显微镜对固溶单级时效处理7055铝合金中的沉淀相进行了研究。在较短的时效时间里，可以观察到GP区在{111}面上形成，随着时效时间增加，GP区逐渐长大。η＇亚稳相在120℃
提出了一种新型的多相活动轮廓模型，是无边活动轮廓模型的广义形式。该模型具有如下特点：（1）提出了背景填充技术，可以在检测目标内部弱边缘时去除阻碍检测的背景信息；（2）在单次二相水