• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Logic for Programming, Artificial Intelligence, and Reasoning(LPAR 2005); 20051202-06; Montego Bay(JM) >Satisfiability Checking for PC(ID)
【24h】

Satisfiability Checking for PC(ID)

机译：PC（ID）的满意度检查

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The logic FO(ID) extends classical first order logic with inductive definitions. This paper studies the satisifiability problem for PC(ID), its prepositional fragment. We develop a framework for model generation in this logic, present an algorithm and prove its correctness. As FO(ID) is an integration of classical logic and logic programming, our algorithm integrates techniques from SAT and ASP. We report on a prototype system, called MIDL, experimentally validating our approach.
机译：逻辑FO（ID）用归纳定义扩展了经典的一阶逻辑。本文研究了介词片段PC（ID）的可满足性问题。我们使用这种逻辑开发了一个用于模型生成的框架，提出了一种算法并证明了其正确性。由于FO（ID）是经典逻辑和逻辑编程的集成，因此我们的算法集成了SAT和ASP的技术。我们报告了一个称为MIDL的原型系统，通过实验验证了我们的方法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号