AI-Introduction-1

Lucas-TY

AI|Jan 30, 2024|Last edited: Feb 1, 2024|
type
status
date
slug
summary
tags
category
icon
password

Knowledge base

Knowledge base Logical Agents

  • Knowledge representation: Store and represent fact about the world
  • Knowledge base: "database"of al facts("sentences")
  • Knowledge reasoning: making logical inference about stored facts
  • ASK function: takes an input question("sentences")returns T or F or not defined.
  • TELL function: deriving new sentences from old ones
  • entailment:
  • inference:

Propositional logic

  • Syntax: defines the possible well-formed configurations of symbols in the language
  • Semantic: defines the "meaning" of the sentence, and the truth of a sentence in a world
  • conjunctions:
  • implies:
  • equivalence:
  • Not:
  • Variables:
  • Quantifiers:
  • Constant: CSE3521
  • Functions:

Semantics in the truth table form

notion image

Forward and backward chaining

  • Forward: triggered by addition of new fact to KB (using TELL)
  • Backward: chaining designed to find all answers to a question posed to KB (using ASK)