tailieunhanh - Lập luận trong các hệ trí thức F-luật.

Lập luận trong các hệ trí thức F-luật. Đã xây dựng quy trình biểu hiện, tinh chế của Trx-CTX tái tổ hợp với hiệu suất 60 mg conotoxin tái tổ hợp tinh sạch /Lit dịch nuôi cấy. Đã xây dựng tiêu chuẩn cơ sở tiền lâm sàng cho Trx-CTX tái tổ hợp | Tạp chí Tin học và Điêu khiển học T. 17 s. 1 2001 54-61 LẬP LUẬN TRONG CÁC HỆ TRI THỨC F-LUẬT NGUYỀN THANH THỦY PHAN DƯƠNG HIỆU Abstract. We consider in this paper knowledge systems whose knowledge base consists of F-rules. Each rule allows us to find the truth probability interval of the consequence as a function of the ones of premises. Its reasoning process is an iterative execution of a deduction operator on F-rules. A knowledge system is called stable iff it is consistent and its reasoning process is stationary. We have found a necessary and sufficient condition for a strongly monotone knowledge system to be stable and proved that the reasoning process is stationary for knowledge systems with knowledge base represented by cracked graph . Tóm tắt. Trong bài này ta xét các hệ tri thức vó i co- sổ tri thức gồm các F-luật mỗi luật cho ta qui tắc tính khoảng xác suất đúng cúa kết luận du ó i dạng một hàm đối vó i các khoảng xác suất đúng cúa các tiền đề. Quá trình lập luận mô tả việc thụt hiện lặp toán tủ suy diễn trên các F-luật cúa hệ. Một hệ tri thức đu ọ c gọi là Ổn định khi nó phi mâu thuẫn và quá trình lập luận là dừng. Chúng tôi đã tìm đu ọ c điều kiện cần và đú đề một hệ tri thửc đom điệu mạnh là ô n định và cũng chứng minh đu ọ c rằng đối vó i các hệ tri thức có đồ thị biểu diễn CO sỏ- tri thức bị rạn quá trình lập luận là dừng. 1. Mỏ ĐẦU Trong lĩnh vưc trí tuệ nhân tao viêc xây dung các hê tri thức là môt trong nhũng vấn đề trung tâm được nhiều tác giả quan tâm nghiên cún. Một hệ tri thức gồm một CO sỏ tri thức và một CO chế lập luận. Trong thực tế các tri thức thường là không chắc chắn. Có nhiều cách biểu diễn tri thức không chắc chắn vói những phưong pháp lập luận khác nhau 1 2 4 . Một cách tiếp cận đến các tri thức dang này hê tri thức F-luât mà ta sẽ xét dưói đây đã đươc đề xuất trong 3 5 Vấn đề quan trọng là nghiên cửu tính ổn định và tính dừng của hệ tri thức Một hệ tri thức đươc coi là dừng khi quá trình lập luân sẽ dừng sau một số hữu hạn bước .