基于粒计算的AI中问题求解地研究.pdfVIP

基于粒计算的AI中问题求解的研究 刘清 (南昌大学计算机科学工程系 南昌330029) 、 AbstractInthe inAIbasedoft is andits paper·a resolving—problem proposed．The computing granule computing rulesdefined are into variouslocal local toa Collapsingglobalgranulation granules，andgranules amalgamating are the isillustratedwithreal proposed—Final globalgranulation reasoning example． Granule，Granular Keywords computing．Collapsinggranulation，Granuleamalgamating 1．引言 如a，或(a，v)关于通常意义下的逻辑联结词～(否 AI中的问题求解是指将整体分解为局部直至 最基本的本原问题求解，随后将各本原或局部问题 的解合并，从而得到整体问题的一个解。为此我们要 研究知识表示，也就是说，要研究用逻辑公式表示要 求解的问题，并将整个公式分解成各子公式，直至命 2粒的计算规则 题或谓词。求解后，要将其各个局部解合并成整体 解，为此需要定义合并规则。这个思想早在1985年， 我们注意到粒运算是有序二元对的计算，因此 在Los 遵循对的两个元素分别按它们各自的意义和性质进 Angeles举行的国际人工智能联合会议上， Stanford大学教授Hobbs在会议上发表了题为行运算，所以它分别是逻辑和集合的运算。 “Granularity”的文章“]。他在这篇文章中明确指出 了AI中问题求解的思想框架。至今已近20年了，两个粒，它们关于粒联结词～(否)．o(或)，o(与)， 但很少、至少是我目前还未有发现有人沿着这个思 ⑥(隐含)和⑧(等值)的计算规则分别定义如下： 想继续研究，原因是什么?我想一个主要问题是 (1)～(甲，d(牛))一(～甲，U—d(甲))； Hobbs在他研究的思想框架里有一个极端困难的问 (2)(甲，d(妒))@(甲’，d(cp’))一(中Acp’，d(甲)nd 题，也就是他提出的模型含有=阶问题。这就是 (cp’))t (1)(V|X，Y)x～yi(V P∈R)(p(x)5p(y)) (2)(V (9’))； x，y)x～y5I“x)一f(y)I￡ ifand ifforall (3)x～y only P∈R，ifP(x)and both defined，then P(y)are P(x)三p(y)。 (f’)V 至今经典逻辑中对一阶问题求解的许多方法仍