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



tải về 4.09 Mb.
trang18/44
Chuyển đổi dữ liệu26.11.2017
Kích4.09 Mb.
#34644
1   ...   14   15   16   17   18   19   20   21   ...   44

- Mỗi hành động có:

+ Tên: có thể có các đối số

+ Danh sách điều kiện tiên quyết: danh sách các thực trạng phải là đúng để hành động được thực hiện

+ danh sách xóa: danh sách các thực trạng không còn đúng sau khi hành động thực hiện

+ danh sach thêm: danh sách thực trạng trở thành đúng sau khi thực hiện hành động.

Mỗi thành phần có thể bao gồm các biến.



- Ví dụ 1:

Hành động xếp (Stack) xảy ra khi cánh tay robot đặt đối tượng x nó đang giữ được đặt lên trên đối tượng y.


Stack(x, y)
pre Clear(y) Ù Holding(x)
del Clear(y) Ù Holding(x)
add ArmEmpty Ù On(x, y)

- Ví dụ 2:

Hành động dỡ (UnStack) xảy ra khi cánh tay robot nhặt đối tượng x từ trên một đối tượng khác y.

UnStack(x, y)


pre On(x, y) Ù Clear(x) Ù ArmEmpty
del On(x, y) Ù ArmEmpty
add Holding(x) Ù Clear(y)
Hành động xếp và dỡ là trái ngược nhau.

- Ví dụ 3:

Hành động nhặt pickup xảy ra khi cách tay nhặt một đối tượng x trên bàn.

Pickup(x)


pre Clear(x) Ù OnTable(x) Ù ArmEmpty
del OnTable(x) Ù ArmEmpty
add Holding(x)

- Ví dụ 4

Hành động đặt xảy ra khi cánh tay đặt đối tượng x lên bàn
Putdown(x)
pre Holding(x)
del Holding(x)
add Clear(x) Ù OnTable(x) Ù ArmEmpty

2.3 Một kế hoạch

- Một kế hoạch là gì?

Một kế hoạch là một danh sách hành động với các biến được thay thế bằng các hằng



2.4 Cách tiếp cận STRIPS

- Hệ thống STRIPS gốc dùng một stack mục tiêu để điều khiển công việc tìm kiếm

- Hệ thống có một cơ sở dữ liệu và một stack mục tiêu, và nó tập trung nỗ lực giải quyết các mục tiêu trên cùng (có thể liên quan đến giải quyết các mục tiêu con, sau đó được đẩy vào trong stack,…)



- Đặt mục tiêu vào stack mục tiêu

- Coi Goal1 là mục tiêu trên cùng, đặt trên nó các mục tiêu con



- Sau đó cố gắng giải quyết các mục tiêu con GoalS1-2, và tiếp tục…


Каталог: files -> FileMonHoc
FileMonHoc -> NGÂn hàng câu hỏi lập trình cơ BẢn nhóm câu hỏI 2 ĐIỂM
FileMonHoc -> CHƯƠng 2 giới thiệu về LÝ thuyết số
FileMonHoc -> CÁc hệ MẬt khoá CÔng khai kháC
FileMonHoc -> BỘ MÔn duyệt chủ nhiệm Bộ môn
FileMonHoc -> Khoa công nghệ thông tin cộng hòa xã HỘi chủ nghĩa việt nam
FileMonHoc -> Chủ nhiệm Bộ môn Ngô Thành Long ĐỀ CƯƠng chi tiết bài giảNG
FileMonHoc -> Chủ nhiệm Bộ môn Phan Nguyên Hải ĐỀ CƯƠng chi tiết bài giảNG
FileMonHoc -> Khoa: CÔng nghệ thông tin cộng hòa xã HỘi chủ nghĩa việt nam
FileMonHoc -> MẬt mã khóA ĐỐi xứng lý thuyết cơ bản của Shannon
FileMonHoc -> Khoa công nghệ thông tin bài giảng LẬp trình cơ BẢn biên soạn

tải về 4.09 Mb.

Chia sẻ với bạn bè của bạn:
1   ...   14   15   16   17   18   19   20   21   ...   44




Cơ sở dữ liệu được bảo vệ bởi bản quyền ©hocday.com 2024
được sử dụng cho việc quản lý

    Quê hương