Ví dụ một mạch điện như hình bên. Vấn đề quan trọng nhất cho bài toán là cách biểu diễn mô hình cấu trúc mạch điện cho bài toán một cách tổng quát, linh hoạt sao cho chương trình “hiểu”. Từ đó, chương trình có thể dựa vào cấu trúc mạch điện nhập vào trong quá trình xử lý để tìm vừa đủ các yếu tố yêu cầu của đề bài.
Với cách biểu diễn tri thức theo mô hình COKB ta có thể dễ dàng nhập giả thuyết của bài toán thành tập các sự kiện (tuân theo cấu trúc đã định nghĩa trong facts.txt) như sau:
{ [R1, “DIEN_TRO”], [R2, “DIEN_TRO”], [R3, “DIEN_TRO”],
[M, “MACH_CO_BAN[ ( (R1*R2) + R3 ) ]” ] }
Ta đã quy ước ở phần phân tích lý thuyết dấu * đại diện cho cách mắc song song, dấu
+ đại diện cho cách mắc nối tiếp. Và như ta thấy R1, R2, R3 đã được khai báo xác định là đối tượng DIEN_TRO. Cho nên ( (R1*R2) + R3 ) cũng là đối tượng
DIEN_TRO. Nguyên nhân là vì ta đã định nghĩa toán tử + và * có giá trị trả về là một đối tượng DIEN_TRO:
=> (R1*R2) là đối tượng DIEN_TRO tương đương của hai DIEN_TRO R1, R2 mắc song song
=> ( (R1*R2) + R3 ) là đối tượng DIEN_TRO tương đương của hai DIEN_TRO (R1*R2) và R3 mắc nối tiếp.
Và giả sử bài toán yêu cầu tìm hiệu điện thế U của đoạn mạch chứa R1,R2 và cường độ dòng điện I của đoạn mạch chứa R3. Ta có thể biểu diễn tập sự kiện yêu cầu như sau:
{ MACH_CO_BAN[(R1*R2)].U, MACH_CO_BAN[R3].I} Hoặc :
{ MACH_SONG_SONG[R1,R2].U, MACH_CO_BAN[R3].I}
Ta có MACH_CO_BAN[(R1*R2)].U và MACH_SONG_SONG[R1,R2].U mang cùng ý nghĩa vì trong cơ sở tri thức ta đã định nghĩa MACH_CO_BAN[(R1*R2)] và
MACH_SONG_SONG[R1,R2] là tương đương với nhau (luật số 10 trong Rules). Quy trình tìm lời giải sẽ ưu tiên xem xét theo các bước sau cho đến khi tìm được hết các yêu cầu của bài toán:
7) Các luật và luật suy diễn tính toán của các đối tượng hiện có và có liên quan đến tập các sự kiện yêu cầu.
8) Các luật và luật suy diễn tính toán của các đối tượng hiện có còn lại. 9) Inside net của các đối tượng hiện có.
10)Các sự kiện hiện có với các luật không thuộc loại “tao_doi_tuong” trong Rules. 11)Các luật “tao_doi_tuong” trong Rules, có các sự kiện giả thuyết liên quan đến
đối tượng yêu cầu. 12)Quay lại bước 1.