乔里·恩格弗里特;Herre,Heinrich先生;特雷尔,简 多信念集的非单调推理。 (英语) Zbl 0920.03039号 安。数学。Artif公司。智力。 24,编号1-4225-248(1998). 总结:在复杂的推理任务中,通常情况下,在给定一些初始信息的情况下,没有一组正确的结论。相反,可能有几个这样的结论集,我们称之为信念集。本文引入非单调信念集算子和选择算子来形式化和分析多信念集推理的结构方面。我们定义并研究了信念集算子的形式属性,如吸收性、同余性、超演绎性和弱信念单调性。此外,还证明了对于每个满足强信念累积性的信念集算子,其下存在一个最大的单调逻辑,从而推广了非单调推理操作的结果。最后,我们研究了与信念集算子相连的选择算子的抽象性质,这些选择算子用于选择一些可能的信念集。 引用于1文件 理学硕士: 03B60号 其他非经典逻辑 68T27型 人工智能中的逻辑 关键词:非单调推理;非单调逻辑;非单调信念集算子;选择运算符;多信念集推理;最大单调逻辑 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人,《数学年鉴》。Artif公司。智力。24,编号1--4,225-248(1998;Zbl 0920.03039) 全文: 内政部