由美国实用主义哲学家皮尔斯(Peirce)创立的一种逻辑形式。与演绎推理不同,溯因推理在逻辑上并不具有确定性。溯因推理从已知的某个结果出发,试图确定与其相关的解释,所以常称为寻求最佳解释的推理(inference to the best explanation)。...[继续阅读]

    一种高级知识表示框架,可用于以溯因推理为基础求解问题。它允许一些谓词不完全定义,将其声明为可溯因的谓词,从而扩展了普通的逻辑程序设计。...[继续阅读]

    是数据类型的数学模型,其中:一个数据的类型由该数据用户观点的行为(语义)来定义,具体指一些可能的值、对该类型的数据可能的一些操作,以及这些操作的行为。...[继续阅读]

    在统计学中,绝对频率用于描述一项试验或一组试验期间出现的特定数据或值的次数。从本质上讲,它是特定事物发生的次数。若将整个试验的每个相对频率相加,则所有相对频率的总和等于试验期间收集的数据或观察的总数。...[继续阅读]

    一个抽象个体描述某类事物的集合及集合中成员的属性,该个体不是针对某个具体的成员而设置,是用来说明集合中全体成员的某些一般性质。这样的个体称为抽象个体。在人工智能的对象结构化表示法中,为了增加对象的集合,或增加...[继续阅读]

    在规划系统中用来描述抽象行为的运算符。一旦描述了抽象操作,规划系统就可填充规划的具体内容。...[继续阅读]

    在计算机科学和软件开发中,抽象是指消除研究对象或系统的物理、空间或时间细节或属性的过程,以便关注更感兴趣的细节。抽象过程也称为建模,在本质上与泛化过程非常相似。计算机科学中的抽象与数学中的抽象密切相关,也与艺...[继续阅读]

    一种通过数据读入或数据改变来触发新的计算的编程方法。...[继续阅读]

    在计算机网络系统中,为保持信息的一致性而对服务器与其他协作节点访问所提出的统一规约。...[继续阅读]

    对某种行为负责并解释这些行为的能力,专指基于知识的专家系统的解释其推理或决策方法的能力。...[继续阅读]