Tài liệu Giáo trình trí tuệ nhân tạo- chương 6- Logic vị từ cấp một pptx

... hiệu hằng, Love là một vị từ của hai biến, husband là hàm của một biến, thì Love ( Hoa, husband( Hoa)) là một câu đơn. Các công thức Từ công thức phần tử, sử dụng các kết nối logic và các lợng ... trong logic mệnh đề, ta nói hai công thức G và H tơng đơng ( viết là G H ) nếu chúng cùng đúng hoặc cùng sai trong một minh hoạ. Ngoài các tơng đơng đã biết trong logic mệnh đề,...

Ngày tải lên: 09/12/2013, 20:15

... đi. Ví dụ 1: Sau đây ta đa ra một cách xây dựng hàm đánh giá đơn giản cho cờ vua. Mỗi loại quân đợc gán một giá trị số phù hợp với sức mạnh của nó. Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng. Chơng ... sự bố trí của các quân, các mối tơng quan giữa chúng. Ví dụ 2: Bây giờ ta đa ra một cách đánh giá các trạng thái trong trò chơi Dodgem. Mỗi quân Trắng ở một vị trí trê...

Ngày tải lên: 09/12/2013, 20:15

... Mỗi toán tử R có thể xem nh một ánh xạ R: UU. Nói chung R là một ánh xạ không xác định khắp nơi trên U. Trang 2 Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng. hạn, từ trạng thái ban đầu (hình ... gồm: Trang 12 Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng. phần i giải quyết vấn đề bằng tìm kiếm Vấn đề tìm kiếm, một cách tổng quát, có thể hiểu là tìm một đối tợng...

Ngày tải lên: 09/12/2013, 15:15

... cách giữa vị trí của các quân trong trạng thái u và vị trí của nó trong trạng thái đích. ở đây khoảng cách đợc hiểu là số ít nhất các dịch chuyển theo hàng hoặc cột để đa một quân tới vị trí của ... quả. Hàm đánh giá đợc xây dựng tùy thuộc vào vấn đề. Sau đây là một số ví dụ về hàm đánh giá: Chơng 2 - Trang 1 Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng. Trong bà...

Ngày tải lên: 09/12/2013, 20:15

... được. 100 2) Bài toán tòm đường đi từ A đến B qua G được quy về: 2.1. Tìm đường đi từ A đến G và 2.2. Tìm đường đi từ G đến B Tổng quát, từ bài toán P ta đưa về một trong các trường hợp: - Đưa P ... Khi đó bài toán tìm đường đi từ A đến B được quy về một trong hai bài toán: 1) Bài toán tìm đường đi từ A đến B qua E 2) Bài toán tìm đường đi từ A đến B qua G Mỗi một bài toán...

Ngày tải lên: 25/01/2014, 08:20

... phù hợp với các nhu cầu xử lý đặc trưng của trí tuệ nhân tạo - đó là ngôn ngữ lập trình đầu tiên dùng cho trí tuệ nhân tạo. • Thuật ngữ Trí tuệ nhân tạo được dùng đầu tiên vào năm 1961 cũng ... và các chương trình chứng minh định lý tự động. 5 Chương 0 MỞ ĐẦU 1. Tổng quan về khoa học Trí tuệ nhân tạo. Trong Công Nghệ Thông Tin, Trí Tuệ Nhân Tạo (Artific...

Ngày tải lên: 25/01/2014, 08:20