Luận văn thạc sĩ: Lập trình logic- nghiên cứu, phân tích các phương pháp biểu diễn tri thức trong lập trình Logic - Tailieu123.org

1.1 Mở đầu............................................................................................................................................5

1.2 Biểu diễn tri thức trong chương trình logic tổng quát.....................................................................12

1.3 Câu trả lời cho truy vấn.................................................................................................................17

1.4 Một số ngữ nghĩa khác của chương trình logic tổng quát................................................................19

Chương 2 LẬP TRÌNH LOGIC MỞ RỘNG 22

2.1 Biểu diễn tri thức sử dụng các chương trình logic mở rộng.............................................................26

2.2 Ngữ nghĩa khác của chương trình logic mở rộng............................................................................37

2.3 Các chương trình logic phân biệt (Disjunctive Logic Programs).....................................................38

2.3.1 Giới thiệu..............................................................................................................................38

2.3.2 Biểu diễn tri thức sử dụng chương trình logic phân biệt..........................................................42

2.3.3 Tìm câu trả lời cho truy vấn...................................................................................................46

Chương 3 MÔI TRƯỜNG LẬP TRÌNH LOGIC 50

3.1 Giới thiệu......................................................................................................................................50

3.2 Hệ thống DLV................................................................................................................................53

3.2.1 Ngôn ngữ của môi trường DLV.............................................................................................54

3.2.2 Cấu trúc một chương trình.....................................................................................................57

a. Cơ sở dữ liệu mở rộng – EDB...............................................................................................57

b. Cơ sở dữ liệu cơ bản – IDB...................................................................................................58

(i) Luật................................................................................................................................58

(i.1) Luật ngầm định 59

(i.2) Luật phân biệt 61

(i.3) Luật phủ định 62

(ii) Ràng buộc......................................................................................................................65

ii.1) Ràng buộc toàn vẹn 65

(ii.2) Ràng buộc yếu 67

3.3 Gói DLV trong Java.......................................................................................................................70

3.3.1 Biểu diễn dữ liệu: các lớp Predicate, Literal, Model và Program...........................................70

3.3.2 Kiến trúc gói DLV: lớp DlvHandler......................................................................................72

Chương 4 CÁC BÀI TOÁN MINH HỌA 77

4.1 Bài toán N quân hậu......................................................................................................................78

4.1.1 Phân tích bài toán..................................................................................................................78

4.1.2 Cài đặt..................................................................................................................................82

4.2 Bài toán Cây khung nhỏ nhất.........................................................................................................84

4.2.1 Mô tả bài toán.......................................................................................................................84

4.2.2 Phân tích và cài đặt................................................................................................................85

a. Chương trình logic DLV.......................................................................................................85

b. Cài đặt trên Java...................................................................................................................87

KẾT LUẬN 93

TÀI LIỆU THAM KHẢO 95

PHỤ LỤC 97

MỞ ĐẦU

Logic tính toán được các nhà logic học đưa ra vào những năm 1950, dựa trên

các kỹ thuật tự động hóa quá trình suy diễn logic. Logic tính toán được phát

triển thành lập trình logic vào những năm 1970. Từ đó hình thành một khái

niệm quan trọng là lập trình khai báo (declarative programming) đối lập với

lập trình cấu trúc (procedural programming). Về ý tưởng, các lập trình viên chỉ

cần đưa ra khai báo của chương trình còn việc thực hiện cụ thể do máy tính tự

xác lập, trong khi đó việc thực hiện các chương trình hướng thủ tục lại được

xác lập cụ thể bởi lập trình viên. Ngôn ngữ Prolog là một công cụ thực hiện rõ

ý tưởng này. Chương trình dịch Prolog đầu tiên ra đời đã chứng tỏ đó là một

ngôn ngữ thực hành và được phổ biến trên toàn thế giới.

Sự phát triển của lập trình logic chính thức bắt đầu vào cuối những năm

1970. Những phát triển xa hơn đạt được vào đầu thập kỷ 80, bắt đầu với sự

xuất hiện của quyển sách đầu tiên nói về các cơ sở lập trình logic. Việc lựa

chọn lập trình logic làm mô hình cơ sở cho dự án Các hệ thống máy tính đời

thứ 5 của Nhật (Japanese Fifth Generation Computer Systems Project) đã mở

đầu cho sự phát triển của các ngôn ngữ lập trình logic khác.

Nhờ khả năng khai báo tự nhiên của lập trình logic, Prolog nhanh chóng

trở thành một ứng cử viên cho việc biểu diễn tri thức. Tính đầy đủ của nó trở

nên rõ ràng hơn khi mối liên hệ giữa các chương trình logic với cơ sở dữ liệu

suy diễn được đưa ra vào giữa thập kỷ 80.

Việc sử dụng lập trình logic và cơ sở dữ liệu suy diễn để biểu diễn tri

thức được gọi là “cách tiếp cận logic cho việc biểu diễn tri thức”. Cách tiếp cận

này dựa trên ý tưởng là chương trình máy tính được cung cấp các đặc thù

logic của tri thức trong đó, do đó nó độc lập với bất kỳ cách thực hiện riêng

biệt nào, với ngữ cảnh tự do, dễ dàng thao tác và suy diễn.

Chính vì vậy, cú pháp của ngôn ngữ lập trình phải kết hợp được bất kỳ

chương trình nào với đặc thù khai báo của nó. Khi đó, việc thực hiện các

phương pháp tính toán sẽ thông qua so sánh các thuộc tính cụ thể với cú pháp

khai báo. Việc đưa ra một cú pháp thích hợp cho các chương trình logic được

coi như một trong những lĩnh vực nghiên cứu quan trọng nhất và khó nhất

trong lập trình logic.

Luận văn này sẽ trình bày các kết quả nghiên cứu về cú pháp và ngữ nghĩa của

chương trình logic, bao gồm các lập trình logic thông thường và lập trình logic

mở rộng, tiếp đó sẽ đề cập môi trường lập trình logic DLV (Datalog with Vel)

và cách thức kết hợp môi trường logic này trong mã nguồn hướng đối tượng

Java, cuối cùng trình bày hai bài toán minh họa (bài toán N quân hậu và bài

toán Cây khung nhỏ nhất) được cài đặt trên DLV và được chạy trong mã nguồn

hướng đối tượng Java.

có thể bạn quan tâm

Giới thiệu các cổng Logic cơ bản, mạch logic tổng hợp, vi mạch số lập...

Luận văn thạc sĩ khoa học máy tính: Cơ sở dữ liệu suy diễn: tìm hiểu c...

Luận văn thạc sĩ khoa học: Bài toán thỏa mãn ràng buộc, lập trình Logi...

Luận văn thạc sĩ: Nghiên cứu hệ phương trình hàm cho phương trình nhiề...

5 mẹo này sẽ giúp bạn cải thiện được khả năng lập trình logic

Tóm tắt luận án thạc sĩ: Tổng quan các phương pháp khai thác dữ liệu,...

Luận văn thạc sĩ: Tổng quan về “Lập trình linh hoạt” và “Quy trình cộn...

Nguồn gốc, các quy luật cơ bản của Kinh Dịch, biểu diễn Kinh Dịch bằng...

thông tin tài liệu

Các chương trình logic tổng quát được thảo luận trong chương 1 cung cấp một công cụ mạnh cho việc biểu diễn tri thức trong các trường hợp chỉ sử dụng giả thiết thế giới đóng. Tuy nhiên, mỗi truy vấn nền cho các chương trình loại này được trả lời là có hoặc không lại không cho phép người lập trình trực tiếp biễu diễn các tri thức không hoàn thiện về thế giới. Để làm được điều này, ngôn ngữ cần cho phép đến khả năng thứ 3 – câu trả lời không biết (unknown), sử dụng cho các câu trả lời là không đúng cũng không sai. Trong chương này, ta sẽ thảo luận chương trình logic mở rộng, chứa dạng thứ hai của phủ định ¬, đi cùng với dạng phủ định ngầm not. Các chương trình logic tổng quát cung cấp thông tin phủ định không rõ ràng thông qua suy diễn trong thế giới đóng; bên cạnh đó các chương trình logic mở rộng lại có thể bao gồm các thông tin phủ định hiện. Trong ngôn ngữ của chương trình mở rộng, ta có thể phân biệt một truy vấn với ý nghĩa “nó không thành công” với một truy vấn với ý nghĩa mạnh hơn “phủ định của nó thành công”.

Mở rộng để xem thêm

tài liệu mới trong mục này

Giới thiệu chung về bảo mật vô tuyến- Kiến trúc bảo mật mạng GSM và Kiến trúc bảo mật mạng GSM

Tổng quan về cân bằng nước hệ thống và mô hình IQQM, áp dụng mô hình IQQM tính toán cân bằng nước hệ thống Tổng quan về cân bằng nước hệ thống và mô hình IQQM, áp dụng mô hình IQQM tính toán cân bằng nước hệ thống lưu vực sông Kiến Giang, Quảng Bình

Xây dựng cơ sở dữ liệu về đặc trưng lâm học của một số ưu hợp thực vật ưu thế cây họ Sao – Dầu ở Đồng Nai để làm căn cứ xây dựng những biện pháp khai thác – tái sinh, nuôi dưỡng và bảo tồn những hệ sinh thái rừng ưu thế cây họ Sao – Dầu ở Đông Nam Bộ

So sánh một số yếu tố môi trường nước trong quầng nuôi tôm có trồng Rau nhút và tôm có chất chà ở xã Bình Thạnh Đông, huyện Phú Tân, tỉnh An Giang

Khảo sát và phân tích định lượng để tìm hiểu sự khác biệt của các yếu tố môi trường đào tạo, đặc điểm cá nhân và KQHT ở hai trường và so sánh để tìm hiểu sự khác biệt ở hai môi trường giáo dục khác nhau

tài liệu hot trong mục này

Luận văn về các tác nhân ảnh hưởng đến kết quả học tập của sinh viên chính quy trường Đại Học Kinh Tế- TP HCM

Luận văn thạc sỹ: Phân tích và đánh giá chiến lược kinh doanh tại công ty sữa Vinamilk

Luận văn thạc sĩ: Tổng quan về thị trường chứng khoán Việt Nam và các giải pháp nhằm hạn chế rủi ro trên thị trường chứng khoán Việt Nam

Luận văn thạc sĩ tôn giáo học: Quản lý nhà nước về hoạt động quản lý tôn giáo tại TP.Hồ Chí Minh- thành tựu, hạn chế và vấn đề đặt ra