克里斯蒂安·格雷斯;阿迪娜·玛格达·弗洛里亚;John-Jules Ch.梅耶。 全混合微积分,它的互模拟不变性及其在论证中的应用。 (英语) Zbl 1361.68231号 Fisher,Michael(编辑)等人,《多智能体系统中的计算逻辑》。第十三届国际研讨会,CLIMA XIII,法国蒙彼利埃,2012年8月27日至28日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32896-1/pbk)。计算机科学课堂讲稿7486。《人工智能课堂讲稿》,181-194(2012)。 摘要:以往的研究表明,论证语义可以用一元二阶逻辑来描述。虽然某些表达力较低的模态逻辑也可以捕获一些语义,但找到能够描述某些论证语义的最小模态逻辑这一一般问题迄今为止在文献中还没有得到太多关注。在本文中,我们证明了完全混合演算不能描述首选语义,从而为开放问题提供了否定答案。我们证明了对首选语义的怀疑和轻信版本也是如此。我们的结果依赖于完全混合演算相对于适当的互模拟概念的不变性。我们在本文中提供了这种不变性的完整证明。关于整个系列,请参见[Zbl 1246.68033号]. 引用于1文件 MSC公司: 68T27型 人工智能中的逻辑 03B45号 模态逻辑(包括规范逻辑) 关键词:全混合微积分;论证;互模拟 PDF格式BibTeX公司 XML格式引用 \textit{C.Grate}等人,Lect。注释计算。科学。7486,181--194(2012;Zbl 1361.68231) 全文: 内政部