Lec 10 知识表示与推理1

Knowledge representation and reasoning (KRR)

First-order logic: syntax and semantics

Y. Liu Intro to AI 1 / 86

What is KRR?

Symbolic encoding of propositions believed by some agent and

their manipulation to produce representations of propositions that

are believed by the agent but not explicitly represented

An example

Y. Liu Intro to AI 2 / 86

We need knowledge to answer questions

Y. Liu Intro to AI 3 / 86

Yet another example

Y. Liu Intro to AI 4 / 86

Why KRR?

KR hypothesis: any artificial intelligent system is

knowledge-based

i.e., actions depend on beliefs, including implicitly represented

beliefs

Y. Liu Intro to AI 5 / 86