×

通过否定作为失败而退缩:独立选择逻辑中的稳定模型。 (英语) Zbl 0957.68013号

摘要:独立选择逻辑(ICL)是将逻辑和决策/博弈理论结合成一个连贯框架的项目的一部分。ICL有一个简单的可能世界语义,其特点是独立选择,以及一个非循环逻辑程序,指定这些选择的后果。本文给出了ICL的外推特征。ICL是理论上定义的模型,但我们证明它是自然溯因的:命题\(g\)的一组解释是对\(g\)为真的世界的简明描述。我们给出了一个计算解释的算法,并表明它在可能世界语义方面是合理和完整的。这种方法的独特之处在于,对“(g)”的否定的解释可以从“(g”的解释中得出。还讨论了概率在这个框架中对选择的使用,以及超越非循环逻辑程序的使用。

MSC公司:

68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部