泛运算模型的对偶关系-智能技术学报.pdf

第２卷　第２期 智 能技 术 学报 ２０１０年１２月 Ｖｏｌ．２　　Ｎｏ．２ ＣＡＡＩＴｒａｎｓａｃｔｉｏｎｓｏｎＩｎｔｅｌｌｉｇｅｎｃｅＴｅｃｈｎｏｌｏｇｙ Ｄｅｃ．２０１０  泛运算模型的对偶关系 罗敏霞，姚　宁 （中国计量学院理学院，杭州　３１００１８） 摘　　　要：证明了泛逻辑零级（一级）泛与运算模型、泛或运算模型、泛非运算模型之间的对 偶关系。建立了零级（一级）泛与运算模型的自守强对偶或运算模型及非运算模型，同时给出 了零级（一级）泛或运算模型的非自守强对偶与运算模型及非运算模型。 关　键　词：泛与运算模型；泛或运算模型；泛非运算模型 中图分类号：ＴＰ１８ 文献标识码：Ａ ＤｕａｌＲｅｌａｔｉｏｎｓｈｉｐｏｆＵｎｉｖｅｒｓａｌＯｐｅｒａｔｉｏｎＭｏｄｅｌｓ ＬＵＯＭｉｎｘｉａ，ＹＡＯＮｉｎｇ （ＳｃｈｏｏｌｏｆＳｃｉｅｎｃｅ，ＣｈｉｎａＪｉｌｉａｎｇＵｎｉｖｅｒｓｉｔｙ，Ｈａｎｇｚｈｏｕ３１００１８，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉｓｐａｐｅｒ，ｉｔｉｓｐｒｏｖｅｄｔｈａｔｔｈｅｒｅｉｓｔｈｅｄｕａｌｒｅｌａｔｉｏｎｓｈｉｐｏｆｔｈｅ０ｌｅｖｅｒ（１ｌｅｖｅｌ）ｕｎｉ ｖｅｒｓａｌｃｏｎｊｕｎｃｔｉｏｎｍｏｄｅｌ，ｔｈｅ０ｌｅｖｅｒ（１ｌｅｖｅｌ）ｕｎｉｖｅｒｓａｌｄｉｓｊｕｎｃｔｉｏｎｍｏｄｅｌａｎｄｔｈｅ０ｌｅｖｅｌ（１ｌｅｖｅｌ） ｕｎｉｖｅｒｓａｌｎｅｇａｔｉｏｎｍｏｄｅｌ．Ｍｏｒｅｏｖｅｒ，ａｕｔｏｍｏｒｐｈｉｃｓｔｒｏｎｇｄｕａｌ０ｌｅｖｅｌ（１ｌｅｖｅｌ）ｕｎｉｖｅｒｓａｌｄｉｓｊｕｎｃｔｉｏｎ ｍｏｄｅｌａｎｄｕｎｉｖｅｒｓａｌｎｅｇａｔｉｏｎｍｏｄｅｌｏｆ０ｌｅｖｅｌ（１ｌｅｖｅｌ）ｕｎｉｖｅｒｓａｌｃｏｎｊｕｎｃｔｉｏｎｍｏｄｅｌ，ｎｏｎａｕｔｏｍｏｒ ｐｈｉｃｓｔｒｏｎｇｄｕａｌ０ｌｅｖｅｌ（１ｌｅｖｅｌ）ｕｎｉｖｅｒｓａｌｃｏｎｊｕｎｃｔｉｏｎｍｏｄｅｌａｎｄｕｎｉｖｅｒｓａｌｎｅｇａｔｉｏｎｍｏｄｅｌｏｆｔｈｅ０ ｌｅｖｅｌ（１ｌｅｖｅｌ）ｕｎｉｖｅｒｓａｌｄｉｓｊｕｎｃｔｉｏｎｍｏｄｅｌａｒｅｅｓｔａｂｌｉｓｈｅｄ． Ｋｅｙｗｏｒｄｓ：ｕｎｉｖｅｒｓａｌｃｏｎｊｕｎｃｔｉｏｎｍｏｄｅｌ；ｕｎｉｖｅｒｓａｌｄｉｓｊｕｎｃｔｉｏｎｍｏｄｅｌ；ｕｎｉｖｅｒｓａｌｎｅｇａｔｉｏｎｍｏｄｅｌ 　　２１世纪是智能化的世纪，智能科技和生物科技一起将主导社会的发展。智能科技需要认知、脑、生 命和复杂系统等科学提供智能机制原型，也需要逻辑学提供智能活动规律的一般理论。２０世纪８０年代 中期出现的人工智能理论危机暴露了数理逻辑的局限性，时代的发展要求数理逻辑由“排斥一切不确定 性”的刚性逻辑学向“包容一切不确定性”的柔性逻辑学过渡。２０世纪末，何华灿教授［１］提出泛逻辑学理 论，给出了泛逻辑二元命题联结词的运算模型及泛非命题联结词的运算模型。 零级泛与运算模型： 　　收稿日期：２０１０－１０－１０ 基金项目：国家自然科学基金资助项目 作者简介：罗敏霞（１９６４—），女，博士，教授，主要从事人工智能基础理论、非经典逻辑及模糊推理研究。 ５６ 智 能技 术 学报  １ ｍ ｍ ｍ