占优结构的相似性与局部相似性研究

本项目旨在针对当前择优型非单调逻辑研究中所面临的一些问题，围绕占优结构的相似性与局部相似性，探讨占优结构若干深层次的模型论性质并将其应用到相关问题的研究中。主要研究内容包括：探讨占优结构的相似性与等价性的内在联系；研究一般规则可公理化的单射占优结构子类的模型论特征；探究条件断言布尔组合的表达能力；基于占优结构的商结构探讨单射后承的模型论及逻辑特征。该项目为相关问题的研究提供了新的研究视角和技术途径，其研究有助于加深对占优结构基础性质的把握，使我们对通常所采用的逻辑规则类型在占优语义下的描述能力有更加深刻的认识，更加全面地了解占优结构内在结构性质与外在推理行为之间的有机联系。