• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Chinese science bulletin >A formal deductive system for fuzzy prepositional calculus
【24h】

A formal deductive system for fuzzy prepositional calculus

机译：模糊命题演算的形式演绎系统

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

A great disturbance was raised by the report of Elkan entitled "The Paradoxical Success of Fuzzy Logic" at the llth Annual Conference on Artificial Intelligence held in the United States in July, 1993 15 famous experts working in artificial intelligence and fuzzy systems refuted the opinion. Elkan then gave another report entitled "The Paradoxical Controversy over Fuzzy Logic" as a reply to the refutations mentioned above. Prof. Wu gave a detailed analysis on the controversy (see ref.). This shows that there is no rigid logic foundation for fuzzy prepositional calculus. In this note we first point out that it is impossible to keep all classical theorems as tautologies in the field of fuzzy prepositional calculus. Then we introduce a formal deductivesystem in fuzzy prepositional calculus by giving up certain classical axioms, and the corresponding soundness theorem is proved.
机译：1993年7月在美国举行的第11届人工智能年度会议上，Elkan的题为“模糊逻辑的悖论性成功”的报告引起了极大的干扰。15位从事人工智能和模糊系统研究的著名专家对此表示反对。埃尔坎然后发表了另一份题为“模糊逻辑的自相矛盾的争论”的报告，以回应上述的反驳。吴教授对这一争议进行了详细分析（参见参考资料）。这表明模糊介词演算没有刚性的逻辑基础。在本文中，我们首先指出，在模糊介词演算领域，不可能将所有经典定理都保持为重言式。然后，通过放弃某些经典公理，在模糊介词演算中引入形式演绎系统，并证明了相应的稳性定理。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号