Hệ MyCin

MYCIN là một hệ lập luận trong y học được hoàn tất vào năm 1970 tại đại học Standford, Hoa kỳ. Đây là một hệ chuyên gia dựa trên luật và sự kiện. MMYCIN là một hệ lập luận trong y học được hoàn tất vào năm 1970 tại đại học Standford, Hoa kỳ. Đây là một hệ chuyên gia dựa trên luật và sự kiện. MYCIN sử dụng cơ chế lập luận gần đúng sử dụng lý các luật suy diễn dựa trên độ đo chắc chắn.YCIN sử dụng cơ chế lập luận gần đúng sử dụng lý các...
Nội dung trích xuất từ tài liệu:
Hệ MyCin• Các thành viên:• Hoàng Xuân Hoàn• Đỗ Anh Khoa• Võ Thanh Tùng I. Giới Thiệu Về Hệ MyCin• MYCIN là một hệ lập luận trong y học được hoàn tất vào năm 1970 tại đại học Standford, Hoa kỳ. Đây là một hệ chuyên gia dựa trên luật và sự kiện. MYCIN sử dụng cơ chế lập luận gần đúng sử dụng lý các luật suy diễn dựa trên độ đo chắc chắn. Tiếp theo sau MYCIN, hệ EMYCIN ra đời. EMYCIN là một hệ chuyên gia tổng quát được tạo lập bằng cách loại phần cơ sở tri thức ra khỏi hệ MYCIN. EMYCIN cung cấp một cơ chế lập luận và tùy theo bài toán cụ thể sẽ bổ sung tri thức riêng của bài toán đó để tạo thành hệ chuyên gia.• EMYCIN = MYCIN – Tri thức Y học = Sườn hệ chuyên gia (ES shell)Các đặc điểm chính:• Sử dụng kỉ thuật suy diễn lùi. – có khả năng phân tích tri thức và điều khiển. – Có tích hợp Meta-Rule. – Có thể dùng khi thiểu thông tin hoặc thông tin không chắc chắn. – Dễ sử dụng, giao tiếp bằng tiếng anh.Các đặc điểm chính(tiếp) – Cung cấp các chức giải thích: HOW, WHY. – Là một chương trình tra cứu. MYCIN cung cấp cho các thầy thuốc những ý kiến chữa trị liên quan đến liệu pháp kháng sinh.• MYCIN có khoảng 500 luật và các sự kiện rất tiêu biểu. Hoạt động của hệ thống như sau: MYCIN yêu cầu thông tin về lâm sàng. ₋ Bắt đầu suy luận từ những tri thức hiện có ₋ Đưa ra các phán đoán và lời khuyên. ₋ Trả lời các câu hỏi liên quan đến suy luận ₋Mục đích của MYCIN là :₋ Là một hệ thống dễ sử dụng.₋ Khả năng vận hành đáng tin cậy.₋ Chứa đựng nhiều tri thức liên quan đến lĩnh vực kháng sinh, kháng vi.₋ Khả năng xử lý các chỉ dẫn chữa trị không đúng hoặc không đầy đủ.₋ Khả năng giải thích và chỉ dẫn chữa trị.Nguyên nhân thành công của MYCIN• Cơ sở trí thức được thu nạp từ các chuyên gia xuất sắc nhất trong các lĩnh vực.• MYCIN không bao giờ đi đến ngay kết luận để luôn có thêm các thông tin cốt yếu qua mỗi bước.• MYCIN được hình thành từ một chương trình trí tuệ nhân tạo đã được áp dụng thực tế(DENDRAL) và được thực hiện tại trung tâm y tế nổi tiếng với các tri thức mới nhất về bệnh học và dược học. Suy luận của Mycin• Ngữ cảnh: các đối tượng được thảo luận bởi Mycin – Các kiểu đối tượng khác nhau: bệnh nhân, thuốc, … – Được tổ chức trong một cây• Động cơ suy diễn: tiếp cận hướng từ mục tiêu hay suy diễn lùi – Tìm kiếm sâu gần như là vét cạn – Có thể suy luận với thông tin không chắc chắn – Có thể suy luận với dữ liệu không đầy đủ• Các tiện ích giải thích: Mô-đun ‘hỏi-trả lời’ với các câu hỏi tại sao, như thế nào. Chương 7. p.7 Lý Thuyết Về Độ Chắc Chắn.• MB (Measure of Belief in): Độ đo sự tin cậy.• MD (Measure of Disbelief in): Độ đo sự không tin cậy.• CF (Certainly Factor): Hệ số chắc chắn• MB(H/E) Là độ đo sự tin cậy của giả thuyết H khi có chứng cứ E.• MD(H/E) Là độ đo sự không tin cậy của giả thuyết H khi có chứng cứ E.• Khi dó:• 0 < MB(H/E) < 1 trong khi MD(H/E) = 0• 0 < MD(H/E) < 1 trong khi MB(H/E) = 0• Độ đo chắc chắn CF(H/E) được tính bằng công thức: CF(H/E) = MB(H/E) – MD(H/E)Lý Thuyết Về Độ Chắc Chắn (tiếp)• 1 Luật đơn giản: If(e) then (c)• công thức tính: CF(c) = CF(e) * CF(r)• Trong đó: CF(e) là độ đo chắc chắn của chứng cớ. CF(r) là độ đo chắc chắn của luật suy diễn. CF(c) là độ đo chắc chắn của kết luận.Lý Thuyết Về Độ Chắc Chắn (tiếp)• 2. Luật phức tạp:• If(e1 AND e2) then (c) CF (e1 AND e2) = MIN(CF(e1), CF(e2))• If (e1 OR e2) then (c) CF (e1 OR e2) = MAX(CF(e1), CF(e2))• If ((e1 AND e2) OR e3) then (c) CF ((e1 AND e2) OR e3) = MAX(MIN(CF(e1), CF(e2)), CF(e3))• Độ chắc chắn có dạng NOT CF(NOT e) = - CF(e) Lý Thuyết Về Độ Chắc Chắn (tiếp)5. kết hợp nhiều luật có cùng kết luận: ₋ Luật 1: If(e1) then (c) với CF(r1) : độ đo chắc chắn của luật 1 ₋ Luật 2: If(e2) then (c) với CF(r2) : độ đo chắc chắn của luật 2• Với CF(t1), CF(t2) là CF của kết luận cả luật 1 và 2• Khi CF(t1) và Cf(t2) đều dương thì: Ctổng = CF(t1) + CF(t2) – CF(t1) * CF(t2)• Khi CF(t1) và Cf(t2) đều âm thì: Ctổng = CF(t1) + CF(t2) + CF(t1) * CF(t2)• Nếu CF(t1) khác dấu với CF(t2) thì: Ctổng = (CF(t1) + CF(t2)) / (1 –MIN(ABS(CF(t1)), ABS(CF(t2)))) Cách biểu diển trên mạng: c• Suy diễn đơn giản. Dạng luật: 0.8 If(e) then (c) e CF(r) = 0.8• Suy diễn có AND Dạng luật: c If(e1 AND e2) 0.9 CF(r) = 0.9 e1 e2 Cách biểu diển trên mạng(tiếp): c• Suy diễn OR Dạng luật: 0.85 e2 If(e1 OR e2) then (c) e1 C ...