蝉蜕、阿加塔;Fermüller，Christian G。;乔治·梅特卡夫 模糊逻辑的统一规则和对话游戏。 （英语） Zbl 1109.03019号 Baader，Franz（编辑）等人，《编程逻辑、人工智能和推理》。2005年3月14日至18日，乌拉圭蒙得维的亚，第11届国际会议，LPAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25236-3/pbk）。计算机科学课堂讲稿3452。人工智能课堂讲稿，496-510（2005）。 摘要：我们在关系超序列的框架中为三种基本的基于t-范数的模糊逻辑，即Łukasiewicz逻辑、哥德尔逻辑和乘积逻辑，提供了统一的可逆逻辑规则。关系超序列概括了超序列和关系序列。这种框架可以通过一类特定的对话游戏和赌注来解释，其中的规则反映了游戏中可能的动作。确定原子关系超序列有效性的问题对于每个逻辑来说都是多项式的，这使得我们可以发展Co-NP计算。我们还为计算提供了非常简单的初始关系超序列，这些超序列只在逻辑的结构规则中变化。关于整个系列，请参见[Zbl 1070.68001号]. 引用于1审查引用于15文件 MSC公司： 03B52号 模糊逻辑；模糊逻辑 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}等人，Lect。注释计算。科学。3452496--510（2005；Zbl 1109.03019） 全文： 内政部