Như trong chủ đề trước, chúng ta đã tìm hiểu về thế giới quái vật và cách một Agent dựa trên kiến thức phát triển thế giới. Bây giờ trong chủ đề này, chúng ta sẽ tạo ra một cơ sở kiến thức cho thế giới quái vật và sẽ rút ra một số chứng minh cho thế giới chiến binh bằng cách sử dụng logic mệnh đề.
Agent bắt đầu ghé thăm từ ô vuông đầu tiên [1, 1], và chúng tôi đã biết rằng phòng này an toàn cho Agent. Để xây dựng nền tảng kiến thức cho Wumpus world, chúng ta sẽ sử dụng một số quy tắc và mệnh đề nguyên tử. Chúng ta cần ký hiệu [i, j] cho mỗi vị trí trong Wumpus world, trong đó i là vị trí của các hàng và j cho vị trí của cột.
Atomic proposition variable cho Wumpus world:
- Đặt Pi, j là true nếu có Pit trong phòng [i, j].
- Giả sử Bi, j là true nếu Agent cảm nhận được làn gió trong [i, j], (sống hoặc chết).
- Giả sử Wi, j là true nếu có wumpus trong hình vuông [i, j].
- Giả sử Si, j là đúng nếu Agent nhận thấy mùi stench trong hình vuông [i, j].
- Giả sử Vi, j là true nếu hình vuông [i, j] đó được truy cập.
- Cho Gi, j là đúng nếu có vàng (và lấp lánh) trong hình vuông [i, j].
- Hãy để OKi, j là đúng nếu căn phòng an toàn.
Lưu ý: Đối với bảng hình vuông 4 * 4, sẽ có 7 * 4 * 4 = 122 biến mệnh đề.
Một số quy tắc mệnh đề cho Wumpus world:
Lưu ý: thiếu biến sẽ cung cấp cho chúng ta các quy tắc tương tự cho mỗi ô.
Đại diện của Cơ sở kiến thức cho Wumpus world:
Sau đây là KB đơn giản cho Wumpus world khi một Agent di chuyển từ phòng [1, 1] sang phòng [2,1]:
Ở đây trong hàng đầu tiên, chúng ta đã đề cập đến các biến mệnh đề cho phòng [1,1], điều này cho thấy rằng phòng không có wumpus (¬ W11), không có mùi stench (¬S11), không có Pit (¬P11), không có gió ( ¬B11), không có vàng (¬G11), đã đến thăm (V11), và căn phòng là An toàn (OK11).
Trong hàng thứ hai, chúng tôi đã đề cập đến các biến mệnh đề cho phòng [1,2], điều này cho thấy rằng không có wumpus, mùi stench và gió thoảng là không xác định được vì Agent chưa đến thăm phòng [1,2], không có hố, chưa được thăm. chưa, và căn phòng vẫn an toàn.
Trong hàng thứ ba, chúng tôi đã đề cập đến biến mệnh đề cho phòng [2,1], cho thấy rằng không có wumpus (¬ W21), không có mùi stench (¬S21), không có Pit (¬P21), cảm nhận làn gió (B21), không vàng(¬G21), đã thăm (V21), và phòng vẫn an toàn (OK21).
Chứng minh rằng Wumpus đang ở trong phòng (1, 3)
Chúng ta có thể chứng minh rằng wumpus ở trong phòng (1, 3) bằng cách sử dụng các quy tắc mệnh đề mà chúng ta đã suy ra cho Wumpus world và sử dụng quy tắc suy luận.
- Áp dụng Modus Ponens với ¬S11 và R1:
Trước tiên, chúng tôi sẽ áp dụng quy tắc MP với R1 là ¬S11 → ¬ W11 ^ ¬ W12 ^ ¬ W21 và ¬S11 sẽ cung cấp đầu ra ¬ W11 ^ W12 ^ W12.
- Áp dụng And-Elimination Rule:
Sau khi áp dụng quy tắc loại trừ And cho ¬ W11 ∧ ¬ W12 ∧ ¬ W21, chúng ta sẽ nhận được ba câu lệnh:
¬ W11, ¬ W12 và ¬W21.
- Áp dụng Modus Ponens cho ¬S21 và R2:
Bây giờ chúng ta sẽ áp dụng Modus Ponens cho ¬S21 và R2 là ¬S21 → ¬ W21 ∧¬ W22 ∧ ¬ W31, sẽ cho Đầu ra là ¬ W21 ∧ ¬ W22 ∧¬ W31
- Áp dụng quy tắc Elimination rule và:
Bây giờ một lần nữa áp dụng quy tắc Loại bỏ Và cho ¬ W21 ∧ ¬ W22 ∧¬ W31, Chúng ta sẽ nhận được ba câu lệnh:
¬ W21, ¬ W22 và ¬ W31.
- Áp dụng MP cho S12 và R4:
Áp dụng Modus Ponens cho S12 và R4 là S12 → W13 ∨. W12 ∨. W22 ∨.W11, chúng ta sẽ nhận được đầu ra là W13∨ W12 ∨ W22 ∨.W11.
- Áp dụng Unit resolution trên W13 ∨ W12 ∨ W22 ∨W11 và ¬ W11:
Sau khi áp dụng công thức phân giải Đơn vị trên W13 ∨ W12 ∨ W22 ∨W11 và ¬ W11, chúng ta sẽ nhận được W13 ∨ W12 ∨ W22.
- Áp dụng Unit resolution trên W13 ∨ W12 ∨ W22 và ¬ W22:
Sau khi áp dụng độ phân giải Đơn vị trên W13 ∨ W12 ∨ W22 và ¬W22, chúng ta sẽ nhận được W13 ∨ W12 làm đầu ra.
- Áp dụng Unit resolution trên W13 ∨ W12 và ¬ W12:
Sau khi Áp dụng độ phân giải Đơn vị trên W13 ∨ W12 và ¬ W12, chúng ta sẽ nhận được W13 làm đầu ra, do đó chứng minh rằng Wumpus đang ở trong phòng [1, 3].
