占优结构的相似性与局部相似性研究
批准号：
60573070
项目类别：
面上项目
资助金额：
23.0 万元
负责人：
朱朝晖
依托单位：
学科分类：
模式识别与数据挖掘
结题年份：
2008
批准年份：
2005
项目状态：
已结题
项目参与者：
肖奚安、徐敏、周勇、肖文洁、张晋津
项目摘要
结项摘要
项目成果
朱朝晖的其他基金
相似基金
相关文献
中文摘要
本项目旨在针对当前择优型非单调逻辑研究中所面临的一些问题，围绕占优结构的相似性与局部相似性，探讨占优结构若干深层次的模型论性质并将其应用到相关问题的研究中。主要研究内容包括：探讨占优结构的相似性与等价性的内在联系；研究一般规则可公理化的单射占优结构子类的模型论特征；探究条件断言布尔组合的表达能力；基于占优结构的商结构探讨单射后承的模型论及逻辑特征。该项目为相关问题的研究提供了新的研究视角和技术途径，其研究有助于加深对占优结构基础性质的把握，使我们对通常所采用的逻辑规则类型在占优语义下的描述能力有更加深刻的认识，更加全面地了解占优结构内在结构性质与外在推理行为之间的有机联系。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
10.1016/j.tcs.2006.02.025
发表时间：
2006-08
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
[Zhaohui Zhu;Rong Zhang;Shan Lu]
通讯作者：
Zhaohui Zhu;Rong Zhang;Shan Lu
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[]
通讯作者：
DOI：
10.1093/logcom/exm020
发表时间：
2007-08
期刊：
J. Log. Comput.
影响因子：
--
作者：
[Zhaohui Zhu;Wenjie Xiao]
通讯作者：
Zhaohui Zhu;Wenjie Xiao
DOI：
--
发表时间：
--
期刊：
软件学报 (录用，待发)
影响因子：
--
作者：
[]
通讯作者：
DOI：
10.2178/jsl/1191333843
发表时间：
2007-09
期刊：
Journal of Symbolic Logic
影响因子：
0.6
作者：
[Rong Zhang;Zhaohui Zhu]
通讯作者：
Rong Zhang;Zhaohui Zhu
共 7 条
余代数框架下的近似行为等价理论与模态逻辑研究
-
批准号：60973045
-
项目类别：面上项目
-
资助金额：28.0万元
-
批准年份：2009
-
负责人：朱朝晖
-
依托单位：
面向智能体的信念变化研究
-
批准号：60175017
-
项目类别：面上项目
-
资助金额：18.0万元
-
批准年份：2001
-
负责人：朱朝晖
-
依托单位：
基于关系理论的多智能体系统中的意图结构理论
-
批准号：69875007
-
项目类别：面上项目
-
资助金额：8.0万元
-
批准年份：1998
-
负责人：朱朝晖
-
依托单位：
国内基金
海外基金