Chủ nhiệm Bộ môn Phan Nguyên Hải ĐỀ CƯƠng chi tiết bài giảNG

- Các vấn đề:

+ Làm thế nào để chuyển dữ liệu vào video thành Dirt(0,1)?

+ Ra quyết định giả thiết môi trường tình: hợp lý cho việc tính toán

+ Ra quyết định sử dụng logic bậc 1 là không thể quyết định.

- Thậm chí khi ta dùng logic định đề, ra quyết định trong trường hợp xấu nhất nghĩa là giải các bài toán co-NP đầy đủ.

- Các giải pháp thường gặp

+ làm yếu logic

+ dùng các biểu diễn ký hiệu và không logic

+ chuyển nhấn mạnh lập luận từ thời gian chạy sang thời gian thiết kế

- Ta sẽ xem một số ví dụ ứng với cách tiếp cận này.

2.3 Các vấn đề

- Cách tiếp cận logic như đã được trình bày hàm ý bổ sung và loại bỏ các mẫu từ một cơ sở dữ liệu

- Đó không phải là logic thuần túy

- Những nỗ lực ban đầu để tạo ra một tác tử lập kế hoạch cố gắng dùng suy diễn logic đúng để giải bài toàn.

2.4 Các hệ thống lập kế hoạch

- Lập kế hoạch liên quan đến hai vấn đề tìm kiếm và biểu diễn tri thức

- Các hệ thống lập kế hoạch:

+ Lập kế hoạch cho Robot (STRIPS)

+ Lập kế hoạch cho các thứ nghiệm sinh học (MOLGEN)

+ Lập kế hoạch cho các hoạt động diễn văn

- Để giải thích, ta dùng một lĩnh vực đơn giản - The Blocks World

2.5 The Blocks World

- The Blocks World (ngày nay) bao gồm các khối có kích thước tương đương trên bàn

- Một cánh tay robot có thể điều chỉnh các khối sử dụng các hành động:

+ UNSTACK(a, b)

+ STACK(a, b)

+ PICKUP(a)

+ PUTDOWN(a)

+ ONTABLE(B)

+ ONTABLE(C)

+ CLEAR(A)

+ CLEAR(C)

+ ARMEMPTY

2.6 Các công thức logic để mô tả các thực trạng luôn đúng của thế giới

- Tất nhiên ta có thể viết các sự thật logic tổng quá liên quan đến các vị từ: