biểu diễn tri thức bằng logic

BIỂU DIỄN TRI THỨC BẰNG FRAME

BIỂU DIỄN TRI THỨC BẰNG FRAME

Ngày tải lên : 25/10/2013, 02:20
... kiểu biểu diễn tri thức, mỗi kiểu biểu diễn ứng với một nhiệm vụ con. Nhưng như vậy, chúng ta lại nảy sinh ra vấn đề "dịch" một tri thức từ kiểu biểu diễn này sang kiểu biểu diễn khác. ... yếu tố tam giác (thay vì sử dụng các công thức liên hệ đơn giản như ví dụ trên). XII. BIỂU DIỄN TRI THỨC BẰNG SCRIPT Script là một cách biểu diễn tri thức tương tự như frame nhưng thay vì đặc ... kiểu biểu diễn tri thức nào phù hợp với mọi tình huống. Do đó, khi phải làm việc với nhiều nguồn tri thức khác nhau (khác loại, khác tính chất), chúng ta nhiều lúc phải hy sinh tính đồng bộ bằng...
  • 11
  • 2.2K
  • 26
Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình Logic

Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình Logic

Ngày tải lên : 10/11/2012, 10:09
... của ta là biểu diễn thông tin về Matt có một cánh tay bị gãy và ta có giả thiết thế giới đóng cho các vị từ biểu diễn cánh tay bị gãy. Ta sẽ bi ểu diễn thông tin này bằng chương trình logic phân ... S∈ . 22 Chương 2 LẬP TRÌNH LOGIC MỞ RỘNG Các chương trình logic tổng quát được thảo luận trong chương 1 cung cấp một công cụ mạnh cho việc biểu diễn tri thức trong các trường hợp chỉ ... trình logic mở rộng, bằng cách thêm vào một liên kết or, được gọi là phân cách tri thức. (Chú ý việc sử dụng ký hiệu or khác với ký hiệu cổ điển ∨ . Ý nghĩa của or trong chương trình logic...
  • 114
  • 1.2K
  • 8
Giao trinh TRÍ TUỆ NHÂN TẠO   chương 4 BIỂU DIỄN BÀI TOÁN BẰNG LOGIC VÀ CÁC PHƯƠNG
PHÁP CHỨNG MINH

Giao trinh TRÍ TUỆ NHÂN TẠO chương 4 BIỂU DIỄN BÀI TOÁN BẰNG LOGIC VÀ CÁC PHƯƠNG PHÁP CHỨNG MINH

Ngày tải lên : 06/01/2014, 08:14
... sau: - Các công thức phân tử là công thức - Nếu G và H là các công thức thì các biểu thức (G∧H), (G∨H), (¬G), (G⇒H), (G⇔H) là công thức - Nếu G là một công thức và X là biến thì các biểu thức ∀x (G), ... phát biểu rằng, từ công thức ∀X (G) suy ra công thức G[X/t]. 123 • 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 từ, ta xây dựng nên các công thức (các câu) Các công thức ... biệt giữa hai biểu thức. Sự khác biệt đựoc xác định như sau: Đọc hai biểu thức đồng thời từ trái sang phải cho tới khi gặp hai ký hiệu khác nhau trong biểu thức. Trích ra hai biểu thức con bắt...
  • 41
  • 2.6K
  • 1
BIỂU DIỄN TRI THỨC VÀ  GIẢI TOÁN TỰ ĐỘNG

BIỂU DIỄN TRI THỨC VÀ GIẢI TOÁN TỰ ĐỘNG

Ngày tải lên : 17/09/2012, 10:44
... biểu diễn tri thức 1.2 Khái niệm về biểu diễn tri thức ° Biểu diễn tri thức (Knowledge Representation) là sự Biểu diễn tri thức (Knowledge Representation) là sự diễn đạt và thể hiện của tri ... sao phải biểu diễn tri thức? Tại sao phải biểu diễn tri thức? Biểu diễn tri thức giúp có thể tổ chức và cài đặt một cơ Biểu diễn tri thức giúp có thể tổ chức và cài đặt một cơ sở tri thức cho ... 2001 III. CÁC PHƯƠNG PHÁP BIỂU DIỄN III. CÁC PHƯƠNG PHÁP BIỂU DIỄN TRI THỨC TRI THỨC 3.1 Biểu diễn dựa trên logic hình thức 3.1 Biểu diễn dựa trên logic hình thức 3.2 Hệ luật dẫn 3.2 Hệ luật...
  • 48
  • 2.1K
  • 12
CÁC PHƯƠNG PHÁP BIỄU DIỄN TRI THỨC TRÊN MÁY TÍNH

CÁC PHƯƠNG PHÁP BIỄU DIỄN TRI THỨC TRÊN MÁY TÍNH

Ngày tải lên : 29/09/2013, 18:20
... CÁCH BIỂU DIỄN TRI THỨC Mục tiêu chính biểu diễn tri thức trong máy tính là phục vụ cho việc thu nhận tri thức vào máy tính, truy xuất tri thứcthực hiện các phép suy luận dựa trên những tri ... phương pháp biểu diễn tri thức, chúng ta phải cân nhắc một số yếu tố cơ bản sau đây : Tính tự nhiên, đồng bộ và dễ hiểu của biểu diễn tri thức. Mức độ trừu tượng của tri thức : tri thức được ... kiểu biểu diễn tri thức, mỗi kiểu biểu diễn ứng với một nhiệm vụ con. Nhưng như vậy, chúng ta lại nảy sinh ra vấn đề "dịch" một tri thức từ kiểu biểu diễn này sang kiểu biểu diễn...
  • 24
  • 1.3K
  • 11
Thu nhận và biễu diễn tri thức

Thu nhận và biễu diễn tri thức

Ngày tải lên : 05/10/2013, 20:20
... diễn tri thức khác như : Biểu diễn tri thức bằng mạng ngữ nghĩa, biểu diễn tri thức bằng Frame Chuyên gia có chuyên môn giỏiChuyên gia xử lý tri thức Hệ chuyên gia Hỏi Trả lời Kết quả Biễu diễntri ... cần phải hiểu rõ các dạng tri thức và các kỹ thuật biễu diễn tri thức có thể biễu diễn tốt nhất các dạng tri thức đó. 2.2.1 Các dạng tri thức: Các nhà tâm lý học nhận thức đã xây dựng một số lý ... kế hoạch và những tri thức cần thu nạp tiếp theo. 2.2 Biễu diễn tri thức: Một trong những vấn đề quan trọng của chuyên gia xử lý tri thức là phải chọn kỹ thuật biễu diễn tri thức một cách thích...
  • 3
  • 946
  • 3
BIỂU DIỄN TRI THỨC SỬ DỤNG LUẬT DẪN XUẤT (LUẬT SINH)

BIỂU DIỄN TRI THỨC SỬ DỤNG LUẬT DẪN XUẤT (LUẬT SINH)

Ngày tải lên : 25/10/2013, 02:20
... BaoĐóng(X, R) thì loại sự kiện A ra khỏi X VIII.4. Ưu điểm và nhược điểm của biểu diễn tri thức bằng luật Ưu điểm Biểu diễn tri thức bằng luật đặc biệt hữu hiệu trong những tình huống hệ thống cần đưa ... hình câu hỏi "Bạn kiểm tra xem có điện BIỂU DIỄN TRI THỨC SỬ DỤNG LUẬT DẪN XUẤT (LUẬT SINH) VIII.1. Khái niệm Phương pháp biểu diễn tri thức bằng luật sinh được phát minh bởi Newell và ... xây dựng một hệ giải bài toán tổng quát. Đây là một kiểu biểu diễn tri thức có cấu trúc. Ý tưởng cơ bản là tri thức có thể được cấu trúc bằng một cặp điều kiện – hành động : "NẾU điều kiện...
  • 4
  • 1K
  • 25
BIỄU DIỄN TRI THỨC SỬ DỤNG MẠNG NGỮ NGHĨA

BIỄU DIỄN TRI THỨC SỬ DỤNG MẠNG NGỮ NGHĨA

Ngày tải lên : 25/10/2013, 02:20
... BIỄU DIỄN TRI THỨC SỬ DỤNG MẠNG NGỮ NGHĨA X.1. Khái niệm Mạng ngữ nghĩa là một phương pháp biểu diễn tri thức đầu tiên và cũng là phương pháp dễ hiểu nhất đối với chúng ta. Phương pháp này sẽ biểu ... không thể biển diễn các tri thức dạng thủ tục bằng mạng ngữ nghĩa vì các khái niệm về thời gian và trình tự không được thể hiện tường minh trên mạng ngữ nghĩa. X.3. Một ví dụ tiêu biểu Dù là ... kích hoạt. Công thức (1) được kích hoạt (vì α, β, a được kích hoạt). Từ công thức (1) tính được cạnh b. Đỉnh b được kích hoạt. Công thức (4) được kích hoạt (vì α, β). Từ công thức (4) tính được...
  • 9
  • 1.3K
  • 13
Biểu diễn yêu cầu bằng biểu thức đại số quan hệ

Biểu diễn yêu cầu bằng biểu thức đại số quan hệ

Ngày tải lên : 29/09/2013, 04:20
... Nếu có thì biểu thức không có phép chiếu. Ngược lại thì biểu thức có phép chiếu. Khi đó cần xác định các thuộc tính cần chiếu. Chú ý: Biểu thức điều kiện chọn là một biểu thức Logic bao gồm: ... Trang 9 DẠNG 2: BIỂU DIỄN YÊU CẦU BẰNG ĐẠI SỐ QUAN HỆ Bài toán: Cho một hoặc nhiều lược đồ quan hệ và một số yêu cầu dữ liệu. Hãy biểu diễn các yêu cầu dữ liệu đó bằng biểu thức đại số quan ... trọng giúp hình thành biểu thức đại số quan hệ và cũng giúp khởi động quá trình tư duy khi làm bài tập dạng này. Khi sử dụng nó, điểm quan trọng nhất là việc xác định đúng biểu thức điều kiện chọn....
  • 5
  • 6.1K
  • 167

Xem thêm