大卫·普尔 通过否定作为失败而退缩:独立选择逻辑中的稳定模型。 (英语) Zbl 0957.68013号 J.日志。程序。 44,编号1-3,5-35(2000). 摘要:独立选择逻辑(ICL)是将逻辑和决策/博弈理论结合成一个连贯框架的项目的一部分。ICL有一个简单的可能世界语义,其特点是独立选择,以及一个非循环逻辑程序,指定这些选择的后果。本文给出了ICL的外推特征。ICL是理论上定义的模型,但我们证明它是自然溯因的:命题\(g\)的一组解释是对\(g\)为真的世界的简明描述。我们给出了一个计算解释的算法,并表明它在可能世界语义方面是合理和完整的。这种方法的独特之处在于,对“(g)”的否定的解释可以从“(g”的解释中得出。还讨论了概率在这个框架中对选择的使用,以及超越非循环逻辑程序的使用。 引用于27文件 MSC公司: 68N17号 逻辑编程 关键词:独立选择逻辑;非循环逻辑程序 PDF格式BibTeX公司 XML格式引用 \textit{D.Poole},J.Log。程序。44,编号1--3,5--35(2000;Zbl 0957.68013) 全文: 内政部