高级人工智能071.pptx

2020/2/19史忠植高级人工智能1高级人工智能第七章归纳学****1)史忠植中国科学院计算技术所2020/2/,其任务是从中归纳出一个一般的概念描述。归纳学****能够获得新的概念,创立新的规则,发现新的理论。泛化(generalization)用来扩展一假设的语义信息,以使其能够包含更多的正例,应用于更多的情况。特化(specialization)是泛化的相反的操作,用于限制概念描述的应用范围。2020/2/19史忠植高级人工智能4归纳学****的一般模式给定:①观察语句集(事实)F:这是有关某类对象中个别具体对象的知识或某一对象的部分特征的知识。②假定的初始归纳断言(可空):是关于目标的泛化项或泛化描述。③背景知识:背景知识定义了在观察语句和所产生的候选归纳断言上的假定和限制,以及任何有关问题领域知识。有关问题领域知识包括特化所找归纳断言的期望性质的择优标准。寻找:归纳断言H(hypothesis),H重言或弱蕴涵观察语句并满足背景知识。2020/2/19史忠植高级人工智能5基本符号表~非&合取(逻辑乘)析取(逻辑加)蕴涵逻辑等价项重写异或F事实集H假设|>特化|<泛化2020/2/19史忠植高级人工智能6基本符号表|=重新形式化vi存在量词约束变项viIvi数值存在量词约束变项vivi全称量词约束变项viDi概念描述Ki判断一个概念的名字的谓词::>将概念描述与概念名连接的蕴涵ei一个事件(对一种情况的描述)Ei仅对概念ki的事件为真的谓词Xi属性LEF评价函数DOM(P)描述符P的定义域2020/2/19史忠植高级人工智能7概念获取概念获取的一类特殊情况,它的观察语句集F是一个蕴涵的集合,其形式如下:F:{eik::>Ki}iI其中,eik(Ki的训练事件)是概念Ki的第k个例子的符号描述。概念的谓词Ki,I是Ki的下标集合。eik::>Ki的含义是“凡符合描述eik的事件均可被断言为概念Ki的例子。2020/2/19史忠植高级人工智能8概念获取学****程序要寻求的归纳断言H可以用概念识别规则集来刻画,形式如下:H:{Di::>Ki}iI其中Di是概念Ki的描述,即表达式Di是事件的逻辑推论,该事件可被断言为概念Ki的一个例子。2020/2/19史忠植高级人工智能9完整性条件iI(EiDi)2020/2/19史忠植高级人工智能10一致性条件i,jI(Di~Ej),若ij