论文部分内容阅读
在分离稳定的语义和推论之间的关系很少被探索。特别地，怎么由分离稳定的语义用分离逻辑程序执行推论的问题仍然是开的。这份报纸尝试到地址这个问题和一个满足的解决方案被提供，在哪个一个分离逻辑程序自然地被转变成一个参数框架，轻信的推论作为所有可接受的假设的最大的成员被描绘。在这个语义框架，一些有趣的结果被获得。特别地，轻信的推论的形式主义能通过分离稳定的模型被实现，这被显示出。作为结果，工作提供为分离稳定的语义在分离扣除数据库，而且自然、完全的延期执行推论(诱拐) 的不仅一个新方法。