期刊文献+

扩充析取逻辑程序的诱导语义

原文传递
导出
摘要 基于诱导推理,提出了析取逻辑程序的一种说明语义框架,称为典型诱导语义(TAS)证明了TAS不仅具有完全性而且是析取稳定语义的自然扩展.利用相干原理,TAS很容易推广到扩充析取程序类,由此可以定义TAS的一种合理扩充,并能解决常识推理中一些典型问题.
出处 《中国科学(E辑)》 CSCD 1997年第4期368-374,共7页 Science in China(Series E)
基金 国家攀登计划 "八六三"计划 国防科技大学计算机科学 技术博士后流动站资助项目
  • 相关文献

参考文献1

  • 1Dung P M,J Logic Prog,1995年,24卷,151页

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部