Quá trình đi tìm lời giả

- Bài toán được lưu trữ theo cấu trúc như sau begin_exercise

4.4.2Quá trình đi tìm lời giả

 Giai đoạn 1: Xét tính giải được và tìm lời giải (nếu có) cho bài toán.

 Bước 1: Ghi nhận thông tin của bài toán theo mô hình mạng các C –

Object :

Params :={}; // tập các tham biến (có thể rỗng).

Objects := []; // tập các đối tượng được đề cập trong bài toán. Obj_Types := []; // tập các kiểu tương ứng của các đối tượng trên. OAttrs := []; // tập các thuôc tính liên quan của các đối tượng

trong Objects được xem xét trong bài toán.

OAttr_Types :=[]; // tập các kiểu tương ứng của các thuộc tính trên. Funcs :={}; // tập các hàm được đề cập trong bài toán.

Func_Types :=[]; // tập các kiểu tương ứng của các hàm nêu trên, được lưu trữ trong file FUNCTIONS.txt hay trong biến Fun_Names. Functions :={}; // tập các sự kiện liên quan đến hàm, là các sự kiện

loại 7, 8, 9, 10 và 11.

Fact_Kinds :=[{},…,{}]; // tập các sự kiện đã được phân loại.

Hypos := {}; // tập các sự kiện giả thiết, bằng Facts ∪ Functions. Goals :=[]; // tập các sự kiện mục tiêu.

 Bước 2: Khởi tạo.

FactSet := Hypos; // Hypos là tập giả thiết của bài toán Found := false; // Found = true khi bài toán giải được

Sol := []; // lưu các bước giải, có cả những bước giải thừa

flag := false; // flag = true khi có phát sinh sự kiện mới dem := 0; // số lần thêm đối tượng mới

DFi, Testi :={}; // lưu các hàm, luật, sự kiện đã xử lý.

Bước 3: Kiểm tra mục tiêu

if Test_Goal(Goal, FactSet) thenreturn (“Không cần giải”). else thực hiện bước 4.

Hàm Test_Goal(Goal, FactSet) dùng để kiểm tra Goal có là tập con của FactSet hay không, tương ứng với việc mục tiêu đã được tìm thấy hay chưa. Nếu như ban đầu mục tiêu đã được xác định thì bài toán không cần giải.[9]

 Bước 4: Thực hiện một quá trình dò tìm cách suy diễn tính toán bằng

cách sử dụng các heuristic và các bước giải cơ bản để phát sinh hay suy ra sự kiện mới..

while not Found and flag do

flag := false; // đặt trạng thái không có sự kiện mới sinh ra.

<4.1> Áp dụng bước giải suy ra các sự kiện loại 2 từ các sự kiện loại 3.

Deduce_From3s (); // {sk loại 3}{ sk loại 2}

if flag thenFound := Test_Goal(Goal, FactSet); next; fi;

<4.2 > Áp dụng bước giải suy ra sự kiện mới loại 3 từ các sự kiện loại 3 và loại 4 bằng cách thế sự kiện loại 3 vào sự kiện loại 4. Deduce_From43s(); // {sk loại 3,4}{sk 3}

<4.3> Áp dụng bước giải suy ra sự kiện mới loại 3, 4 hay 5 từ các sự kiện loại 3 và 5 bằng cách thay thế các sự kiện loại 3 vào sự kiện loại 5.

Deduce_From53s(); // {sk loại 3,5}{sk 3,4,5} .

if flag thenFound := Test_Goal(Goal, FactSet); next; fi;

<4.4 > Từ các sự kiện loại 4 vả 5, giải hệ phương trình để được các sự kiện mới loại 3. (adsbygoogle = window.adsbygoogle || []).push({});

Deduce_From45s(); // {sk loại 4,5}{sk 3} .