tailieunhanh - Logical Agents: Chapter 6

Logical Agents: Chapter 6 sau đây bao gồm những nội dung về Knowledge-based agents, Logic tổng quát, Logic mệnh đề, tương đương logic; suy luận logic và chứng minh định lý, phương pháp hợp giải, lập luận tiến, lập luận lùi. | Logical Agents Chapter 6 05/2005 1 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) 05/2005 2 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 05/2005 3 A simple knowledge-based agent 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 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 05/2005 4 Ví dụ về Knowledge-based agents Wumpus World Wumpus 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