phương pháp biểu diễn tri thức

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

... rh_usable ( matt ) hoặc l h_usable ( matt ). Tính đúng đắn của phương pháp biểu diễn này không phụ thuộc vào các giả thiết trên. Biểu diễn các câu nói thông thường phức tạp hơn (như (2.6) và (2.7) ... được biểu diễn bởi phương trình: ( ) S Sa= Π (1.2) Một phần tử nền P là đúng trong S nếu PS∈ , ngược lại P là sai (tức là P ¬ là đúng ) trong S . Π suy diễn ra một biểu thức ... ) 'p t . 2.1 Biểu diễn tri thức sử dụng các chương trình logic mở rộng Trong phần này, ta sẽ chỉ ra ứng dụng của các chương trình logic mở rộng trong suy diễn hình thức với các thông...

Ngày tải lên: 10/11/2012, 10:09

114 1,2K 8

Bạn có muốn tìm thêm với từ khóa:

w