×

背景推理:通常鸟类可以诱骗性地飞行。 (英语) Zbl 1491.68202号

Balduccini,Marcello(编辑)等人,《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10377, 64-77 (2017).
摘要:我们提出了一种新的上下文推理逻辑编程方法,该方法基于弱完成语义(WCS),后者在过去已成功应用于充分建模各种人类推理任务。WCS的一个特性是关于未定义原子的开放世界假设。这是一个不同于其他常见逻辑编程语义的特征,这是一种在建模人类推理时似乎合适的属性。尽管如此,我们已经注意到,著名的Tweety默认推理示例最初由Reiter介绍,无法在WCS下直接建模。因此,为了解决这个问题,并以Pereira和Pinto的检查点为灵感,我们发展了一种上下文推理的概念,为此我们引入了上下文逻辑程序。我们重新考虑了WCS在这些方面的形式属性,并验证了它们是否仍然有效。最后,我们阐述了语境诱因,并表明不仅原始的Tweety示例可以在新方法中很好地建模,而且还可以在更复杂的示例中建模,其中语境起着重要作用。
关于整个系列,请参见[兹比尔1367.68005].

MSC公司:

68T27型 人工智能中的逻辑
68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部