4-1. Logic-KB, Wumpus world

Knowledge-based agents

Knowledge bases (KB)

KB : 문장들의 집합 (set of sentences in a formal language)

  - Tell : KB에 새로운 문장(지식)을 추가

  - Ask : KB에 있는 문장을 질의

  - Inference (추론) : Ask 연산 수행시 그에 대한 답이 반드시 KB에 Tell 연산을 통해 추가된 어떤 문장에서 도출되어야 함

 

Knowledge based agent

agent는 사전에 자신의 KB에 일정한 Background Knowledge를 가지고 있을 수 있음

agent를 KB를 유지하고 있음

percept 1개를 입력 -> action 1개를 반환

• TELL(KB, MAKE-PERCEPT-SENTENCE(percept, t)) : 주변의 환경을 지각하여(percept) KB에 알려줌
• KB에 동작(action) 요청하는 ASK 연산 수행
• 자신이 선택한 동작을 다시 KB에 알려주는 TELL연산을 수행
• 동작(action)을 반환

agent는 KB를 기반으로 한 근거있는 행동만을 반환해야 함

 

Wumpus world

goal : wumpus와 pit을 피해 gold를 무사히 찾는 것

(1,1)에서 agent가 출발

Characterization

• fully observable? (전반적인 판을 다 관측 가능한지) : No
  • sensor로 주변 상황을 파악해야 함
• Deterministic? (output이 명시되어있는지) : Yes
  • ex) Pit 사방에 Breeze
• Static? (판의 구성요소가 바뀌지 않는지)  : Yes
  • Wumpus나 Pit이 움직이지는 않음
• Discrete? : Yes
• Single-agent? : Yes

Explore

agent의 추론을 통해 상황을 파악해야 함

 

KB가 정확하다면, agent가 KB(주어진 정보)로부터 어떤 action을 이끌어낼때마다 action 역시 정확함을 보장