×
拉菲·易卜拉欣

模糊逻辑编程。 （英语） Zbl 0985.68010号

模糊集系统。 117，第2期，215-230（2001）.
总结：我们开发模糊逻辑编程，目的是为模糊专家系统提供理论背景。通过我们提出的模糊逻辑编程系统，研究人员和实践者得到了理论上的结果，即系统只产生正确的答案，并产生所有可能的正确答案。引入了模糊逻辑结果的新概念。提出了一种模糊最小模型。通过以下一系列定理证明了模糊逻辑程序的声明性、最小模型、不动点和过程语义之间的等价性。
最终的结果是系统的可靠性和完整性：1。模糊子句集的Herbrand（mu）模型的存在性。2.\（\mu\）-模型交集属性。3.模糊最小模型与模糊Herbrand基之间的关系。4.最小模糊Herbrand模型的不动点特征。5.模糊逻辑编程系统的可靠性-系统产生的任何答案都是正确的。6.模糊逻辑编程系统的完整性-该系统生成所有正确的答案。

引用于9文件

MSC公司：

68N17号 逻辑编程
03B52号 模糊逻辑；模糊逻辑
68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等）
68层37 人工智能背景下的不确定性推理

关键词：

模糊逻辑程序设计;模糊Herbrand基

软件：

FPROLOG公司;FRIL公司
PDF格式BibTeX公司 XML格式引用
\textit｛R.Ebrahim｝，模糊集系统。117，No.2，215--230（2001；Zbl 0985.68010）
全文： 内政部

参考文献：

[1] Apt，K.R.，《逻辑编程》（van Leeuwen，J.，《理论计算机科学手册》，第B卷（1990），Elsevier:Elsevier Amsterdam），493-574·Zbl 0900.68136号
[2] J.F.Baldwin，T.P.Martin，《抽象FRIL机器中模糊集的快速运算》，Proc。IEEE国际。模糊系统会议1992年，1992年，第803-810页。；J.F.Baldwin，T.P.Martin，《抽象FRIL机器中模糊集的快速运算》，Proc。IEEE国际。《模糊系统会议》1992年，1992年，第803-810页。
[3] 鲍德温，J.F。；马丁·T·P。；Pilsworth，B.W.，Fril-人工智能中的模糊和证据推理（1995），研究出版社，威利：研究出版社，纽约威利
[4] 鲍德温，J.F.，《模糊逻辑》（1996），威利出版社：威利纽约·Zbl 0866.00035号
[5] R.S.Boyer，J.S.Moore，《定理证明程序中结构的共享》，收录于：B.Meltzer，D.Midie（编辑），《机器智能》，第7卷，爱丁堡大学出版社。；R.S.Boyer，J.S.Moore，定理证明程序中结构的共享，收录于：B.Meltzer，D.Midie（编辑），《机器智能》，第7卷，爱丁堡大学出版社，爱丁伯格·Zbl 0249.68032号
[6] Chang，C.L。；Lee，R.C.T.，《符号逻辑与机械定理证明》（1973），学术出版社：纽约学术出版社·Zbl 0241.68039号
[7] D.Dubois，J.Lang，H.Prade，POSLOG，基于可能性逻辑的推理系统，Proc。1990年北美模糊信息处理协会大会，多伦多，1990年，第1189-1277页。；D.Dubois，J.Lang，H.Prade，POSLOG，基于可能性逻辑的推理系统，Proc。1990年北美模糊信息处理协会大会，多伦多，1990年，第1189-1277页。
[8] Enderton，H.B.，《逻辑数学导论》（1972），学术出版社：纽约学术出版社·Zbl 0298.0202号
[9] M.Ishizuka，N.Kanai，Prolog-ELF合并模糊逻辑，Proc。第九届国际JCAI，1985年，第701-703页。；M.Ishizuka，N.Kanai，Prolog-ELF合并模糊逻辑，Proc。第九届国际JCAI，1985年，第701-703页。
[10] H.Kikuch，M.Mukaidono，PROFIL-模糊区间逻辑序言，国际印前。模糊系统应用研讨会，1988年，第205-206页。；H.Kikuch，M.Mukaidono，PROFIL-模糊区间逻辑序言，国际印前。模糊系统应用研讨会，1988年，第205-206页。
[11] R.A.Kowalski，《谓词逻辑作为一种编程语言，信息处理74》，北霍兰德，斯德哥尔摩，1974年，第569-574页。；R.A.Kowalski，《谓词逻辑作为一种编程语言》，《信息处理74》，北霍兰德，斯德哥尔摩，1974年，第569-574页·Zbl 0297.68006号
[12] Kowalski，R.A.，《问题解决的逻辑》（1979），北荷兰人：北荷兰纽约·Zbl 0426.68002号
[13] Kowalski，R.A.，《算法=逻辑+控制》，通信ACM，22，7，424-436（1979）·Zbl 0404.68010号
[14] Kowalski，R.A.，《逻辑编程和逻辑规范之间的关系》，（Hoare，C.A.R.；Shepherdson，J.C.，《数学逻辑和编程语言》（1985），普伦蒂斯·霍尔：普伦蒂塞·霍尔恩格尔伍德克利夫斯，新泽西），11-27
[15] Kowalski，R.A.，带选择函数的线性分辨率，人工智能，227-260（1971）·Zbl 0234.68037号
[16] 李德华，刘德华，模糊序言数据库系统，研究出版社，托马斯特，英国。；D.Li，D.Liu，模糊序言数据库系统，研究出版社，英国萨默塞特郡汤姆。
[17] Lloyd，J.W.，逻辑编程基础（1987），施普林格：施普林格柏林·Zbl 0547.68005号
[18] Loveland，D.W.，《自动定理证明：逻辑基础》（1978年），北荷兰人：北荷兰纽约·Zbl 0364.68082号
[19] T.P.Martin，J.F.Baldwin，B.W.Pilsworth，《FPROLOG的实现——模糊序言解释器》，1987年。；T.P.Martin，J.F.Baldwin，B.W.Pilsworth，《FPROLOG的实现——模糊序言解释器》，1987年·Zbl 0633.68091号
[20] Mendelson，E.，《数学逻辑导论》（1979），Van Nostrand，普林斯顿：Van Nostrand，新泽西州普林斯顿·Zbl 0192.01901号
[21] Minker，J.，《演绎关系数据库》，《纽约年鉴》（1983），纽约科学院：科学院·Zbl 0574.68077号
[22] Mukaidono，M.，《模糊逻辑编程基础》，《模糊系统进展——应用与理论》，第1卷（1996年），世界科学：新加坡世界科学
[23] 沈振中，丁立群，穆凯多诺，模糊分解原理，Proc。第18届多值逻辑国际研讨会，第5卷，1989年。；沈振中，丁立群，穆凯多诺，模糊分解原理，Proc。第18届多值逻辑国际研讨会，第5卷，1989年·Zbl 0666.68089号
[24] Shepherdson，J.C.，逻辑编程中的否定，（Minker，J.，演绎数据库和逻辑编程基础，19-88（1988），Morgan Kaufmann:Morgan Koufmann Los Altos，CA）·Zbl 0718.68020号
[25] 肖恩菲尔德，J.，《数学逻辑》（1967），艾迪森·韦斯利：艾迪森·韦斯利阅读，马萨诸塞州·Zbl 0155.01102号
[26] M.Umano，Fuzzy set Prolog，第二届国际印刷术预印本。模糊系统协会（IFSA）大会，东京，1987年，第750-753页。；M.Umano，Fuzzy set Prolog，第二届国际印刷展预告。模糊系统协会（IFSA）大会，东京，1987年，第750-753页。
[27] H.Yasui，Y.Hamada，M.Mukaidono，基于Lukasiewicz蕴涵和有界积的Fuzzy Prolog，IEEE Trans。模糊系统，1995。；H.Yasui，Y.Hamada，M.Mukaidono，基于Lukasiewicz蕴涵和有界积的Fuzzy Prolog，IEEE Trans。模糊系统，1995年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。