×

处置的计算理论。 (英语) Zbl 0641.68153号

概述:处置可以被解释为一个占优势但不一定总是正确的命题。从这个意义上说,鸟类会飞是一种性格,瑞典人是金发碧眼的,雪是白色的,苗条是有吸引力的。本文所述理论的一个基本思想是,处置可以被视为一个带有隐含模糊量词的命题,这些模糊量词是对所有和始终的近似,例如,几乎所有、几乎总是、大多数、经常、通常等。例如,鸟会飞可以解释为大多数鸟会飞这个命题中抑制模糊量词最多的结果。同样,年轻男性喜欢年轻女性,这可能被解读为大多数年轻男性喜欢大多数年轻女性。将处置转化为带有显式模糊量词的命题的过程称为显式或还原。
显式为通过使用测试核心语义来表示处置的含义奠定了基础[见作者,Int.J.Man-Mach.Stud.10,395-460(1978;Zbl 0406.68063号)]. 在这种语义学方法中,命题p被视为相互关联的弹性约束的集合,p的含义被表示为一个测试、评分和聚合由p诱导的约束的过程。文章最后描述了一种基于模糊三段论概念的处理推理方法。具有倾向性的Syllost推理对常识推理以及专家系统中的不确定性管理都有重要影响。作为本文所述技术的一个简单应用,我们制定了典型性的定义,并在变量的典型值和常用值之间建立了联系。

MSC公司:

68T99型 人工智能
68问题55 计算理论中的语义学
03B52号 模糊逻辑;模糊逻辑
PDF格式BibTeX公司 XML格式引用