Logic
THS. BÙI THỊ DANH
BM.KHMT, KHOA CNTT, ĐH.KHTN TP.HCM
CÁC HỆ THỐNG THÔNG MINH NHÂN TẠO & ỨNG DỤNG
Nội dung chính
Tổng quan
Logic mệnh đề
Logic bậc nhất
2
Hạn chế của logic mệnh đề
Mục tiêu của logic là biểu diễn tri thức, sự kiện của thế giới một cách súc tích. Logic mệnh
đề có đảm bảo việc này?
Alice và Bob đều biết số học
◦AliceKnowsArithmetic ∧BobKnowsArithmetic
Tất cả sinh viên đều biết số học
◦AliceIsStudent →AliceKnowsArithmetic
◦BobIsStudent →BobKnowsArithmetic
◦…
Mọi số nguyên chẵn lớn hơn 2 đều là tổng của 2 số nguyên tố
◦???
3
Nhiều, cồng kềnh
Khó biểu diễn
Hạn chế của Logic mệnh đề
Logic mệnh đề thiếu các khái niệm để cho phép diễn đạt sự kiện súc tích hơn, chẳng hạn:
◦Đối tượng (object) và quan hệ (relation): các mệnh đề (AliceKnowsArithmetic) có cấu trúc bên trong
(alice, Knows, arithmetic)
◦Lượng từ (quantifier) và biến (variable): “tất cả” là một lượng từ có thể dùng để ám chỉ mọi người, mà
không phải liệt kê từng người một…
Logic bậc nhất (First Order Logic –FOL)
4
Logic bậc nhất (First Order Logic)
5