TTNT_Chapter.ppt

Artificial Intelligence Trí Tuệ Nhân Tạo Chapter 6 – Logical Agents Lê Quân Hà N i dungộ • Knowledge-based agents • Một ví dụ: Wumpus world • Logic tổng quát  mô hình (models) và phép suy diễn (entailment) • Logic mệnh đề (Propositional logic) • Tương đương logic (Equivalence), Hằng đúng (validity), Khả thỏa (satisfiability) • Suy luận logic (Inference rules) và chứng minh định lý (theorem proving) • Thuật toán Vương Hạo • Phương pháp hợp giải (Resolution) • Lập luận tiến (Forward chaining) • Lập luận lùi (Backward chaining) Knowledge Bases Agent • Cơ sở tri thức (Knowledge Base)  Tập hợp các tri thức đặc tả về miền đối tượng nào đó.  Là các "câu" (sentences) khẳng định về thế giới thực, được biểu diễn bằng một ngôn ngữ thuận tiện cho máy tính gọi là ngôn ngữ biểu diễn tri thức. • Cơ sở tri thức được xây dựng nhờ:  agent được cung cấp các tri thức ban đầu về miền (declarative).  agent khám phá tri thức mới (learning) • Các thao tác chính của knowledge-based agents:  TELL : nhận các thông tin dưới dạng các cảm nhận (percept)  ASK : suy diễn để chọn hành đông hợp lý mà agent phải thực hiện  Câu trả lời sẽ được suy ra từ các tri thức đã cung cấp (TOLD) cho agent trước đây. • Động cơ suy diễn (Inference engine) gồm các thuật toán độc lập với miền đối tượng dùng để xác định các tri thức mới hay hành động được suy ra từ KB A simple knowledge-based agent • Agent phải có thể :  Biểu diễn trạng thái, hành động, ….  Thu nạp các nhận thức mới  Cập nhật biểu diễn bên trong về thế giới  Suy luận ra các thuộc tính ẩn của thế giới  Suy luận để chọn các hành động tương ứng function KB-AGENT(percept) returns an action static: KB, a knowledge base t , a counter, initially 0, indicating time TELL(KB, MAKE-PERCEPT-SENTENCE(percept, t)) action ASK(KB, MAKE-ACTION-QUERY(t)) TELL(KB, MAKE-ACTION-SENTENCE(action, t)) t ← t + 1 return action Ví d v Knowledge-based agentsụ ề Wumpus World • Môi trường Wumpus world là một hang động gồm nhiều phòng nối với nhau bởi các hành lang. • Ẩn đấu một nơi nào đó trong hang động là wumpus , một con thú ăn thịt bất cứ ai vào phòng của nó. • Agent có duy nhất một mũi tên mà có thể dùng để bắn wumpus • Trong một số phòng nào đó có chứa những hố sấu không đáy (bottomless pits) sẽ đánh bẫy bất cứ ai lang thang vào những phòng này. • Mục đích của agent là tìm phòng chứa vàng và mang nó trở về nơi xuất phát mà không bị giết. Wumpus Wumpus Wumpus World PEAS description • Performance measure  gold +1000, death -1000  -1 per step, -10 for using the arrow • Environment  A grid of rooms surrounded by walls can contain agent and object  The agent always starts in the square labeled [1,1],  The locations of the gold and the wumpus are chosen randomly, • Sensors:  In the squares directly (not diagonally) adjacent squares to the wumpus, the agent will perceive a stench.  In the squares directly adjacent to a pit, the agent will perceive a breeze.  In the square where the gold is, the agent will perceive a glitter.  When an agent walks into a wall, it will perceive a bump.  When the wumpus is killed, it emits a woeful scream that can be perceived anywhere in the cave. Wumpus World PEAS description • Actuators:  Left turn  Right turn  Forward – đi tới  Moving forward has no effect if there is a wall in front of the agent  Grab – nhặt  to pick up an object that is in the same square as the agent.  Shoot  to fire an arrow in the direction the agent is facing. The arrow continues until it either hits and kills the wumpus or hits a wall.  The agent only has one arrow, so only the first Shoot has effect  Release  to leave the cave;  it is effective only when the agent is in the start square. Wumpus world characterization • Fully Observable  No – only local perception • Deterministic  Yes – outcomes exactly specified • Episodic  No – sequential at the level of actions • Static  Yes – Wumpus and Pits do not move • Discrete  Yes • Single-agent?  Yes – Wumpus is essentially a natural feature Exploring a wumpus world A Agent B Breeze G Glliter, Gold OK Safe Square P Pit S Stench V Visitted W Wumpus The first percept [ None, None, None, None, None ]. There was no stench or breeze in [1,1], the agent can infer that [1,2] and [2,1] are free of dangers. They are marked with an OK Exploring a wumpus world A Agent B Breeze G Glliter, Gold OK Safe Square P Pit S Stench V Visitted W Wumpus Agent decides to move forward to [2,1]. After moving, percept is [ None, Breeze, None, None, None ] . Artificial Intelligence Trí Tuệ Nhân Tạo Chapter 6 – Logical Agents Lê Quân Hà N i dungộ • Knowledge-based agents • Một ví dụ: Wumpus world • Logic