Giáo trình
Trí tuệ nhân tạo

1


Lời nói đầu
Trí tuệ nhân tạo (hay AI: Artificial Intelligence), là nỗ lực tìm hiểu những yếu tố trí
tuệ. Lý do khác để nghiên cứu lĩnh vực này là cách để ta tự tìm hiểu bản thân chúng
ta. Không giống triết học và tâm lý học, hai khoa học liên quan đến trí tuệ, còn AI cố
gắng thiết lập các các yếu tố trí tuệ cũng như tìm biết về chúng. Lý do khác để nghiên
cứu AI là để tạo ra các thực thể thông minh giúp ích cho chúng ta. AI có nhiều sản
phẩm quan trọng và đáng lưu ý, thậm chí ngay từ lúc sản phẩm mới được hình thành.
Mặc dù không dự báo được tương lai, nhưng rõ ràng máy tính điện tử với độ thông
minh nhất định đã có ảnh hưởng lớn tới cuộc sống ngày nay và tương lai phát triển
của văn minh nhân loại.
Tài liệu gồm các phần sau:
- Phần 1 : Tri thức và lập luận
- Phần 2 : Giải quyết vấn đề bằng tìm kiếm
- Phần 3 : Tiếp cận ký hiệu
Còn nhiều vấn đề khác chưa đề cập được trong phạm vi tài liệu này. Đề nghị các bạn
đọc tìm hiểu thêm sau khi đã có những kiến thức cơ bản này.

2


Mục lục
Phần I............................................................................................................................. 6
Tri thức v lập luận............................................................................................ 6
Chơng I .................................................................................................................... 7
Logic mệnh đề ..................................................................................................... 7

I. Biểu diễn tri thức ............................................................................................... 7
II. Cú pháp v ngữ nghĩa của logic mệnh đề ...................................................... 8
II.1 Cú pháp........................................................................................................ 8
II.2 Ngữ nghĩa .................................................................................................... 9
III. Dạng chuẩn tắc .............................................................................................11
IV. Luật suy diễn .................................................................................................13
V. Luật giải, chứng minh bác bỏ bằng luật giải ...............................................16
VI. Bi tập ............................................................................................................18
Chơng II.................................................................................................................21
LOGIC Vị Từ CấP MộT.........................................................................................21
I. Cú pháp ............................................................................................................21
II. Ngữ nghĩa ........................................................................................................23
III. Bi tập............................................................................................................25
Phần II .........................................................................................................................28
Giải quyết vấn đề bằng tìm kiếm................................................................28
Chơng III ...............................................................................................................29
Các chiến lợc tìm kiếm mù ......................................................................29
I. Biểu diễn vấn đề trong không gian trạng thái ..............................................29
II. Các chiến lợc tìm kiếm.................................................................................31
III. Các chiến lợc tìm kiếm mù ........................................................................33
III.1 Tìm kiếm theo bề rộng .............................................................................33
III.2 Tìm kiếm theo độ sâu...............................................................................35
III.3 Các trạng thái lặp.....................................................................................36
III.4 Tìm kiếm sâu lặp......................................................................................36
IV. Quy vấn đề về các vấn đề con ......................................................................38
V. đồ thị ...............................................................................................................40
VI. Bi tập ............................................................................................................44
Chơng IV................................................................................................................45
Các chiến lợc tìm kiếm kinh nghiệm..................................................45
I. Hm đánh giá v tìm kiếm kinh nghiệm .......................................................45

II. Tìm kiếm tốt nhất - đầu tiên .............................................................................46
III. Tìm kiếm leo đồi ...........................................................................................48
IV. Tìm kiếm beam .............................................................................................49
V. Bi tập..............................................................................................................50
Chơng V .................................................................................................................51
Các chiến lợc tìm kiếm tối u................................................................51
I. Tìm đờng đi ngắn nhất..................................................................................51

3


I.1 Thuật toán A*..............................................................................................52
I.2 Thuật toán tìm kiếm nhánh-v-cận ...........................................................54
II. Tìm đối tợng tốt nhất ...................................................................................56
II.1 Tìm kiếm leo đồi ........................................................................................57
II.2 Tìm kiếm gradient......................................................................................58
II.3 Tìm kiếm mô phỏng luyện kim .................................................................58
III. Tìm kiếm mô phỏng sự tiến hóa. Thuật toán di truyền ............................59
IV. Bi tập ............................................................................................................63
Chơng VI................................................................................................................65
Tìm kiếm có đối thủ ........................................................................................65
I. Cây trò chơi v tìm kiếm trên cây trò chơi....................................................65
II. Phơng pháp cắt cụt alpha - beta .................................................................71
III. Bi tập............................................................................................................73
Phần III........................................................................................................................75
HC MY (MACHINE LEARNING)........................................................................75
Chng VII ...............................................................................................................77
TIP CN Kí HIU: ..............................................................................................77
GII THUT QUY NP CY QUYT NH ID3 ...........................................77
I. Gii thiu ..........................................................................................................77

II. Gii thut ID3 xõy dng cõy quyt nh t trờnxung ............................80
III. Thuc tớnh no l thuc tớnh dựng phõn loi tt nht? .......................82
III.1 Entropy o tớnh thun nht ca tp vớ d...............................................82
III.2 Lng thụng tin thu c o mc gim entropy mong i..............84
IV. Tỡm kim khụng gian gi thuyt trong ID3................................................84
V. ỏnh giỏ hiu sut ca cõy quyt nh.........................................................85
VI. Chuyn cõy v cỏc lut .................................................................................86
VII. Khi no nờn s dng ID3............................................................................86
Chng VIII..............................................................................................................88
TIP CN KT NI: MNG NEURON ..............................................................88
I. Gii thiu ..........................................................................................................88
II. C bn v mng kt ni .................................................................................89
II.1 Mt neuron nhõn to ................................................................................89
II.2 Cỏc c trng ca mt mng Neuron ......................................................89
II.3 Mng neuron McCulloch-Pitts .................................................................90
III. Hc perceptron .............................................................................................91
III.1 Gii thut hc perceptron........................................................................91
III.2 S dng mng perceptron cho bi toỏn phõn loi .................................92
III.3 Gii hn ca perceptron tớnh tỏch ri tuyn tớnh ca bi toỏn..........95
III.4 Lut Delta.................................................................................................96
IV. Hc Lan truyn ngc..................................................................................98
IV.1 Gii thut hc lan truyn ngc .............................................................98
IV.2 Vớ d 1: Mng NetTalk ............................................................................99
IV.3 Vớ d 2: Exclusiveor ............................................................................. 100
V. Nhn xột chung v mng neuron ................................................................ 101
Chng IX .............................................................................................................. 102

4



TIẾP CẬN XÃ HỘI VÀ NỔI TRỘI: GIẢI THUẬT DI TRUYỀN (GENETIC
ALGORITHM - GA) .............................................................................................. 102
I. Giải thuật........................................................................................................ 102
II Ví dụ 1: Bài toán thỏa CNF.......................................................................... 104
III. Ví dụ 2: Bài toán người đi bán hàng TSP ................................................ 105
IV. Đánh giá giải thuật...................................................................................... 107
Bài tập................................................................................................................. 109
Tài liệu tham khảo ...................................................................................................... 111

5


PhÇn I

Tri thøc vμ lËp luËn

6


Chơng I

Logic mệnh đề

Trong chơng ny chúng ta sẽ trình by các đặc trng của ngôn ngữ biểu diễn tri thức.
Chúng ta sẽ nghiên cứu logic mệnh đề, một ngôn ngữ biểu diễn tri thức rất đơn giản,
có khả năng biểu diễn hẹp, nhng thuận lợi cho ta lm quen với nhiều khái niệm quan
trọng trong logic, đặc biệt trong logic vị từ cấp một sẽ đợc nghiên cứu trong các
chơng sau.
I. Biểu diễn tri thức
Con ngời sống trong môi trờng có thể nhận thức đợc thế giới nhờ các giác quan

(tai, mắt v các bộ phận khác), sử dụng các tri thức tích luỹ đợc v nhờ khả năng lập
luận, suy diễn, con ngời có thể đa ra các hnh động hợp lý cho công việc m con
ngời đang lm. Một mục tiêu của Trí tuệ nhân tạo ứng dụng l thiết kế các tác nhân
thông minh (intelligent agent) cũng có khả năng đó nh con ngời. Chúng ta có thể
hiểu tác nhân thông minh l bất cứ cái gì có thể nhận thức đợc môi trờng thông qua
các bộ cảm nhận (sensors) v đa ra hnh động hợp lý đáp ứng lại môi trờng thông
qua bộ phận hnh động (effectors). Các robots, các softbot (software robot), các hệ
chuyên gia,... l các ví dụ về tác nhân thông minh. Các tác nhân thông minh cần phải
có tri thức về thế giới hiện thực mới có thể đa ra các quyết định đúng đắn.
Thnh phần trung tâm của các tác nhân dựa trên tri thức (knowledge-based agent), còn
đợc gọi l hệ dựa trên tri thức (knowledge-based system) hoặc đơn giản l hệ tri thức,
l cơ sở tri thức. Cơ sở tri thức (CSTT) l một tập hợp các tri thức đợc biểu diễn dới
dạng no đó. Mỗi khi nhận đợc các thông tin đa vo, tác nhân cần có khả năng suy
diễn để đa ra các câu trả lời, các hnh động hợp lý, đúng đắn. Nhiệm vụ ny đợc
thực hiện bởi bộ suy diễn. Bộ suy diễn l thnh phần cơ bản khác của các hệ tri thức.
Nh vậy hệ tri thức bảo trì một CSTT v đợc trang bị một thủ tục suy diễn. Mỗi khi
tiếp nhận đợc các sự kiện từ môi trờng, thủ tục suy diễn thực hiện quá trình liên kết
các sự kiện với các tri thức trong CSTT để rút ra các câu trả lời, hoặc các hnh động
hợp lý m tác nhân cần thực hiện. Đơng nhiên l, khi ta thiết kế một tác nhân giải
quyết một vấn đề no đó thì CSTT sẽ chứa các tri thức về miền đối tợng cụ thể đó. Để
máy tính có thể sử dụng đợc tri thức, có thể xử lý tri thức, chúng ta cần biểu diễn tri
thức dới dạng thuận tiện cho máy tính. Đó l mục tiêu của biểu diễn tri thức.
Tri thức đợc mô tả dới dạng các câu trong ngôn ngữ biểu diễn tri thức. Mỗi câu có
thể xem nh sự mã hóa của một sự hiểu biết của chúng ta về thế giới hiện thực. Ngôn
ngữ biểu diễn tri thức (cũng nh mọi ngôn ngữ hình thức khác) gồm hai thnh phần cơ
bản l cú pháp v ngữ nghĩa.
Cú pháp của một ngôn ngữ bao gồm các ký hiệu về các quy tắc liên kết các ký hiệu
(các luật cú pháp) để tạo thnh các câu (công thức) trong ngôn ngữ. Các câu ở đây l
biểu diễn ngoi, cần phân biệt với biểu diễn bên trong máy tính. Các câu sẽ đợc
chuyển thnh các cấu trúc dữ liệu thích hợp đợc ci đặt trong một vùng nhớ no đó


7


của máy tính, đó l biểu diễn bên trong. Bản thân các câu cha chứa đựng một nội
dung no cả, cha mang một ý nghĩa no cả.
Ngữ nghĩa của ngôn ngữ cho phép ta xác định ý nghĩa của các câu trong một miền
no đó của thế giới hiện thực. Chẳng hạn, trong ngôn ngữ các biểu thức số học, dãy ký
hiệu (x+y)*z l một câu viết đúng cú pháp. Ngữ nghĩa của ngôn ngữ ny cho phép ta
hiểu rằng, nếu x, y, z, ứng với các số nguyên, ký hiệu + ứng với phép toán cộng, còn *
ứng với phép chia, thì biểu thức (x+y)*z biểu diễn quá trình tính toán: lấy số nguyên x
cộng với số nguyên y, kết quả đợc nhân với số nguyên z.
Ngoi hai thnh phần cú pháp v ngữ nghĩa, ngôn ngữ biểu diễn tri thức cần đợc
cung cấp cơ chế suy diễn. Một luật suy diễn (rule of inference) cho phép ta suy ra một
công thức từ một tập no đó các công thức. Chẳng hạn, trong logic mệnh đề, luật
modus ponens từ hai công thức A v A B suy ra công thức B. Chúng ta sẽ hiểu lập
luận hoặc suy diễn l một quá trình áp dụng các luật suy diễn để từ các tri thức trong
cơ sở tri thức v các sự kiện ta nhận đợc các tri thức mới. Nh vậy chúng ta xác định:
Ngôn ngữ biểu diễn tri thức = Cú pháp + Ngữ nghĩa + Cơ chế suy diễn.
Một ngôn ngữ biểu diễn tri thức tốt cần phải có khả năng biểu diễn rộng, tức l
có thể mô tả đợc mọi điều m chúng ta muốn nói. Nó cần phải hiệu quả theo
nghĩa l, để đi tới các kết luận, thủ tục suy diễn đòi hỏi ít thời gian tính toán v
ít không gian nhớ. Ngời ta cũng mong muốn ngôn ngữ biểu diễn tri thức gần
với ngôn ngữ tự nhiên.
Trong ti liệu ny, chúng ta sẽ tập trung nghiên cứu logic vị từ cấp một (firstorder predicate logic hoặc first-order predicate calculus) - một ngôn ngữ biểu
diễn tri thức, bởi vì logic vị từ cấp một có khả năng biểu diễn tơng đối tốt, v
hơn nữa nó l cơ sở cho nhiều ngôn ngữ biểu diễn tri thức khác, chẳng hạn toán
hon cảnh (situation calculus) hoặc logic thời gian khoảng cấp một (first-order
interval tempral logic). Nhng trớc hết chúng ta sẽ nghiên cứu logic mệnh đề
(propositional logic hoặc propositional calculus). Nó l ngôn ngữ rất đơn giản,

có khả năng biểu diễn hạn chế, song thuận tiện cho ta đa vo nhiều khái niệm
quan trọng trong logic.
II. Cú pháp v ngữ nghĩa của logic mệnh đề
II.1 Cú pháp
Cú pháp của logic mệnh đề rất đơn giản, nó cho phép xây dựng nên các công thức. Cú
pháp của logic mệnh đề bao gồm tập các ký hiệu v tập các luật xây dựng công thức.
Các ký hiệu
Hai hằng logic True v False.
Các ký hiệu mệnh đề (còn đợc gọi l các biến mệnh đề): P, Q,...
Các kết nối logic ,, ơ, ,
Các dấu mở ngoặc (v đóng ngoặc).
Các quy tắc xây dựng các công thức
Các biến mệnh đề l công thức.
Nếu A v B l công thức thì:
8


(A B) (đọc A hội B hoặc A v B)
(A B) (đọc A tuyển B hoặc A hoặc B)
( ơ A) (đọc phủ định A)
(A B) (đọc A kéo theo B hoặc nếu A thì B)
(A B) (đọc A v B kéo theo nhau)
l các công thức.
Sau ny để cho ngắn gọn, ta sẽ bỏ đi các cặp dấu ngoặc không cần thiết. Chẳng hạn,
thay cho ((A B) C) ta sẽ viết l (A B) C.
Các công thức l các ký hiệu mệnh đề sẽ đợc gọi l các câu đơn hoặc câu phân tử.
Các công thức không phải l câu đơn sẽ đợc gọi l câu phức hợp. Nếu P l ký hiệu
mệnh đề thì P v TP đợc gọi l literal, P l literal dơng, còn TP l literal âm. Câu
phức hợp có dạng A1 ... Am trong đó Ai l các literal sẽ đợc gọi l câu tuyển
(clause).

II.2 Ngữ nghĩa
Ngữ nghĩa của logic mệnh đề cho phép ta xác định thiết lập ý nghĩa của các công thức
trong thế giới hiện thực no đó. Điều đó đợc thực hiện bằng cách kết hợp mệnh đề
với sự kiện no đó trong thế giới hiện thực. Chẳng hạn, ký hiệu mệnh đề P có thể ứng
với sự kiện Paris l thủ đô nớc Pháp hoặc bất kỳ một sự kiện no khác. Bất kỳ một
sự kết hợp các kí hiệu mệnh đề với các sự kiện trong thế giới thực đợc gọi l một
minh họa (interpretation ). Chẳng hạn minh họa của kí hiệu mệnh đề P có thể l một sự
kiện (mệnh đề) Paris l thủ đô nớc Pháp . Một sự kiện chỉ có thể đúng hoặc sai.
Chẳng hạn, sự kiện Paris l thủ đô nớc Pháp l đúng, còn sự kiện Số Pi l số hữu
tỉ l sai.
Một cách chính xác hơn, cho ta hiểu một minh họa l một cách gán cho mỗi ký hiệu
mệnh đề một giá trị chân trị True hoặc False. Trong một minh họa, nếu kí hiệu mệnh
đề P đợc gán giá trị chân trị True/False (P True/ PFalse) thì ta nói mệnh đề P
đúng/sai trong minh họa đó. Trong một minh họa, ý nghĩa của các câu phức hợp đợc
xác định bởi ý nghĩa của các kết nối logic. Chúng ta xác định ý nghĩa của các kết nối
logic trong các bảng chân trị (xem hình 1.1)
P

Q

ơP

PQ

PQ

PQ

PQ


False

False

True

False

False

True

True

False

True

True

False

True

True

Fasle

True


False

False

False

True

False

False

True

True

False
True
True
True
Hình 1.1 Bảng chân trị của các kết nối logic

True

ý nghĩa của các kết nối logic , v ơ đợc xác định nh các từ v,hoặc l v
phủ định trong ngôn ngữ tự nhiên. Chúng ta cần phải giải thích thêm về ý nghĩa của
phép kéo theo P Q (P kéo theo Q ), P l giả thiết, còn Q l kết luận. Trực quan cho
phép ta xem rằng, khi P l đúng v Q l đúng thì câu P kéo theo Q l đúng, còn khi

9



P l đúng Q l sai thì câu P kéo theo Q l sai. Nhng nếu P sai v Q đúng , hoặc P
sai Q sai thì P kéo theo Q l đúng hay sai ? Nếu chúng ta xuất phát từ giả thiết sai,
thì chúng ta không thể khẳng định gì về kết luận. Không có lý do gì để nói rằng, nếu P
sai v Q đúng hoặc P sai v Q sai thì P kéo theo Q l sai. Do đó trong trờng hợp P
sai thì P kéo theo Q l đúng dù Q l đúng hay Q l sai.
Bảng chân trị cho phép ta xác định ngẫu nhiên các câu phức hợp. Chẳng hạn ngữ nghĩa
của các câu P Q trong minh họa {P True , Q False } l False. Việc xác định
ngữ nghĩa của một câu (P Q) ơS trong một minh họa đợc tiến hnh nh sau: đầu
tiên ta xác định giá trị chân trị của P Q v ơS , sau đó ta sử dụng bảng chân trị để
xác định giá trị (P Q) ơS.
Một công thức l hợp lệ (valid) nếu v chỉ nếu nó đúng trong mọi minh hoạ chẳng
hạn câu P ơP, nguợc lại nó l không hợp lệ.
Một công thức đợc gọi l thoả đợc (satisfiable) hay bền vững (consistent) nếu nó
đúng trong một minh họa no đó. Chẳng hạn công thức (P Q) ơS l thoả đợc,
vì nó có giá trị True trong minh họa {P True, Q False, S False}.
Một công thức đợc gọi l không thoả đợc (insatisfiable) hay không bền vững
(inconsistent), nếu nó l sai trong mọi minh họa (mâu thuẫn), chẳng hạn công thức
P ơP.
Chúng ta sẽ gọi một mô hình (model) của một công thức l một minh họa sao cho
công thức l đúng trong minh họa ny. Nh vậy một công thức thoả đợc l công thức
có một mô hình. Chẳng hạn, minh họa {P False , Q False , S True } l một mô
hình của công thức (P Q) S.
Bằng cách lập bảng chân trị (phơng pháp bảng chân trị ) l ta có thể xác định đợc
một công thức có thoả đợc hay không. Trong bảng ny, mỗi biến mệnh đề đứng đầu
với một cột, công thức cần kiểm tra đứng đầu một cột, mỗi dòng tơng ứng với một
minh họa. Chẳng hạn hình 1.2 l bảng chân trị cho công thức (P Q) S. Trong bảng
chân trị ny ta cần đa vo các cột phụ ứng với các công thức con của các công thức
cần kiểm tra để việc tính giá trị của công thức ny đợc dễ dng. Từ bảng chân trị ta

thấy rằng công thức (P Q) S l thoả đợc nhng không hợp lệ v.
P

Q

S

PQ

(P Q) S

False

False

False

True

False

False

False

True

True

True


False

True

False

True

False

False

True

True

True

True

True

False

False

False

False


True

False

True

False

False

True

True

False

True

False

True
True
True
True
True
Hình 1.2 Bảng chân trị cho công thức (P Q) S
10



Cần lu ý rằng, một công thức chứa n biến, thì số các minh họa của nó l 2n , tức l
bảng chân trị có 2n dòng. Nh vậy việc kiểm tra một công thức có thoả đợc hay
không bằng phơng pháp bảng chân trị, đòi hỏi thời gian mũ. Cook (1971) đã chứng
minh rằng, vấn đề kiểm tra một công thức trong logic mệnh đề có thoả đợc hay
không l vấn đề NP-đầy đủ.
Chúng ta sẽ nói rằng thoả đợc/ không thoả đợc nếu hội của chúng G1 ....... Gm l
vững chắc (thoả đợc, không thoả đợc). Một mô hình của tập công thức G l mô hình
của tập công thức G1 ....... Gm.
Định nghĩa: Cho các công thức F1, F2,.., Fn v công thức G, G l hệ quả logic của F1,
F2,.., Fn nếu v chỉ nếu cho bất kỳ minh hoạ I no trong đó F1 F2 ... Fn l đúng thì
G cũng đúng, F1, F2,.., Fn l tiền đề của G.
Định lý: Cho các công thức F1, F2,.., Fn v công thức G, G l hệ quả logic của F1, F2,..,
Fn nếu v chỉ nếu công thức (F1 F2 ... Fn ) G l hợp lệ.
Định lý: Cho các công thức F1, F2,.., Fn v công thức G, G l hệ quả logic của F1, F2,..,
Fn nếu v chỉ nếu công thức (F1 F2 ... Fn ơG) l không bền vững.
Ví dụ: Nếu quốc hội từ chối ban hnh luật mới thì tổng thống từ chức v cuộc đình
công kéo di hơn một tuần trừ khi nó chấm dứt ngay. Câu hỏi rằng liệu cuộc đình công
sẽ chấm dứt ngay nếu quốc hội từ chối ban hnh v cuộc đình công không kéo di hơn
một tuần?
Ta đặt:
P: quốc hội từ chối ban hnh.
Q: tổng thống từ chức.
R: cuộc đình công kéo di hơn một tuần.
S: cuộc đình công chấm dứt ngay.
Ta có
F1: P (Q R) S Nếu quốc hội từ chối ban hnh luật mới thì tổng thống từ chức
v cuộc đình công kéo di hơn một tuần trừ khi nó chấm dứt ngay.
F2: P Quốc hội từ chối ban hnh.
F3: ơR Cuộc đình công không kéo di hơn một tuần.
Ta chứng minh rằng S l hệ quả logic của F1, F2 v F3.

III. Dạng chuẩn tắc
Trong mục ny chúng ta sẽ xét việc chuẩn hóa các công thức, đa các công thức về
dạng thuận lợi cho việc lập luận, suy diễn. Trớc hết ta sẽ xét các phép biến đổi tơng
đơng. Sử dụng các phép biển đổi ny, ta có thể đa một công thức bất kỳ về các dạng
chuẩn tắc.
Sự tơng đơng của các công thức

11


Hai công thức A v B đợc xem l tơng đơng nếu chúng có cùng một giá trị chân trị
trong mọi minh họa. Để chỉ A tơng đơng với B ta viết A B bằng phơng pháp bảng
chân trị, dễ dng chứng minh đợc sự tơng đơng của các công thức sau đây :
AB

ơA B

AB

(A B) (B A)

ơ (ơA)

A

Luật De Morgan
ơ(A B) ơA ơB
ơ(A B) ơA ơB
Luật giao hoán
ABBA

ABBA
Luật kết hợp
(A B) C A( B C)
(A B) C A ( B C)
Luật phân phối
A (B C) (A B ) (A C)
A (B C) (A B ) (A C)
Dạng chuẩn tắc :
Các công thức tơng đơng có thể xem nh các biểu diễn khác nhau của cùng một sự
kiện. Để dễ dng viết các chơng trình máy tính thao tác trên các công thức, chúng ta
sẽ chuẩn hóa các công thức, đa chúng về dạng biểu diễn chuẩn đợc gọi l dạng
chuẩn hội. Một công thức ở dạng chuẩn hội, có dạng A1 ... . Am trong đó các Ai l
literal. Chúng ta có thể biến đổi một công thức bất kỳ về công thức ở dạng chuẩn hội
bằng cách áp dụng các thủ tục sau.
Bỏ các dấu kéo theo () bằng cách thay (A B) bởi (ơA B).
Chuyển các dấu phủ định (ơ) vo sát các kết hiệu mệnh đề bằng cách áp dụng luật
De Morgan v thay ơ(ơA) bởi A.
áp dụng luật phân phối, thay các công thức có dạng A (B C) bởi (A B) ( A
B ).
Ví dụ : Ta chuẩn hóa công thức ( P Q) ơ(R ơS) :
(P Q) ơ(R ơS) (ơP Q) (ơR S) ((ơP Q) ơR) ( (ơP Q) S)
(ơ P Q ơR) (ơP Q S). Nh vậy công thức (P Q) ơ(R ơS) đợc đa
về dạng chuẩn hội (ơP Q ơR) (ơP Q S).

12


Khi biểu diễn tri thức bởi các công thức trong logic mệnh đề, cơ sở tri thức l một tập
no đó các công thức. Bằng cách chuẩn hoá các công thức, cơ sở tri thức l một tập
no đó các câu tuyển.

Các câu Horn :
ở trên ta đã chỉ ra, mọi công thức đều có thể đa về dạng chuẩn hội, tức l các hội của
các tuyển, mỗi câu tuyển có dạng
ơP1 ........ ơPm Q1 ..... Qn
trong đó Pi , Qi l các ký hiệu mệnh đề (literal dơng) câu ny tơng đơng với câu
P1 ........ Pm Q1 ..... Qn p1 .... pm Q
Dạng câu ny đợc gọi l câu Kowalski (do nh logic Kowalski đa ra năm 1971).
Khi n 1, tức l câu Kowalski chỉ chứa nhiều nhất một literal dơng ta có dạng một
câu đặc biệt quan trọng đợc gọi l câu Horn (mang tên nh logic Alfred Horn năm
1951).
Nếu m>0, n=1, câu Horn có dạng :
P1 ..... Pm Q
Trong đó Pi , Q l các literal dơng. Các Pi đợc gọi l các điều kiện (hoặc giả thiết),
còn Q
đợc gọi l kết luận (hoặc hệ quả). Các câu Horn dạng ny còn đợc gọi l các luật if
... then v đợc biểu diễn nh sau :
If P1 and ....and Pm then Q.
Khi m=0, n=1 câu Horn trở thnh câu đơn Q, hay sự kiện Q. Nếu m>0, n=0 câu Horn
trở thnh dạng ơP1 ...... ơPm hay tơng đơng ơ(P1 ... Pm). Cần chú ý rằng,
không phải mọi công thức đều có thể biểu diễn dới dạng hội của các câu Horn. Tuy
nhiên trong các ứng dụng, cơ sở tri thức thờng l một tập no đó các câu Horn (tức l
một tập no đó các luật if-then).
IV. Luật suy diễn
Một công thức H đợc xem l hệ quả logic (logical consequence) của một tập công
thức
G={G1,.....,Gm} nếu trong bất kỳ minh họa no m {G1,.....,Gm} đúng thì H
cũng đúng, hay nói cách khác bất kỳ một mô hình no của G cũng l mô hình của H.
Khi có một cơ sở tri thức, ta muốn sử dụng các tri thức trong cơ sở ny để suy ra tri
thức mới m nó l hệ quả logic của các công thức trong cơ sở tri thức. thực hiện bằng
các thực hiện các luật suy diễn (rule of inference). Luật suy diễn giống nh một thủ

tục m chúng ta sử dụng để sinh ra một công thức mới từ các công thức đã có. Một
luật suy diễn gồm hai phần: một tập các điều kiện v một kết luận. Chúng ta sẽ biểu
diễn các luật suy diễn dới dạng phân số , trong đó tử số l danh sách các điều kiện,
còn mẫu số l kết luận của luật, tức l mẫu số l công thức mới đợc suy ra từ các
công thức ở tử số.
Sau đây l một số luật suy diễn quan trọng trong logic mệnh đề. Trong các luật ny ,
i , , l các công thức :
Luật Modus Ponens
13


,

Từ một kéo theo v giả thiết của kéo theo, ta suy ra kết luận của nó.
Luật Modus Tollens
, ơ
ơ
Từ một kéo theo v phủ định kết luận của nó, ta suy ra phủ định giả thiết của kéo
theo.
Luật bắc cầu
,

Từ hai kéo theo, m kết luận của nó l của kéo theo thứ nhất trùng với giả thiết của
kéo theo thứ hai, ta suy ra kéo theo mới m giả thiết của nó l giả thiết của kéo
theo thứ nhất, còn kết luận của nó l kết luận của kéo theo thứ hai.
Luật loại bỏ hội
1 ....... i ........ m
i
Từ một hội ta đa ra một nhân tử bất kỳ của hội.
Luật đa vo hội

1,.......,i,........m
1 ....... i ....... m
Từ một danh sách các công thức, ta suy ra hội của chúng.
Luật đa vo tuyển
i
1 ....... i. ....... m
Từ một công thức, ta suy ra một tuyển m một trong các hạng tử của các tuyển l
công thức đó.
Luật giải
, ơ

Từ hai tuyển, một tuyển chứa một hạng tử đối lập với một hạng tử trong tuyển kia,
ta suy ra tuyển của các hạng tử còn lại trong cả hai tuyển.
Một luật suy diễn đợc xem l tin cậy (secured) nếu bất kỳ một mô hình no của
giả thiết của luật cũng l mô hình kết luận của luật. Chúng ta chỉ quan tâm đến các
luật suy diễn tin cậy.

14


Bằng phơng pháp bảng chân trị, ta có thể kiểm chứng đợc các luật suy diễn nêu
trên đều l tin cậy. Bảng chân trị của luật giải đợc cho trong hình 1.3. Từ bảng
ny ta thấy rằng , trong bất kỳ một minh họa no m cả hai giả thiết , ơ
đúng thì kết luận cũng đúng. Do đó luật giải l luật suy điễn tin cậy.









ơ



False

False

False

False

True

False

False

False

True

False

True

True


False

True

False

True

False

False

False

True

True

True

True

True

True

False

False


True

True

True

True

False

True

True

True

True

True

True

False

True

False

True


True

True

True

True

True

True

Hình 1.3 Bảng chân trị chứng minh tính tin cậy của luật giải.
Ta có nhận xét rằng, luật giải l một luật suy diễn tổng quát, nó bao gồm luật Modus
Ponens, luật Modus Tollens, luật bắc cầu nh các trờng hợp riêng.
Tiên đề định lý chứng minh
Giả sử chúng ta có một tập no đó các công thức. Các luật suy diễn cho phép ta từ các
công thức đã có suy ra công thức mới bằng một dãy áp dụng các luật suy diễn. Các
công thức đã cho đợc gọi l các tiên đề. Các công thức đợc suy ra đợc gọi l các
định lý. Dãy các luật đợc áp dụng để dẫn tới định lý đợc gọi l một chứng minh của
định lý. Nếu các luật suy diễn l tin cậy, thì các định lý l hệ quả logic của các tiên đề.
Ví dụ: Giả sử ta có các công thức sau :
QSGH

(1)

PQ

(2)


RS

(3)

P

(4)

R

(5)

Từ công thức (2) v (4), ta suy ra Q (Luật Modus Ponens) . Lại áp dụng luật Modus
Ponens, từ (3) v (5) ta suy ra S . Từ Q, S ta suy ra Q S (luật đa vo hội ). Từ (1) v
Q S ta suy ra G H. Công thức G H đã đợc chứng minh.
Trong các hệ tri thức, chẳng hạn các hệ chuyên gia, hệ lập trình logic,..., sử dụng các
luật suy diễn ngời ta thiết kế lên các thủ tục suy diễn (còn đợc gọi l thủ tục chứng
minh) để từ các tri thức trong cơ sở tri thức ta suy ra các tri thức mới đáp ứng nhu cầu
của ngời sử dụng.
Một hệ hình thức (formal system) bao gồm một tập các tiên đề v một tập các luật suy
diễn no đó (trong ngôn ngữ biểu diễn tri thức no đó).
15


Một tập luật suy diễn đợc xem l đầy đủ, nếu mọi hệ quả logic của một tập các tiên
đề đều chứng minh đợc bằng cách chỉ sử dụng các luật của tập đó.
Phơng pháp chứng minh bác bỏ
Phơng pháp chứng minh bác bỏ (refutation proof hoặc proof by contradiction) l một
phơng pháp thờng xuyên đợc sử dụng trong các chứng minh toán học. T tởng
của phơng pháp ny l nh sau: Để chứng minh P đúng, ta giả sử P sai ( thêm ơP vo

các giả thiết ) v dẫn tới một mâu thuẫn. Sau đây ta sẽ trình bầy cơ sở ny.
Giả sử chúng ta có một tập hợp các công thức G ={G1,.....,Gm} ta cần chứng minh công
thức H l hệ quả logic của G . Điều đó tơng đơng với chứng minh công thức G1 ....
Gm H l vững chắc. Thay cho chứng minh G1 ..... Gm H l vững chắc, ta
chứng minh G1 .... Gm ơH l không thỏa mãn đợc.
Tức l ta chứng minh tập G= (G1,.....,Gm,ơH ) l không thỏa đợc nếu từ Gta suy ra
hai mệnh đề đối lập nhau. Việc chứng minh công thức H l hệ quả logic của tập các
tiêu đề G bằng cách chứng minh tính không thỏa đợc của tập các tiêu đề đợc thêm
vo phủ định của công thức cần chứng minh, đợc gọi l chứng minh bác bỏ.
V. Luật giải, chứng minh bác bỏ bằng luật giải
Để thuận tiện cho việc sử dụng luật giải, chúng ta sẽ cụ thể hoá luật giải trên các dạng
câu đặc biệt quan trọng.
Luật giải trên các câu tuyển
A1 ... Am C
ơC B1 ... Bn
A1 ... Am B1 ... Bn
trong đó Ai, Bj v C l các literal.
Luật giải trên các câu Horn
Giả sử Pi, Rj, Q v S l các literal. Khi đó ta có các luật sau :
P1 ... Pm S Q,
R1 ... Rn S
P1 ... Pm R1 ... Rn Q
Một trờng hợp riêng hay đợc sử dụng của luật trên l :
P1 ... Pm S Q,
S
P1 ... Pm Q
Khi ta có thể áp dụng luật giải cho hai câu, thì hai câu ny đợc gọi l hai câu giải
đợc v kết quả nhận đợc khi áp dụng luật giải cho hai câu đó đợc gọi l giải thức
của chúng. Giải thức của hai câu A v B đợc kí hiệu l res(A, B). Chẳng hạn, hai câu
tuyển giải đợc nếu một câu chứa một literal đối lập với một literal trong câu kia. Giải

thức của hai literal đối lập nhau (P v ơP) l câu rỗng, chúng ta sẽ ký hiệu câu rỗng
l [] , câu rỗng không thoả đợc.
16


Giả sử G l một tập các câu tuyển (Bằng cách chuẩn hoá ta có thể đa một tập các
công thức về một tập các câu tuyển). Ta sẽ ký hiệu R(G ) l tập câu bao gồm các câu
thuộc G v tất cả các câu nhận đợc từ G bằng một dãy áp dụng luật giải.
Luật giải l luật đầy đủ để chứng minh một tập câu l không thỏa đợc. Điều ny đợc
suy từ định lý sau :
Định lý giải:
Một tập câu tuyển l không thỏa đợc nếu v chỉ nếu câu rỗng [] R(G ).
Định lý giải có nghĩa rằng, nếu từ các câu thuộc G, bằng cách áp dụng luật giải ta dẫn
tới câu rỗng thì G l không thỏa đợc, còn nếu không thể sinh ra câu rỗng bằng luật
giải thì G thỏa đợc. Lu ý rằng, việc dẫn tới câu rỗng có nghĩa l ta đã dẫn tới hai
literal đối lập nhau P v ơP ( tức l dẫn tới mâu thuẫn ).
Từ định lý giải, ta đa ra thủ tục sau đây để xác định một tập câu tuyển G l thỏa đợc
hay không. Thủ tục ny đợc gọi l thủ tục giải.
Procedure Resolution ;
Input : tập G các câu tuyển ;
Begin
1.Repeat
1.1 Chọn hai câu A v B thuộc G ;
1.2 if A v B giải đợc then tính Res ( A,B ) ;
1.3 if Res (A,B ) l câu mới then thêm Res ( A,B ) vo G ;
until nhận đợc [] hoặc không có câu mới xuất hiện ;
2. if nhận đợc câu rỗng then thông báo G không thoả đợc
else thông báo G thoả đợc ;
end;
Chúng ta có nhận xét rằng, nếu G l tập hữu hạn các câu thì các literal có mặt trong

các câu của G l hữu hạn. Do đó số các câu tuyển thnh lập đợc từ các literal đó l
hữu hạn. Vì vậy chỉ có một số hữu hạn câu đợc sinh ra bằng luật giải. Thủ tục giải sẽ
dừng lại sau một số hữu hạn bớc.
Chỉ sử dụng luật giải ta không thể suy ra mọi công thức l hệ quả logic của một tập
công thức đã cho. Tuy nhiên, sử dụng luật giải ta có thể chứng minh đợc một công
thức bất kì có l hệ quả của một tập công thức đã cho hay không bằng phơng pháp
chứng minh bác bỏ. Vì vậy luật giải đợc xem l luật đầy đủ cho bác bỏ.
Sau đây l thủ tục chứng minh bác bỏ bằng luật giải
Procedure Refutation_Proof ;
Input : Tập G các công thức ;
Công thức cần chứng minh H;
Begin

17


1. Thêm ơH vo G ;
2. Chuyển các công thức trong G về dạng chuẩn hội ;
3. Từ các dạng chuẩn hội ở bớc hai, thnh lập tạp các câu tuyển G ;
4. áp dụng thủ tục giải cho tập câu G ;
5. if G không thoả đợc then thông báo H l hệ quả logic
else thông báo H không l hệ quả logic của G ;
end;
Ví dụ: Giả giử G l tập hợp các câu tuyển sau :
ơA ơB P

(1)

ơC ơD P


(2)

ơE C

(3)

A

(4)

E

(5)

D

(6)

Giả sử ta cần chứng minh P. Thêm vo G câu sau:
ơP

(7)

áp dụng luật giải cho câu (2) v (7) ta đợc câu:
ơC ơD

(8)

Từ câu (6) v (8) ta nhận đợc câu:
ơC


(9)

Từ câu (3) v (9) ta nhận đợc câu:
ơE

(10)

Tới đây đã xuất hiện mâu thuẫn, vì câu (5) v (10) đối lập nhau. Từ câu (5) v (10) ta
nhận đợc câu rỗng []. Vậy P l hệ quả logic của các câu (1) -- (6).
VI. Bi tập
1. Thể hiện các câu sau bằng mệnh đề logic
a. Một quan hệ l tơng đơng nếu v chỉ nếu nó phản xạ, bắt cầu v đối xứng.
b. Nếu độ ẩm quá cao thì trời sẽ ma vo buổi chiều hay buổi tối.
c. Ung th sẽ không chữa trị đợc trừ khi tìm ra nguyên nhân v thuốc điều trị mới.
d. Để leo lên núi cao thì đòi hỏi sự dũng cảm v kỹ năng leo núi.
e. Nếu ông ta vận động nhiều thì có thể sẽ đợc bầu.
2. Đặt

P : Ông ta cần một bác sĩ

Q : Ông ta cần một luật s

18


R : Ông ta gặp tai nạn

S : Ông ta bị bệnh


U : Ông ta bị thơng
Phát biểu ý nghĩa các công thức sau:
(S P) (R Q)

P (S U)

(P Q) R

(P Q) (S U)

ơ (S U) ơP

3. Tạo bảng chân trị của công thức : (ơP Q) (ơ (P ơQ))
4. Cho các công thức sau, xác định công thức no l hợp lệ, không hợp lệ, bền vững,

không bền vững hoặc kết hợp các tính chất trên:
a. ơ (ơP) P
b. P (P Q)
c. ơ (P Q) ơQ
d. (P Q) P
e. (P Q) (ơQ ơP)
f. (P Q) (Q P)
g. P (P Q)
h. (P (Q P)) P
i. P (Q ơP)
j. (P ơQ) (ơP Q)
k. ơP (ơ (P Q))
l. P ơP
m. ơP P
5. Chuyển các công thức sau ra dạng câu tuyển

a. (ơP Q) R
b. P ((Q R) S)
c. ơ(P ơQ) (S T)
d. (P Q) R
e. ơ(P Q) (P Q)

19


6. Chuyển các công thức sau ra dạng câu hội
a. P (ơP Q R)
b. ơ (P Q) (P Q)
c. ơ(P Q)
d. (ơP Q) (P ơQ)
7. Có công thức no m nó có thể ở dạng tuyển lẫn dạng hội? Nếu có, hãy cho ví dụ
8. Chứng minh các công thức sau l tơng đơng
a. (P Q) (P R) (P (Q R))
b. (P Q) (P Q) (ơP Q) (Q P)
c. P Q (ơP ơQ) ơP ơQ (P Q)
d. P (P (P Q)) ơP ơQ (P Q)
9. Chứng minh rằng (ơQ ơP) l hệ quả lôgic của (P Q)
10. Xem xét các câu sau:

F1: Sơn không thể l sinh viên giỏi trừ khi anh ta thông minh v cha Sơn hỗ trợ Sơn.
F2: Nếu Sơn l sinh viên giỏi thì do cha Sơn hỗ trợ anh ta.
Chứng minh rằng F2 l hệ quả lôgic của F1
11. Xem xét câu phát biểu sau:

Nếu quốc hội từ chối ban hnh luật mới thì cuộc đình công sẽ không kết thúc trừ khi
nó kéo di hơn một tuần v tổng thống từ chức. Giả sử quốc hội từ chối ban hnh luật

mới, cuộc đình công kết thúc v tổng thống không từ chức. Chứng minh điều mâu
thuẩn sẻ xãy ra.
12. Chứng minh rằng F5 l hệ quả lôgic của F1, F2 , F3v F4

F1 : Nu tng thng khụng cú quyn v ụng ta vụ trỏch nhim thỡ trt t khụng
c vón hi hay cuc bo lon s lan rng tr khi nhng k bo lon cm thy mt
mi v cỏc nh chc trỏch a phng cú nhng hnh ng ho gii.
F2: Trt t c vón hi.
F3: Nhng k bo lon cm thy mt mi
F4: Tng thng vụ trỏch nhim v cuc bo lon khụng lan rng
F5: Nu tng thng khụng cú quyn thỡ cỏc nh chc trỏch a phng cú nhng
hnh ng ho gii.
13. Chng minh tp hp S= {PQ, ơQR, ơPQ, ơR} sẽ cho câu rỗng [] bởi luật
giải.

20


Chơng II

LOGIC Vị Từ CấP MộT

Logic mệnh đề cho phép ta biểu diễn các sự kiện, mỗi kí hiệu trong logic mệnh đề
đợc minh họa nh l một sự kiện trong thế giới hiện thực, sử dụng các kết nối logic ta
có thể tạo ra các câu phức hợp biểu diễn các sự kiện mang ý nghĩa phức tạp hơn. Nh
vậy khả năng biểu diễn của logic mệnh đề chỉ giới hạn trong phạm vi thế giới các sự
kiện.
Thế giới hiện thực bao gồm các đối tợng, mỗi đối tợng có những tính chất riêng để
phân biệt nó với các đối tợng khác. Các đối tợng lại có quan hệ với nhau. Các mối
quan hệ rất đa dạng v phong phú. Chúng ta có thể liệt kê ra rất nhiều ví dụ về đối

tợng, tính chất, quan hệ.
Đối tợng : một cái bn, một cái nh, một cái cây, một con ngời, một con số. ...
Tính chất : Cái bn có thể có tính chất : có bốn chân, lm bằng gỗ, không có ngăn
kéo. Con số có thể có tính chất l số nguyên, số hữu tỉ, l số chính phơng. ..
Quan hệ : cha con, anh em, bè bạn (giữa con ngời ); lớn hơn nhỏ hơn, bằng nhau
(giữa các con số ) ; bên trong, bên ngoi nằm trên nằm dới (giữa các đồ vật )...
Hm : Một trờng hợp riêng của quan hệ l quan hệ hm. Chẳng hạn, vì mỗi ngời
có một mẹ, do đó ta có quan hệ hm ứng mỗi ngời với mẹ của nó.
Logic vị từ cấp một l mở rộng của logic mệnh đề. Nó cho phép ta mô tả thế giới với
các đối tợng, các thuộc tính của đối tợng v các mối quan hệ giữa các đối tợng. Nó
sử dụng các biến ( biến đối tợng ) để chỉ một đối tợng trong một miền đối tợng no
đó. Để mô tả các thuộc tính của đối tợng, các quan hệ giữa các đối tợng, trong logic
vị từ, ngời ta dựa vo các vị từ ( predicate). Ngoi các kết nối logic nh trong logic
mệnh đề, logic vị từ cấp một còn sử dụng các lợng tử. Chẳng hạn, lợng tử (với
mọi) cho phép ta tạo ra các câu nói tới mọi đối tợng trong một miền đối tợng no
đó.
Chơng ny dnh cho nghiên cứu logic vị từ cấp một với t cách l một ngôn ngữ biểu
diễn tri thức. Logic vị từ cấp một đóng vai trò cực kì quan trọng trong biểu diễn tri
thức, vì khả năng biểu diễn của nó ( nó cho phép ta biểu diễn tri thức về thế giới với
các đối tợng, các thuộc tính của đối tợng v các quan hệ của đối tợng), v hơn nữa,
nó l cơ sở cho nhiều ngôn ngữ logic khác.
I. Cú pháp
Các ký hiệu
Các ký hiệu hằng: a, b, c, An, Ba, John,...
Các ký hiệu biến: x, y, z, u, v, w,...
Các ký hiệu vị từ: P, Q, R, S, Like, Havecolor, Prime,...

21



Mỗi vị từ l vị từ của n biến ( n0). Chẳng hạn Like l vị từ của hai biến, Prime l vị từ
một biến. Các ký hiệu vị từ không biến l các ký hiệu mệnh đề.
Các ký hiệu hm: f, g, cos, sin, mother, husband, distance,...
Mỗi hm l hm của n biến ( n1). Chẳng hạn, cos, sin l hm một biến, distance l
hm của hai biến.
Các ký hiệu kết nối logic: ( hội), (tuyển), ơ ( phủ định), (kéo theo), (kéo
theo nhau).
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ở ngoặc v dấu đóng ngoặc.
Các hạng thức
Các hạng thức ( term) l các biểu thức mô tả các đối tợng. Các hạng thức đợc xác
định đệ quy nh sau:
Các ký hiệu hằng v các ký hiệu biến l hạng thức.
Nếu t1, t2, t3, ..., tn l n hạng thức v f l một ký hiệu hm n biến thì f(t1, t2, t3, ..., tn) l
hạng thức. Một hạng thức không chứa biến đợc gọi l một hạng thức cụ thể ( ground
term).
Chẳng hạn, An l ký hiệu hằng, mother l ký hiệu hm một biến, thì mother (An) l
một hạng thức cụ thể.
Các công thức phân tử
Chúng ta sẽ biểu diễn các tính chất của đối tợng, hoặc các quan hệ của đối tợng bởi
các công thức phân tử (câu đơn).
Các công thức phân tử đợc xác định đệ quy nh sau.
Các ký hiệu vị từ không biến ( các ký hiệu mệnh đề ) l câu đơn.
Nếu t1, t2, t3, ..., tn l n hạng thức v p l vị từ của n biến thì p(t1, t2, t3, ..., tn) l câu
đơn.
Chẳng hạn, Hoa l một ký hiệu hằng, Love l một vị từ của hai biến, husband l hm
của một biến, thì Love (Hoa, husband( Hoa)) l một câu đơn.
Các công thức
Từ công thức phần tử, sử dụng các kết nối logic v các lợng tử, ta xây dựng nên các
công thức (các câu).

Các công thức đợc xác định đệ quy nh sau:
Các công thức phân tử l công thức.
Nếu G v H l các công thức, thì các biểu thức (G H), (G H), (ơ G), (G H),
(G H) l công thức.
Nếu G l một công thức v x l biến thì các biểu thức ( x G), ( x G) l công thức.
Các công thức không phải l công thức phân tử sẽ đợc gọi l các câu phức hợp. Các
công thức không chứa biến sẽ đợc gọi l công thức cụ thể. Khi viết các công thức ta
sẽ bỏ đi các dấu ngoặc không cần thiết, chẳng hạn các dấu ngoặc ngoi cùng.
22


Lợng tử phổ dụng ( ) cho phép mô tả tính chất của cả một lớp các đối tợng, chứ
không phải của một đối tợng, m không cần phải liệt kê ra tất cả các đối tợng trong
lớp. Chẳng hạn sử dụng vị từ Elephant(x) (đối tợng x l con voi ) v vị từ Color(x,
Gray) (đối tợng x có mu xám) thì câu tất cả các con voi đều có mu xám có thể
biểu diễn bởi công thức x (Elephant(x) Color(x, Gray)).
Lợng tử tồn tại ( ) cho phép ta tạo ra các câu nói đến một đối tợng no đó trong
một lớp đối tợng m nó có một tính chất hoặc thoả mãn một quan hệ no đó. Chẳng
hạn bằng cách sử dụng các câu đơn Student(x) (x l sinh viên) v Inside(x, P301), (x ở
trong phòng 301), ta có thể biểu diễn câu Có một sinh viên ở phòng 301 bởi biểu
thức x (Student(x) Inside(x, P301)).
Một công thức l công thức phân tử hoặc phủ định của công thức phân tử đợc gọi l
literal. Chẳng hạn, Play(x, Football), ơLike( Lan, Rose) l các literal. Một công thức
l tuyển của các literal sẽ đợc gọi l câu tuyển. Chẳng hạn, Male(x) ơLike(x,
Foodball) l câu tuyển.
Trong công thức x G, hoặc x G trong đó G l một công thức no đó, thì mỗi xuất
hiện của biến x trong công thức G đợc gọi l xuất hiện buộc. Một công thức m tất cả
các biến đều l xuất hiện buộc thì đợc gọi l công thức đóng.
Ví dụ: Công thức xP( x, f(a, x)) y Q(y) l công thức đóng, còn công thức x P(
x, f(y, x)) không phải l công thức đóng, vì sự xuất hiện của biến y trong công thức

ny không chịu rng buộc bởi một lợng tử no cả (sự xuất hiện của y gọi l sự xuất
hiện tự do).
Sau ny chúng ta chỉ quan tâm tới các công thức đóng.
II. Ngữ nghĩa
Cũng nh trong logic mệnh đề, nói đến ngữ nghĩa l chúng ta nói đến ý nghĩa của các
công thức trong một thế giới hiện thực no đó m chúng ta sẽ gọi l một minh họa.
Để xác định một minh hoạ, trớc hết ta cần xác định một miền đối tợng ( nó bao gồm
tất cả các đối tợng trong thế giới hiện thực m ta quan tâm).
Trong một minh hoạ, các ký hiệu hằng sẽ đợc gắn với các đối tợng cụ thể trong
miền đối tợng các ký hiệu hm sẽ đợc gắn với một hm cụ thể no đó. Khi đó, mỗi
hạng thức cụ thể sẽ chỉ định một đối tợng cụ thể trong miền đối tợng. Chẳng hạn,
nếu An l một ký hiệu hằng, Father l một ký hiệu hm, nếu trong minh hoạ An ứng
với một ngời cụ thể no đó, còn Father(x) gắn với hm; ứng với mỗi x l cha của nó,
thì hạng thức Father(An) sẽ chỉ ngời cha của An .
Ngữ nghĩa của các câu đơn
Trong một minh hoạ, các ký hiệu vị từ sẽ đợc gắn với một thuộc tính, hoặc một quan
hệ cụ thể no đó. Khi đó mỗi công thức phân tử (không chứa biến) sẽ chỉ định một sự
kiện cụ thể. Đơng nhiên sự kiện ny có thể l đúng (True) hoặc sai (False). Chẳng
hạn, nếu trong minh hoạ, ký hiệu hằng Lan ứng với một cô gái cụ thể no đó, còn
Student(x) ứng với thuộc tính x l sinh viên thì câu Student (Lan) có giá trị chân trị
l True hoặc False tuỳ thuộc trong thực tế Lan có phải l sinh viên hay không.

23


Ngữ nghĩa của các câu phức hợp
Khi đã xác định đợc ngữ nghĩa của các câu đơn, ta có thể thực hiện đợc ngữ nghĩa
của các câu phức hợp (đợc tạo thnh từ các câu đơn bằng cách liên kết các câu đơn
bởi các kết nối logic) nh trong logic mệnh đề.
Ví dụ: Câu Student(Lan) Student(An) nhận giá trị True nếu cả hai câu Student(Lan)

v Student(An) đều có giá trị True, tức l cả Lan v An đều l sinh viên.
Câu Like(Lan, Rose) Like(An, Tulip) l đúng nếu câu Like(Lan, Rose) l đúng hay
câu Like(An, Tulip) l đúng.
Ngữ nghĩa của các câu chứa các lợng tử
Ngữ nghĩa của các câu x G, trong đó G l một công thức no đó, đợc xác định nh
l ngữ nghĩa của công thức l hội của tất cả các công thức nhận đợc từ công thức G
bằng cách thay x bởi một đối tợng trong miền đối tợng. Chẳng hạn, nếu miền đối
tợng gồm ba ngời {Lan, An, Hoa} thì ngữ nghĩa của câu x Student(x) đợc xác
định l ngữ nghĩa của câu Student(Lan) Student(An) Student(Hoa). Câu ny đúng
khi v chỉ khi cả ba câu thnh phần đều đúng, tức l cả Lan, An, Hoa đều l sinh viên.
Nh vậy, công thức x G l đúng nếu v chỉ nếu mọi công thức nhận đợc từ G bằng
cách thay x bởi mọi đối tợng trong miền đối tợng đều đúng, tức l G đúng cho tất cả
các đối tợng x trong miền đối tợng.
Ngữ nghĩa của công thức x G đợc xác định nh l ngữ nghĩa của công thức l tuyển
của tất cả các công thức nhận đợc từ G bằng cách thay x bởi một đối tợng trong
miền đối tợng. Chẳng hạn, nếu ngữ nghĩa của câu Younger(x, 20) l x trẻ hơn 30
tuổi v miền đối tợng gồm ba ngời {Lan, An, Hoa} thì ngữ nghĩa của câu x
Yourger(x, 20) l ngữ nghĩa của câu Yourger(Lan, 20) Yourger(An, 20)
Yourger(Hoa, 20). Câu ny nhận giá trị True nếu v chỉ nếu ít nhất một trong ba ngời
Lan, An, Hoa trẻ hơn 20.
Nh vậy công thức x G l đúng nếu v chỉ nếu một trong các công thức nhận đợc từ
G bằng cách thay x bằng một đối tợng trong miền đối tợng l đúng.
Bằng các phơng pháp đã trình by ở trên, ta có thể xác định đợc giá trị chân trị
(True,False) của một công thức bất kỳ trong một minh hoạ. (lu ý rằng, ta chỉ quan
tâm tới các công thức đúng).
Sau khi đã xác định khái niệm minh hoạ v giá trị chân trị của một công thức trong
một minh hoạ, có thể đa ra các khái niệm công thức vững chắc ( thoả đợc, không
thoả đợc ), mô hình của công thức giống nh trong logic mệnh đề.
Các công thức tơng đơng
Cũng nh trong logic mệnh đề, ta nói hai công thức G v H tơng đơng ( viết l G

H ) nếu chúng cùng đúng hoặc cùng sai trong một minh hoạ. Ngoi các tơng đơng
đã biết trong logic mệnh đề, trong logic vị từ cấp một còn có các tơng đơng khác
liên quan tới các lợng tử. Giả sử G l một công thức, cách viết G(x) nói rằng công
thức G có chứa các xuất hiện của biến x. Khi đó công thức G(y) l công thức nhận
đợc từ G(x) bằng cách thay tất cả các xuất hiện của x bởi y. Ta nói G(y) l công thức
nhận đợc từ G(x) bằng cách đặt tên lại ( biến x đợc đổi tên lại l y ).

24


Định nghĩa: một công thức F trong logic vị từ cấp một l dạng prenex chuẩn nếu v
chỉ nếu F ở dạng thức sau: (Q1 x1)(Qn xn)(M)
Trong đó (Qi xi), i=1..n thì hoặc ( xi) hoặc ( xi)v M không chứa lợng tử, (Q1
x1)(Qn xn) gọi l tiền tố v M l ma trận của công thức F
Chúng ta có các tơng đơng sau đây:
1. x G(x) y G(y)
x G(x) y G(y)

Đặt tên lại biến đi sau lợng tử phổ dụng ( tồn tại ), ta nhận đợc công thức tơng
đơng.
Ví dụ : x Love(x, Husband(x)) y Love(y, Husband(y))
2. ơ( x G(x)) x (ơ G(x))
ơ( x G(x)) x (ơ G(x))
3. x (G(x) H(x)) x G(x) x H(x)
x (G(x) H(x)) x G(x) x H(x)
4.

(Qx)F(x) G (Qx)(F(x) G)

5. (Qx)F(x) G (Qx)(F(x) G)


III. Bi tập
1. t P(x): x l s hu t, Q(x): x l s thc. Mụ t cỏc cõu sau di dng logic v t
cp mt
a. Mi s hu t l s thc
b. Vi s thc l s hu t
c. Khụng phi tt c s thc l s hu t
2. t C(x): x l ngi bỏn xe hi c v H(x): x thnh tht. Hóy phỏt biu cỏc cụng
thc sau õy:
a. x C(x)
b. x H(x)
c. x (C(x) ơH(x))
d. x (C(x) H(x))
e. x (H(x) C(x))
3. t P(x): x l mt im, L(x): x l mt ng, R(x,y,z): z i qua x v y, E(x,y):
x=y. Mụ t cỏc cõu sau di dng logic v t cp mt:
Vi mi hai im khỏc nhau, cú mt v ch mt ng qua hai im
4. Mt nhúm Abelian l mt tp hp A vi mt toỏn t nh phõn +. t P(x,y,z) v
E(x,y) biu din x+y=z v x=y tng ng. Mụ t cỏc tiờn cho nhúm Abelian
di dng logic v t cp mt
a. Vi mi x, y trong A, Cú tn ti mt z trong trong A sao cho x+y=z (úng)
b. Nu x+y=z v x+y=w thỡ z=w (duy nht)
c. (x+y)+z = x+(y+z) (liờn kt)
d. x+y = y+x (i xng)

25