DTU_AI lecture 08

  • Knowledge base is a set of sentences.
  • proposition letters p, q, r ... they generate set of different situations. eg. three propositional letters generate 2^3 = 8 situations
  • propositions are all true. ?? 不对。
  • Tautology is a statement that is always true.
  • A formula is satisfiable if there exists an assignment of truth values which makes the formula true.
  • An inference is valid if under any assignment of values which make premises true, conclusion is also true.
posted @ 2020-05-03 18:13  keeps_you_warm  阅读(87)  评论(0)  编辑  收藏  举报