Đang tải... (xem toàn văn)
Nghiên cứu Trí tuệ nhân tạo(AI-Artificical Intelligence) nhằm tìm hiểu những yếu tố về trí tệu.Không giống với các ngành khoa học lien quan đến tri tuệ như Triết Học và Tâm Lý Học, AI nhằm tạo ra các thực thể thông minh giúp ích cho chúng ta.
Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 LỜI MỞ ĐẦU Nghiên cứu Trí tuệ nhân tạo(AI-Artificical Intelligence) nhằm tìm hiểu yếu tố trí tệu.Khơng giống với ngành khoa học lien quan đến tri tuệ Triết Học Tâm Lý Học, AI nhằm tạo thực thể thơng minh giúp ích cho chúng ta.Một phần khơng thể thiếu Trí tuệ nhân tạo việc dung máy tính để thử nghiệm lý thuyết trí tuệ.Những kĩ thuật hình thức tìm hiểu Trí tuệ nhân tạo ln thể quan hệ gắn bó máy tính với lý thuyết CHƯƠNG 1:TỔNG QUAN VỀ TRÍ TUỆ NHÂN TẠO 1.1 Lịch sử hình thành phát triển trí tuệ nhân tạo Trước nói đến Trí tuệ nhân tạo người ta thường quan tâm đến việc tạo cá máy tính có khả “suy nghĩ” người.Mặc dù mơ hình tương tự máy tính thơng minh đưa từ nhiều năm trước từ Alan Turing cơng bố kết quan trọng người ta bắt đầu thực ngiên cứu trí tuệ nhân tạo cách nghiêm túc.Phát Turing cho chương trình lưu trữ nhớ rùi sau thực phép toán bit va 1.Việc lưu trữ chương trình máy cho phép thay đổi chức cách nhanh chóng dễ dàng cách thơng qua việc nạp vào chương trình vào nhớ,tức làm cho máy tính có khả “suy nghĩ” Các chương trình thơng minh cơng bố là: Năm 1956:Chưong trình giải tốn tổng qt đươc xuất Năm 1958:Chương trình chứng minh định lý hình học khám phá Nhưng phải đến năm 1960 lĩnh vực thực phát triển với nhiều cơng trình cơng bố như: Năm 1960:Ngơn ngữ LISP Năm 1961:Chương trình giải tốn đại số sơ cấp Năm 1963:Chương trình chơi cờ vua Năm 1964:Chương trình tính tích phân Năm 1966:Chương trình phân tích học nói Năm 1968:Chương trình điều khiển Robot theo phương án mắt tay Năm 1972:Ngôn ngữ Prolog Từ năm 1969 đến năm 1999 nhiều chương trình xây dựng hệ sở tri thức.Các lĩnh vực trí tuệ vào đời sống từ năm 1980 đến Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 1.2 Định nghĩa trí tuệ nhân tạo * Trí tuệ nhân tạo(AI-Artificial Intelligence) được định nghĩa ngành khoa học máy tính liên quan đến việc tự động hố hành vi thơng minh.AI phận khoa học máy tính nên phải đặt nguyên lý lý thuyết áp dụng lĩnh vực này.Những nguyên lý bao gồm cấu trúc liệu đùn biểu diễn tri thức,các thuật toán cần thiết để áp dụng tri thức đó,cùng ngơn ngữ kĩ thuật lập trình dung cho việc cài đặt chúng *Một số định nghĩa khác trí tuệ nhân tạo điển hình khác là: -Hệ thống mà biết suy nghĩ người -Hệ thống mà biết hành động người Để hệ thống mà biết suy nghĩ hành động người hệ thống phải đươc trang bị công cụ lý giải tri tự động,tri thức Thông thường,cách giải vấn đề người thưồng thông qua thao tác bản: -Xác định tập hợp đích -Thu thập kiện luật suy diễn -Cơ chế tập trung -Bộ máy suy diễn Như ,trí tuệ máy khả giải vấn đề: -Hành động giống người -Suy nghĩ giống người -Học giống người -Xử lý thông tin giống người -Hành động xử lí thơng tin logic xác 1.3 Các thành phần trí tuệ nhân tạo Có thành phần trí tuệ nhân tạo biểu diễn tri thức tìm kiếm tri thức miền biểu diễn.Biểu diễn tri thức ý đến vấn đề nắm bắt theo cách ngơn ngữ hình thức,tức dạng thích hợp để máy tính vận hành,phạm vi tri thức đầy đủ mà hành vi thơng minh địi hỏi.Trong Tìm kiếm kĩ thuật giải vấn đề theo cách khảo sát vấn đề có hệ thống khơng gian “ trạng thái toán ”,tức giai đoạn có chọn lựa q trình giải vấn đề Để biểu diễn tri thức toán nhờ phương pháp biểu diễn tri thức như: -phưong pháp biểu diễn nhờ luật -phương pháp biểu diễn nhờ mạng ngữ nghĩa -phương pháp biểu diễn nhờ Frame -phương pháp biểu diễn nhờ logic vị từ Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 Sau tri thức toán biểu diễn,kỹ thuật tốn lĩnh vực trí tuệ nhân tạo phương pháp tìm kiếm miền đặc trưng tri thức tốn 1.3.1 Các phương pháp biểu diễn tri thức 1.3.1.1Phương pháp biểu diễn nhờ logic vị từ Logic mệnh đề cho phép ta biểu diễn kiện.Mỗi kí hiệu logic mệnh đề minh hoạ kiện giới thực,sử dụng kết nối logic ta tạo câu phức hợp biểu diễn kiện mang tính phức tạp hơn.Như vậy,khả biểu diễn logic mệnh đề giới hạn phạm vi giới kiện Thế giới thực bao gồm đối tượng.Mỗi đối tượng có tính chất riêng để phân biệt với đối tượng khác.Các đối tượng lại có quan hệ với nhau.Các mối quan hệ đa dạng phong phú.Xét logic vị từ cấp mở rộng logic mệnh đề:nó cho phép ta mơ tả giới với đối tượng,các thuộc tính đối tượng mối quan hệ giuũa đối tượng Nó sử dụng biến đối tượng để đối tượng miền đối tượng dó Để mơ tả thuộc tính đối tượng,các quan hệ đối tượng logic vị từ người ta dưa vào vị từ Ngoài kết nối logic logic mệnh đề,logic vị từ cấp sử dụng lượng tử a Cú pháp logic vị từ cấp Logic vị từ cấp sử dụng kí hiệu: Các kí hiệu hằng:a,b,c,An,Nam,… Các kí hiệu biến:x,y,z,u,v,… Các kí hiệu vị từ :P,Q,R,S,… Mỗi vị từ n biến(n 0).Chẳng hạn Like vị từ biến,Prime la vị từ biến Các kí hiệu vị từ khơng biến kí hiệu mệnh đề Các kí hiệu hàm :f,g,cos,sin,mother,husband,… Mỗi hàm hàm cua n biến(n 1 ).Chẳng hạn hàm cos,sin hàm biến,hàm distance hàm ba biến Các kí hiệu kết nối logic: (hội), (tuyển),=>(kéo theo),(tương đương) Các kí hiệu lượng tử: (với mọi), (tồn tại) Các kí hiệu ngăn cách:dấu phẩy,dấu mở dấu đóng ngoặc Các hạng thức :các hạng thức biểu thức mô tả đối tượng.các hạng thức xây dựng đệ quy sau: -Các kí hiệu kí hiệu biến hạng thức -Nếu t ,t ,t ,…t n n hạng thực f kí hiệu hàm n biến (f 1 Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 ,f ,f ,…,f n ) hạng thức.Một hạng thức không chứa biến gọi hạng thức cụ thể Các công thức phân tử:Biểu diễn tính chất đối tượng,hoặc quan hệ đối tượng ccá công thức phân tử(câu đơn) Các công thức phân tử xác định đệ quy sau: -các kí hiệu vị từ khơng biến công thức phân tử -nếu t ,t ,…,t n n hạng thức P logic vị từ n biến P(t ,t , …,t n ) công thức phân tử Các công thức :từ công thức phân tử,sử dụng kết nối logic lượng tử xây dựng nên công thức(các câu) Các công thức xác định đệ quy sau : -Các công thức phân tử công thức Nếu G H cơng thức biểu thức(G H),(G H),(G=>H),(GH) công thức -Nếu G công thức x biến biểu thức( xG ),( xG) công thức Các công thức công thức phân tử gọi câu phức đơn.các công thức không chứa biến gọi công thức cụ thể.Khi viết công thức ta loại bỏ di dấu ngoặc không cần thiết,chẳng hạn dấu ngoặc Lượng tử phổ dụng cho phép mơ tả tính chất đối tượng mà không cần phải liệt kê tất đối tượng lớp Lượng từ tồn cho phép tạo câu nói đến đối tượng lớp đối tưọng mà có tính chất thoả mãn quan hệ đó.Chẳng hạn cach sử dụng câu đơn Student(x) (x la sinh viên) Inside(x,300) (x phịng 300),ta biểu diễn câu ’’c ó sinh viên phòng 300’’ biểu thức x(Student(x) Inside(x,300) Một công thức công thức phân tử phủ định công thức phân tử gọi literal b.Ngữ nghĩa Cũng logic mệnh đề,nói đến ngữ nghĩa nói đến ý nghĩa công thức giới thực mà gọi minh hoạ Để xác định minh hoạ,trước hết cần xác định miền đối tượng(nó bao gồm tât đối tượng giới thực mà ta quan tâm) -Ngữ nghĩa câu đơn :Trong minh hoạ kí hiệu vị từ gắn với thuộc tính quan hệ cụ thể đó.Khi công thức phân tử(không chứa biến)sẽ định kiện cụ thể.Sự kiện đúng(Trure)hoặc sai(False) -Ngữ nghĩa câu phức hợp :Khi xác định ngữ nghĩa câu đơn ta xác định ngữ nghĩa câu phức hợ(được tạo thành Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 từ câu đơn cách liên kết câu đơn kết nối logic) logic mệnh đề -Ngữ nghĩa câu chứa lượng tử : ngữ nghĩa câu xG ,trong G cơng thức xác định ngữ nghĩa công thức hội tất công thức nhận từ công thức G cách thay x đối tượng miền đối tượng Công thưc G công thức nhận từ G cách thay x đối tượng miền đối tượng Ngữ nghĩa công thức xG xác định ngữ nghĩa công thức tuyển tất công thức nhận từ G cách thay tất giá trị x đối tượng miền đối tượng Như công thưc xG công thức nhận từ G cách thay x đối tưọng miền đối tượng đúng,tức G cho tất đối tượng x miền đối tượng 1.3.1.2 Phương pháp biểu diễn nhờ luật lâp luận Với sở tri thức gồm câu logic vị từ cấp ta chưng minh cơng thức có hệ logic sở tri thức hay không phương pháp chứng minh bác bỏ thủ tục phân giải Tuy nhiên thủ tục có độ phức tạp lớn địi hỏi chiến lược giải cách thich hợp.vì mà nhà nghiên cúư cố gắng tìm tập logic vị từ cấp cho chúng đủ khả biểu diên sở tri thức nhiều lĩnh vực đua thủ tục suy diễn có hiệu quả.các tập logic vị từ cấp xác định ngôn ngữ biểu diên tri thức đặc biệt Nếu sử dụng luật nếu-thì,ta khơng thể biểu diên điều logic vị từ cấp một.tuy nhiên,với luật nếu-thì ta biểu diễn khối lượng lớn tri thức nhiều lĩnh vực khác thực thủ tục suy diễn có hiệu -Biểu diễn tri thức nhờ luật sinh : Ngôn ngữ bao gồm nếu-thi (ì-then)cịn gọi luật sản xuất hay luật sinh,là ngôn ngữ phổ biến để biểu diễn tri thức.các câu Hor n có dạng : P … P N =>Q Trong P i (i=1,2,…,n) Q câu phần tử Các câu Horn viết dạng: P P … P n Q Các P i (i=1,2,…,n) gọi điều kiện.Q gọi kết luận luật Các luật có ưu điểm sau đây: -Mỗi luật –thì mơ tả phần nhỏ tương đối độc lập tri thức Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 -Có thể them sở tri thức luật mới,hoặc loại bỏ số luật cũ mà không ảnh hưởng nhiều tới luật khác -Các hệ tri thức với sở tri thức gồm luật nếu-thì có khả đưa lời giải thích cho định hệ Các luật –thì dạng biểu diễn tự nhiên tri thức.Băng cách sử dụng luật nêu-thì biểu diễn lượng lớn tri thức người tự nhiên,về xã hội.,… Ví dụ như: -Một luật chuẩn đoấn bệnh: Nếu 1.bệnh nhân ho lâu ngày ,và 2.bệnh nhân thường sốt vào buổi chiều Thì bệnh nhân có khả bị bệnh lao -Một luật dự báo thời tiết Nếu 1.trời nhiều mây,và 2.có gió Thì trời mưa Trong nhiều áp dụng sở hệ cần đua vào luật mà phần kết luật hành động hệ cần thực hiện.gọi luật la luật hành động(action),một luật hành động có dạng: 1.< điều kiện 1>,và 2.< điều kiện 2>,và … m thì Hành động luật hành động them vào kiện mới,có thể loại bỏ kiện có nhớ làm việc;hành động động mà robot cần thực Người ta phân biệt dạng hệ,các hệ dựa luật sử dụng lập luận tiến phần kết luận luật xác định khẳng định gọi hệ diễn dịch.các hệ dựa luật mà phần kết luận luật xác định hành động cần thực gọi hệ hành động dựa luật Trong hệ diễn dịch ta xem luật sinh khăng định “có giá tri” nhau;tức làtức ta không xem khăng định luật sinh tốt khăng định luật khác sinh ra.do hệ diễn dịch,khi mà điều kiện thoả mãn ta sinh khẳg định Trong hành động ,khi có nhiều luật sinh muốn thực hành đọng có thể.Do hệ Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 hành động càn có chiến lược giải va chạm để định cho luật sinh số luật sinh ra.Một số chiến lược giải va chạm: -Sắp xếp luật theo thứ tự ưu tiên.Trong luật sinh luật có mức ưu tiên cao thực -Sắp xếp liệu:các kiện nhớ làm việc xếp theo thứ tự ưu tiên.Luật mà ccá điều kiện làm thoả mãn điều kiện có mức ưu tiên cao thực trứoc -Các luật phân thành nhóm:trong nhóm luật điều kiện để áp dụng luật nhóm.Các luật lien quan đến nội dung nhớ làm việc -Sử dụng siêu luật: Đó luật mà phần điều kiện liên quan đến nội dung luật nội dung nhớ làm việc,còn phần kết luận luật áp dụng bị cấm áp dụng.Các siêu luật điều khiển cho phép luật sinh Việc sử dụng chiến lược giải va chạm phụ thuộc vào áp dụng.Tuỳ theo mục dích thiết kế hệ mà ta lựa chọn chiến lược giải cho phù hợp 1.3.1.3 Phương pháp biểu diễn mạng ngữ nghĩa Mạng ngữ nghĩa phương pháp biểu diễn tri thức dễ hiểu nhất.Phương pháp biểu diễn dựa đồ thị,trong đỉnh đối tượng(hay khái niệm) cung mối quan hệ đối tượng(hoăc khái niệm )đó Ví dụ như:giữa đối tượng khái niệm :chích,chim,tổ,cánh,hót có quan hệ sau: Chich Chich Là Biết Hót chim Làm có tổ cánh 1.3.1.4 Phương pháp biểu diễn Frame(Khung) Khung phương pháp biểu diễn tri thức có cấu trúc liệu chứa tất tri thức liên quan đến đối tượng cụ thể đó.Khung có quan hệ chặt chẽ đến khái niệm hướng đối tượng Khung thường dùng để biểu diễn tri thức ’’chuẩn ’’ tri thức dựa kinh nghiệm diểm hiểu biết cặn kẽ Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 Cấu trúc khung gôm thành phần ‘‘Slot’’ ‘‘Facet’’.Slot thuộc tính đặc tả đối tượng Một Slot chứa nhiều Facet.Các Facet đơi gọi Slot cấu trúc tổng quát khung(Frame) liệu mô tả sau : Frame Slot : Value : Slot: Value: Slot: Value: Các slot frame chứa thong tin sau: -Thông tin nhận dạng frame -Thông tin quan hệ frame với frame khác -Các thành phần mô tả frame -Thông tin thủ tục -Thông tin mặc định frame -Thông tin đề xuất Biểu diễn tri thức nhờ frame cung cấp ý tưởng lập trình hướng đối tượng ngôn ngữ lập trinh Prolog ngôn ngữ lập trình khác C+ +và Visual Basic Frame cho phép truy cập thành phần Frame Slot cho phép hưởng quyền thừa kế Frame liệu với Frame liệu khác 1.3.2 chiên lược tìm kiếm tri thức 1.3.2.1 Khơng gian tốn Tri thức tốn đươc chia thành tri thức tri thức mô tả ,tri thức thủ tục va tri thức điều khiển -Tri thức mô tả:là loại tri thức mơ tả mà biết toán.Loại tri thức bao gồm kiện,các quan hệ tính chất tốn -Tri thức thủ tục:la loại tri thức mô tả cách giải toán.Loại tri thức bao gồm luật suy diễn hợp lệ,chiến lược tìm kiếm giải thuật tìm kiếm -Tri thức điều khiển:là loại tri thức xem luật chủ chốt điều khiển trình lý giải để dẫn đến kết luận Khơng gian tốn biểu diễn khơng gian trạng thái biểu diễn đồ thị định hướng gồm thành phần sau: S : trạng thía ban đầu toán (dữ liệu ban đầu) G : tập trạng thái đích tốn(dữ liệu đích) N : Tập trạng thái phát sinh từ trạng thái ban đầu đến trạng thái đích Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 A : Tập trạng thái chuyển tiếp cung lien kết nút đồ thị nhờ thong qua luật áp dụng toán Luật áp dụng luật mà vế điều kiện hợp với trạng thái có để vế kết luận phát sinh trạng thái 1.3.2.2Một số giải thuật tìm kiếm a.Giải thuật tìm kiếm theo chiều rộng (Breadth-Fist-search) Đây giải thuật tìm kiếm mức theo mức cây.Giải thuật nút gốc tìm kiếm qua tất nút nút kế tiếp,nếu chưa tìm thấy đích tiếp tục tìm kiếm mức sâu hơn,cứ tìm thây nút đích dừng thủ tục tìm kiếm thiết lập lời giải nút gốc thông qua nút lien kết đến nút đích Giải thuật tìm kiếm theo chiều rộng trang bị danh sách mở Open đóng Closed,trong danh sách Open chứa trạng thái chờ duyệt danh sách Closed chứa trạng thái duyệt qua.Giải thuật mô tả sau: Procdure TK_RONG Begin Open=[Start]; Closed=[]; While Open [] Begin - Loại bỏ nút từ danh sách Open gọi nút X If X=đich Then trả thành công Else begin - Phát sinh X dung luật áp dụng hợp với X; - Đặt X vào danh sách Closed - Loại bỏ tất X có mặt Open Closed -Đặt X chưa có măt Open Closed Vào cuối danh sách Open; End ; End; End b.Giải thuật tìm kiếm theo chiều sâu(Depth Fist Search) Giải thuật tìm kiếm theo chiều sâu giải thuật tìm kiếm nhánh theo nhánh cây.Giải thuật nút gốc tìm kiếm đến nút con,cháu gốc,nếu giải thuật tìm thấy đích dừng thủ tục tìm kiếm thiết lập lời giải từ nút gốc thong qua nút liên kết đếnnút đích;mặt khác giải thuật tìm kiếm thấy đường cụt lùi tìm kiếm nút anh em Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 Giải thuật trang bị danh sách mở Open đóng Closed Nó mơ tả sau: Procedure TK_SAU Begin Open=[Start]; Closed=[]; While Open [] Begin -Loại bỏ nút từ danh sách Open gọi nút X If X=đích Then trả thành công Else begin -Phát sinh cua X dung luật áp dụng với X -Đặt X vào danh sách Closed; -Loại bỏ X có mặ Open Closed; -Đặt X chưa có mặt Open Closed vào đầu danh sách Open End; End; End c.Tìm kiếm Heuristic -Tri thức điều khiển tốn cịn gọi Heuristic.Heuristic luật chủ chốt điều khiển thuật tốn tìm kiếm bám đường có trạng thái tốt để đạt đến đích.Heuristic thể dạng luật dạng hàm số.Nếu thể dạng hàm gọi hàm heuristic ,nếu dạng luật gọi làluật heuristic Heuristic cịn gọi tri thức nơng cạn tốn dốn bắt trạng thái tốt bước trình giải vấn đề.Do đơi Heuristic khơng đảm bảo tìm thấy lời giải tốt toán Nếu ta định nghĩa h(n) hàm heuristic trạng thái n h(n) ước lượngtính từ trạng thái n đến trạng thái đích tốn.Trạng thái có heuristic nhỏ trạng thái tốt chọn để tiếp diễn trình tìm kiếm -Nếu trạng thái n khơng dẫn đến đường cụt heuristic h(n) 0 -Nếu trạng thái n dẫn đến đường cụt heuristic h(n)= -nếu trạng thái n dẫn đến trạng thái đích tốn heuristic h(n)=0 -Giải thuật tìm kiếm tốt nhất(Best-Fist-search) Một giải thuật tìm kiếm sử dụng heuristic giải thuật tìm kiếm tốt nhất.Giải thuật trang bị băng danh sách mở Open đóng 10 Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 Closed.Giải thuật bắt đầu với nút gốc cây,khai triển thừa kế gốc nhờ thong qua luật ứng dụng, ước lượngheuristic cho tất nút gốc,chọn nút co heuristic nhỏ nhât để viếng thăm bỏ tất nút lại.Thủ tục lập lại cho tất nút viếng thăm trạng thái đích tốn tìm thấy.cách tìm kiếm tạo đường lien kết bám theo trạng thái có thong tin heuristic nhỏ để đạt đến đích Giải thuật mô tả sau: Procedure tk_totnhat Begin Open=[Start] Closed=[]; While Open [] Begin -Lấy nút danh sách Open,gọi nút X loại bỏ X khỏi danh sách Open -If X=đích Then return(success) Else Begin * Khai triển kế thừa X thông qua luật ứng dụng cho kế thừa X thực trường hợp sau: Case:thừa kế chưa xuất danh sách Open Closed - Ước lượng heuristic cho thừa kế - Đặt thừa kế vào danh sách Open Case:Thừa kế có mặt danh sách Open - Uớc lượng heuristic cho thừa kế - Nếu trạng thái xuất tốt trạng thái cũ có mặt Open loại bỏ trạng thái cũ khỏi danh sách Open;mặt khác giữ lại trạng thái cũ danh sách Open lloại bỏ trạng thái xuất Case:Thừa kế có mặt danh sách Closed -Ước lượng heuristic cho thừa kế -Nếu trạng thái xuất tốt trạng thái có mặt sẵn Closed loại bỏ trạng thái cũ khỏi danh sách Closed đặt vào danh sách Open;mặt khác giữ lại trạng thái cũ danh sách Closed loại bỏ trạng thái xuất End; +Đặt X vào danh sách Closed +Sắp xếp trạng thái danh sách Open theo thứ tự đầu danh sách đến cuối danh sách tương ứng với trạng thái tốt đến trạng thái xấu End 11 Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 c.Hàm đánh giá heuristic Gỉa sử trình tìm kiếm với thong tin heuristic khơng gian tốn có hai nhiều trạng thái xuất có heuristic,trong trường hợp này,trạng thái gần gốc trạng thía tốt Để đánh giá đầy đủ thong tin heuristic cho trường hợp hàm đánh giá heuristic thiết lập gồm thành phần: f(n)=h(n)+g(n) h(n)là hàm heuristic trạng thía n g(n) hàm chi phí đo từ trạng thía gốc đến nút trạng thái n Vì trinh tìm kiếm trạng thái có f(n) nhỏ trạng thái tốt chọn để tiếp diễn trình tìm kiếm 1.4 Giới thiệu ngơn ngữ lập PROLOG 1.4.1cấu trúc chương trình: Ngơn ngữ PROLOG ngơn ngữ lập trình sở tốn học logic thiết lập để giải vấn đề lĩnh vực Trí tệu nhân tạo.Cấu trúc ngơn ngữ lập trình Prolog mơ tả sau: Domain /* Domain declarations */ Predicates /* /* Predicate declarations */ Clauses /* Clauses(rules and fact) */ Goal /* Subgoal_1 Subgoal_2 /* +domains:là vùng để khai báo miền liệu không chuẩn predicate.các miền liệu ushort,short,integer,long,ulong,real,string,symbol +predicate:là vùng để khai báo predicates,nó phải có tên riêng đối số vào nó.Theo qui ước,tên predicate phải có chuỗi chữ in thương đối số chữ in hoa biến 12 Website: http://www.docs.vn Email : lienhe@docs.vn Tel (: 0918.775.368 +clauses:là vùng cho phép thê kiện luật suy diễn.sự kiện đươc thể dạng vị từ với đối số hăng vị từ Luật suy diễn thể dạng if condition_1 and condition_2,…and condition_N then conclusion với cú pháp tổng quát Prolog là: Conclusion:-condition_1,condition_2,…condition_N +goal:là vùng thực đích tốn 1.4.2các loại tốn tử -toán tử logic :and ,only , or,not -toán tử quan hệ Less than với câu trúc prolog < Less than ỏ equal to với câu trúc prolog Greater than or equal với cú pháp prolog >= Not equal với cú pháp prolog >< Cut với cú pháp prolog ! Ví dụ sử dụng tốn tử để giải phương trinh bậc có dạng ax +bx+c=o Predicates Solve(real,real,real) Reply(real,real,real) Clauses Solve(a,b,c):D=b*b-a*a*c, Reply(a,b,d),nl Reply(_,_,d):D0; Y(k) Y *i (k+1)=0 Y *i (k+1)0 X i (k+1) X i (k) X *i (k+1 X *i (k+1)