美文网首页
自然语言陈述和推理演算过程

自然语言陈述和推理演算过程

作者: Nino_Lau | 来源:发表于2019-05-05 10:33 被阅读0次

分析自动售货机软件例子生成的判定表图例的第6列和第23列,分别给出:

  1. 输入条件的自然语义陈述;
  2. 输出结果的自然语义陈述;
  3. 用命题逻辑形式描述实现上述输入-输出过程所应用的判定规则,并写出获得输出结果的推理演算过程。
image

自然语言陈述

  • 第6列:
    • 输入(1,1,0,1,0)代表在售货机有零钱的情况下,投入一元硬币,并按下橙汁按钮。
    • 输出(0,0,1,1,0)代表售货机(零钱找完)灯灭,找回五角硬币并且送出橙汁。
  • 第23列:
    • 输入(0,1,0,0,1)代表在售货机没有零钱的情况下,投入一元硬币,按下啤酒按钮。
    • 输出(1,1,0,0,0)代表售货机(零钱找完)灯亮,退还一元硬币。

命题逻辑推理

  • 约定:

    • A:售货机有零钱
    • B:投入一元硬币
    • C:投入五角硬币
    • D:按下橙汁按钮
    • E:按下啤酒按钮
    • F:该找五角
    • G:可找五角
    • H:按下按钮
    • I:钱付清
    • J:零钱找完灯亮
    • K:退还一元硬币
    • L:找回五角硬币
    • M:送出橙汁饮料
    • N:送出啤酒饮料
  • 6:输入 (A,B,C,D,E)=(1,1,0,1,0) ,得到输出 (J,K,L,M,N)=(0,0,1,1,0)。

    • D\lor E \to H
    • B\land H \to F
    • A \land F \to G
    • G \to L
    • C \lor G \to I
    • I \land D \to F
  • 23:输入 (A,B,C,D,E)=(0,1,0,0,0) ,得到输出 (J,K,L,M,N)=(1,1,0,0,0)。

    • ^\neg A\to J
    • D \lor E \to H
    • B \land H \to F
    • ^\neg A \land F \to K

相关文章

  • 自然语言陈述和推理演算过程

    分析自动售货机软件例子生成的判定表图例的第6列和第23列,分别给出: 输入条件的自然语义陈述; 输出结果的自然语义...

  • 高阶逻辑,一看就懂

    逻辑就是推理(量化、演算)规则。 在自然语言中,逻辑是内隐的。我们通过语言分析试图把逻辑本身表达出来,便产生了符号...

  • D21|100《逻辑思维简易入门》逻辑思维是什么

    推理的研究逻辑思维侧重推理过程的结果,及推理过程中信念以及构成信念的要件之间的某种逻辑关系,他也关注陈述之间的逻辑...

  • 逻辑学导论7

    &命题演算:公理系统 判断有效推理形式的方法 真值表法,归谬赋值法 生成有效推理形式的方法 公理系统和自然推演系统...

  • 固定基本原则(8)只陈述

    只陈述,不要推理,不要评价,不自己以为。

  • 观察世界全新维度——逻辑推理能力

    逻辑推理即演绎推理,就是从一般性的前提出发,通过推导得出具体陈述或个别结论的过程。其重要意义在于,它对人的思维保持...

  • 《文学少女对数学少女》电子书免费下载(azw3+pdf+mobi

    内容简介 “推理小说虽然是用自然语言写成的,却和形式系统具有相同的性质。” 文学少女陆秋槎,为探究推理小说的严密性...

  • 271-280

    轮转陈述 轮转陈述又称轮转重复式陈述,设置团体某个成员依次对团体其他成员,大声陈述自己同一个看法和感受的过程。这种...

  • 实用性思考的艺术拆书课-我的应用

    片段: 更好地思考的6条基本规则: 1. 确立最具可行性的问题优先排序 2. 陈述问题 3. 将情感影响从推理过程...

  • Enhanced LSTM for Natural Langua

    摘要: 模型推理,我们提出了一个新的先进的结果,在斯坦福自然语言推理数据集中实现准确率88.6%。 1 Intro...

网友评论

      本文标题:自然语言陈述和推理演算过程

      本文链接:https://www.haomeiwen.com/subject/mrlcoqtx.html