位置：立项数据库 > 立项详情页
基于回答集语义的约束逻辑程序设计
  • 项目名称：基于回答集语义的约束逻辑程序设计
  • 项目类别：面上项目
  • 批准号：60573009
  • 申请代码：F0201
  • 项目来源：国家自然科学基金
  • 研究期限：2006-01-01-2008-12-31
  • 项目负责人：张明义
  • 负责人职称：研究员
  • 依托单位：贵州科学院
  • 批准年度：2005
中文摘要：

上世纪八十年代后期发展起来的基于回答集语义的逻辑程序理论，开辟了非单调逻辑程序领域的新研究方向，成为计算机科学和人工智能研究的一个热点。允许经典否定、否定即失败(negation as failure)和嵌套表达式(nested expression)出现在规则中以及可计算回答集软件系统的出现，极大地扩大了逻辑程序表示不完全知识和推理的能力。用逻辑形式化数据库的概念和技术导致一个重要的研究方向-

中文主题词： 约束逻辑程序设计;回答集;修正程序
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 21
  • 16
  • 0
  • 0
  • 0
期刊论文
A characterization of answer sets for logic programs
Consistency Property of Finite FC-Normal Logic Programs
基于格的访问控制策略在RBAC中实现的形式化分析
H-KK映像及抽象凸（凹）性
基于整数小波变幻的准无失真图像压缩技术
UML模型的协调性检查
A polynomial time algorithm for the minimum quartet inconsistency problem with O(n) quartet errors
Quartet based phylogeny reconstruction with answer set programming
Recycling computed answers in rewrite systems for abduction
安全数据库隐蔽通道的标识技术与实例分析
中间逻辑中的良构范式
G3逻辑中的弱合取范式
基于Logic SQL的B2级安全机制的研究与设计
Eletronic Commerce Technology and its Security Problems
An Approach handling Conflicts in Authorization
Unfolding Partiality and Disjunctions in Stable Model Semantics
An Approach for Handling Conflicts in Authorization
一种超图类的全图存在性问题研究
三素元组猜想对于Peano公理组的条件独立性
基于安全标签的访问控制研究与设计
一种快速逃离局部极小点的BP算法
会议论文
Some Results on Order-Consistent Logic Programs
Repeated negotiation of logic programs
First-order loop formulas for normal logic programs.
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints
Maximal Invariable Update operator Based on Splitting
A Constructive Method of Finest Splitting of Belief Set
Partial Meet Contraction Based on Relevance Criterion
Forgetting in Logic Programs with Ordered Disjunction
Axiom P and Reliable Belief Change Operator Change in Belief Revision
Extended Negative Association Rules and the Corresponding Algorithm
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities
On compatibility and forward chaining normality
Fuzzy Semi-Equivalence Relation
Model-Characterizing Formulas and Normal Forms in Godel Logics
个性化搜索引擎中用户兴趣模型的研究
Answer set Programming with Function
张明义的项目
数理逻辑（非经典）在知识工程中的应用
难于计算问题的固定参数复杂性研究及应用
期刊论文 1
可信约束下软件错误诊断与修正框架
期刊论文 14 会议论文 9