Lập trình lôgich

Cuốn sách này nhằm cung cấp cơ sở lý thuyết và các phương pháp lập trình cơ bản nhất của môn học «Lập trình lôgich» (Programming in Logic). Người đọc sẽ được làm quen với một số kỹ thuật lập trình lôgich được ứng dụng tương đối phổ biến và chủ yếu trong lĩnh vực trí tuệ nhân tạo (Artificial Intelligence) như công nghệ xử lý tri thức, máy học, hệ chuyên gia, xử lý ngôn ngữ tự nhiên, trò chơi, v.v... ...
Nội dung trích xuất từ tài liệu:
Lập trình lôgich LÅÌI NOÏI ÂÁÖU Cuäún saïch naìy nhàòm cung cáúp cå såí lyï thuyãút vaì caïc phæång phaïp láûp trçnh cå baín nháút cuía män hoüc «Láûp trçnh lägich» (Programming in Logic). Ngæåìi âoüc seî âæåüc laìm quen våïi mäüt säú kyî thuáût láûp trçnh lägich âæåüc æïng duûng tæång âäúi phäø biãún vaì chuí yãúu trong lénh væûc trê tuãû nhán taûo (Artificial Intelligence) nhæ cäng nghãû xæí lyï tri thæïc, maïy hoüc, hãû chuyãn gia, xæí lyï ngän ngæî tæû nhiãn, troì chåi, v.v... Cuäún saïch gäöm nàm chæång vaì phuû luûc nhæ sau : Chæång 1 giåïi thiãûu ngän ngæî láûp trçnh Prolog lägich dæûa trãn lägich − Horn (Horn logic). Ngæåìi âoüc laìm quen våïi caïc kiãøu dæî liãûu cuía Prolog, khaïi niãûm vãö luáût, sæû kiãûn vaì viãút caïc chæång trçnh Prolog âån giaín. Chæång 2 trçnh baìy caïc mæïc nghéa khaïc nhau cuía mäüt chæång trçnh − Prolog : nghéa lägich, nghéa khai baïo vaì nghéa thuí tuûc, caïch Prolog traí låìi caïc cáu hoíi, caïch laìm thoaí maîn âêch. Chæång 3 trçnh baìy caïc pheïp toaïn säú hoüc, pheïp so saïnh vaì âënh nghéa − haìm sæí duûng pheïp âãû quy trong Prolog. Chæång 4 trçnh baìy cáúu truïc danh saïch vaì caïc pheïp xæí lyï cå baín trãn − danh saïch cuía Prolog. Chæång 5 trçnh baìy kyî thuáût láûp trçnh náng cao våïi Prolog. − Pháön phuû luûc giåïi thiãûu ngän ngæî láûp trçnh SWI-Prolog, hæåïng dáùn − caïch caìi âàût sæí duûng pháön mãöm naìy vaì mäüt säú chæång trçnh vê duû tiãu biãøu viãút trong SWI Prolog. Cuäún saïch naìy duìng laìm giaïo trçnh cho sinh viãn ngaình Tin hoüc vaì caïc âäüc giaí muäún tçm hiãøu thãm vãö kyî thuáût láûp trçnh cho lénh væûc trê tuãû nhán taûo. Trong quaï trçnh biãn soaûn, taïc giaí âaî nháûn âæåüc tæì caïc baûn âäöng nghiãûp nhiãöu âoïng goïp bäø êch vãö màût chuyãn män, nhæîng âäüng viãn khêch lãû vãö màût tinh tháön, sæû giuïp âåî vãö biãn táûp âãø cuäún saïch âæåüc ra âåìi. Taïc giaí xin âæåüc baìy toí long biãút ån sáu sàõc. Taïc giaí cuîng chán thaình caím ån moüi yï kiãún phã ì bçnh âoïng goïp cuía baûn âoüc gáön xa vãö näüi dung cuía cuäún saïch naìy. Âaì Nàông, ngaìy 27/05/2004 Taïc giaí. MUÛC LUÛC CHÆÅNG 1 MÅÍ ÂÁÖU VÃÖ NGÄN NGÆÎ PROLOG................................. 1 I. GIÅÏI THIÃÛU NGÄN NGÆÎ PROLOG ........................................ 1 I.1. Prolog laì ngän ngæî láûp trçnh lägich ........................................... 1 I.2. Cuï phaïp Prolog ........................................................................... 2 I.2.1. Caïc thuáût ngæî ............................................................................. 2 I.2.2. Caïc kiãøu dæî liãûu Prolog .............................................................. 3 I.2.3. Chuï thêch .................................................................................... 4 II. CAÏC KIÃØU DÆÎ LIÃÛU SÅ CÁÚP CUÍA PROLOG ......................... 5 II.1. Caïc kiãøu hàòng (træûc kiãûn) .......................................................... 5 II.1.1. Kiãøu hàòng säú ............................................................................... 5 II.1.2. Kiãøu hàòng lägich ......................................................................... 5 II.1.3. Kiãøu hàòng chuäùi kyï tæû ................................................................ 5 II.1.4. Kiãøu hàòng nguyãn tæí .................................................................. 5 II.2. Biãún ............................................................................................. 6 III. SÆÛ KIÃÛN VAÌ LUÁÛT TRONG PROLOG .................................... 6 III.1. Xáy dæûng sæû kiãûn ........................................................................ 6 III.2. Xáy dæûng luáût ........................................................................... 10 III.2.1. Âënh nghéa luáût ........................................................................ 10 III.2.2. Âënh nghéa luáût âãû quy ............................................................ 15 III.2.3. Sæí duûng biãún trong Prolog ....................................................... 18 IV. KIÃØU DÆÎ LIÃÛU CÁÚU TRUÏC CUÍA PROLOG ......................... 19 IV.1. Âënh nghéa kiãøu cáúu truïc cuía Prolog ....................................... 19 IV.2. So saïnh vaì håüp nháút caïc haûng ................................................. 22 CHÆÅNG 2 NGÆÎ NGHÉA CUÍA CHÆÅNG TRÇNH PROLOG .......... 31 I. QUAN HÃÛ GIÆÎA PROLOG VAÌ LÄGICH TOAÏN HOÜC .......... 31 II. CAÏC MÆÏC NGHÉA CUÍA CHÆÅNG TRÇNH PROLOG .......... 32 II.1. Nghéa khai baïo cuía chæång trçnh Prolog................................. 33 II.2. Khaïi niãûm vãö goïi mãûnh âãö ....................................................... 34 i II.3. Nghéa lägich cuía caïc mãûnh âãö.................................................. 35 II.4. Nghéa thuí tuûc cuía Prolog ......................................................... 37 II.5. Täø håüp caïc yãúu täú khai baïo vaì thuí tuûc ..................................... 47 III. VÊ DUÛ : CON KHÈ VAÌ QUAÍ CHUÄÚI .................................. ...