...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and Practice of Logic Programming >Fuzzy linguistic logic programming and its applications
【24h】

Fuzzy linguistic logic programming and its applications

机译：模糊语言逻辑程序设计及其应用

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

摘要

The paper introduces fuzzy linguistic logic programming, which is a combination of fuzzy logic programming, introduced by P. Vojtas, and hedge algebras in order to facilitate the representation and reasoning on human knowledge expressed in natural languages. In fuzzy linguistic logic programming, truth values are linguistic ones, e.g., VeryTrue, VeryProbablyTrue and LittleFalse, taken from a hedge algebra of a linguistic truth variable, and linguistic hedges (modifiers) can be used as unary connectives in formulae. This is motivated by the fact that humans reason mostly in terms of linguistic terms rather than in terms of numbers, and linguistic hedges are often used in natural languages to express different levels of emphasis. The paper presents: (a) the language of fuzzy linguistic logic programming; (b) a declarative semantics in terms of Herbrand interpretations and models; (c) a procedural semantics which directly manipulates linguistic terms to compute a lower bound to the truth value of a query, and proves its soundness; (d) a fixpoint semantics of logic programs, and based on it, proves the completeness of the procedural semantics; (e) several applications of fuzzy linguistic logic programming; and (f) an idea of implementing a system to execute fuzzy linguistic logic programs.
机译：本文介绍了模糊语言逻辑程序设计，这是由P. Vojtas引入的模糊逻辑程序设计和对冲代数的组合，以促进自然语言中人类知识的表示和推理。在模糊语言逻辑编程中，真值是语言值，例如，从语言真值变量的对冲代数中提取的VeryTrue，VeryProbablyTrue和LittleFalse，语言对冲（修饰语）可以用作公式中的一元连接词。这是由于人们的推理主要是根据语言而不是数字来进行，自然语言中经常使用语言对冲来表达不同程度的强调。本文提出：（a）模糊语言逻辑编程语言； （b）关于Herbrand解释和模型的声明性语义； （c）一种程序语义，直接处理语言术语以计算查询真值的下限，并证明其合理性； （d）逻辑程序的定点语义，并在此基础上证明过程语义的完整性； （e）模糊语言逻辑程序设计的几种应用； （f）实现一种执行模糊语言逻辑程序的系统的想法。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号