Suy diễn monotonic

Một phần của tài liệu đồ án công nghệ thông tin Ứng dụng công nghệ phần mềm trong bài toán hệ chuyên gia.Giải quyết các bài toán hệ chuyên gia dựa trên các quy trình công nghệ phần mềm. (Trang 58 - 59)

Trong cỏc vấn đề đó xột ở phần trờn, ta đều giả thiết rằng cỏc fact tỡm ra trong quỏ trỡnh suy diễn khụng thay đổi. Khi một fact được một người sử dụng bất kỳ đặt trong bộ nhớ làm việc hoặc được suy ra do quỏ trỡnh chỏy của luật, nú luụn nằm trong bộ nhớ làm việc. Cỏc hệ thống này sử dụng suy diễn monotonic.

Suy diễn monotonic là phưong phỏp giả định rằng một khi một fact được thờm vào, nú khụng thể thay đổi trong quỏ trỡnh suy diễn.

3.2.8. Suy diễn non-monotonic

Một số ứng dụng hệ chuyờn gia làm việc với cỏc fact cú tỡnh trạng luụn thay đổi. Thờm vào đú, cỏc thụng tin phụ thuộc logic vào fact này cũng thay đổi.

Vớ dụ:

Khẳng định: Trời đang mưa – FACT 1 Rule:

IF Trời đang mưa THEN Mang theo ụ

Kết luận: Mang theo ụ –FACT2

Từ cỏc khẳng định và luật ta rỳt ra cần mang theo ụ. Tuy nhiờn, nếu trước khi chỳng ta mang ụ trời tạnh mưa, chỳng ta sẽ để ụ ở nhà. Trong tỡnh huống này, huỷ bỏ FACT1 cũng dẫn đến huỷ bỏ FACT2. Hệ thống này dựa vào quỏ trỡnh xử lý tri thức sử dụng suy diễn non-monotonic

Suy diễn non-monotonic là phương phỏp suy diễn cho phộp những thay đổi trong cỏc fact. Nú cho phộp huỷ bỏ cả cỏc fact đó đưa ra và cỏc kết luận được tạo ra từ cỏc fact.

Huỷ bỏ một fact đơn từ bộ nhớ làm việc là một cụng việc dễ dàng. Chỳng ta cú thể sử dụng một số hàm để thực hiện việc này như RETRACT(FACT1). Tuy nhiờn, huỷ bỏ cỏc fact phụ thuộc logic vào một fact khỏc như FACT 2 là

một việc khụng đơn giản đặc biệt trong cỏc trường hợp sự thay đổi của một fact gõy ra một chuỗi cỏc thay đổi qua quỏ trỡnh suy diễn dài, yờu cầu phải huỷ bỏ nhiều fact.

Hệ chuyờn gia thực hiện suy diễn non-monotonic bằng cỏch với mỗi fact

xỏc định hai thụng tin: nú ở trong trạng thỏi gỡ what, và cỏch làm cho nú thoỏt khỏi trạng thỏi đú how. Trạng thỏi của fact cú thể là đỳng hay sai. Cỏch làm cho nú thoỏt khỏi trạng thỏi đú là cỏch thức fact được thiết lập, sự phụ thuộc logic của nú vào cỏc fact khỏc. Nếu một fact phụ thuộc vào một fact khỏc đó bị huỷ bỏ, cỏc thụng tin how cho phộp huỷ bỏ cỏc fact phụ thuộc.

Suy diễn non-monotonic là một đặc tớnh quan trọng của hệ chuyờn gia được ỏp dụng cho cỏc cụng việc lập kế hoạch hay thiết kế.

Một phần của tài liệu đồ án công nghệ thông tin Ứng dụng công nghệ phần mềm trong bài toán hệ chuyên gia.Giải quyết các bài toán hệ chuyên gia dựa trên các quy trình công nghệ phần mềm. (Trang 58 - 59)

Tải bản đầy đủ (DOC)

(95 trang)
w