Các hệ thống thông minh nhân tạo & ứng dụng Các hệ thống thông minh nhân tạo & ứng dụng Khoa CNTT, ĐH KHTN HCM 1 BÀI TẬP THỰC HÀNH DẠNG HỘI CHUẨN CNF I Đề bài Cho trước tập các logic mệnh đề trong một[.]
Các hệ thống thông minh nhân tạo & ứng dụng BÀI TẬP THỰC HÀNH DẠNG HỘI CHUẨN CNF Đề I Cho trước tập logic mệnh đề tập tin Mỗi mệnh đề nằm dòng riêng biệt Hãy viết chương trình chuyển logic mệnh đề sang dạng hội chuẩn CNF tương ứng Kết ghi vào tập tin khác, CNF viết dịng Chương trình phải chạy dạng tham số dịng lệnh mơ tả bên Dưới mơ tả chi tiết cho phép tốn logic sử dụng mệnh đề: Kí hiệu Mô tả ~ Phủ định | Nối rời & Nối liền => Kéo theo Tương đương Các kí hiệu kí hiệu dùng riêng khơng sử dụng để mô tả cho nội dung khác Chỉ sử dụng kí tự để đặt tên biến (có thể sử dụng nhiều kí tự) Lưu ý rằng, tồn khoảng trắng biến biến với tốn tử logic Ngồi ra, dấu ngoặc đơn “( )” sử dụng để xác định độ ưu tiên phép toán logic Gợi ý: II - Link tham khảo: http://www.cs.jhu.edu/~jason/tutorials/convert-to-CNF.html - Sử dụng thuật giải balance ngược để tìm thứ tự thực tốn tử logic Tham số dịng lệnh, tập tin input, output Tham số dòng lệnh Tên tập tin input output truyền dạng tham số dòng lệnh sau: .exe Ví dụ: Sinh viên có mã số 07K2099 có: Khoa CNTT, ĐH KHTN HCM Các hệ thống thông minh nhân tạo & ứng dụng Tập tin thực thi 07K2099.exe Tập tin input input.txt Tập tin output output.txt Tham số dòng lệnh là: 07K2099.exe input.txt output.txt Tập tin input Tập tin input truyền vào tham số dòng lệnh thứ (argv[1]) Cấu trúc: Dòng 1: Số nguyên, cho biết số logic mệnh đề tập tin K dòng tiếp theo: dòng ghi logic mệnh đề Ví dụ: Dưới ví dụ tương ứng input.txt A|(B&C) A => B (A&C)|(D&E) Hình File input.txt Tập tin output Tập tin input truyền vào tham số dòng lệnh thứ (argv[2]) Cấu trúc: Gồm có K dịng: dịng tương ứng với dạng hội chuẩn mệnh đề logic thứ i tập tin đầu vào output.txt ( A | B) & ( A | C ) ~A | B ( A | D) & ( A | E ) & ( C | D ) & ( C | E ) Hình File output.txt Khoa CNTT, ĐH KHTN HCM Các hệ thống thông minh nhân tạo & ứng dụng III Cấu trúc thư mục Sinh viên phải dịch tập tin MSSV.exe đặt thư mục Release, toàn source code đặt thư mục Source Hai thư mục đặt thư mục MSSV, toàn thư mục nén thành MSSV.rar MSSV.zip Ví dụ: Sinh viên mã số 07K2099 tổ chức thư mục sau: 07K2099 Release input.txt 07K2099.txt 07K2099.exe Source Các tập tin project Những đoạn code trích dẫn (tham khảo) phải ghi rõ nguồn trích dẫn (tham khảo) Nguồn tham khảo trích dẫn phải ghi dạng thích đoạn code tham khảo trích dẫn (coi ví dụ đây) … void main() { … if(example==0) { /*Tham khao:nguon http://en.wikipedia.org/wiki/Genetic_algorithm*/ float minvalues[] ={-3, -3}; float maxvalues[] ={3, 3}; best = ga->Solve(2, fsquare,minvalues, maxvalues ); /*Ket thuc tham khao*/ }else { Khoa CNTT, ĐH KHTN HCM Các hệ thống thông minh nhân tạo & ứng dụng if(example ==1 ) { float minvalues[] ={-10,-10, -10,-10}; float maxvalues[] ={10,10,10, 10}; best = ga->Solve(4, f4square,minvalues, maxvalues ); } } … } Những vấn đề khác sinh viên cần trình bày với giáo viên ghi thẳng vào tập tin source code dạng thích IV Quy định Chấm Bài Trong chương trình cuối đem nộp khơng dùng hàm input từ hình (như getch, scanf, scanf_s, cin v.v…) Đối với giống bị điểm Những không khơng trích dẫn nguồn tham khảo bị điểm V Phụ lục Thuật giải balance ngược (chuyển biểu thức dạng trung tố sang hậu tố) Đọc token biểu thức từ trái qua phải, với token, thực hiện: - Nếu toán hạng: cho output - Nếu dấu mở ngoặc “(“: cho vào stack - Nếu dấu đóng ngoặc “)”: lấy tốn tử stack cho vào output gặp dấu mở ngoặc “(“ (Dấu mở ngoặc phải đưa khỏi stack) - Nếu toán tử: Chừng đỉnh stack toán tử tốn tử có độ ưu tiên lớn tốn tử lấy tốn tử khỏi stack cho output Đưa toán tử vào stack Khoa CNTT, ĐH KHTN HCM Các hệ thống thông minh nhân tạo & ứng dụng Sau duyệt hết biểu thức, stack phần tử lấy token cho vào output Ví dụ: ( A & C ) | ( D & E ) Token Stack ( {(} A {(} A & {(, &} A C {(, &} AC ) {rỗng} AC& | {|} AC& ( {|, (} AC& D {|, (} AC&D & {|, (, &} AC&D E {|, (, &} AC&DE ) {|} AC&DE& {rỗng} AC&DE&| Khoa CNTT, ĐH KHTN HCM Output ... input truyền vào tham số dòng lệnh thứ (argv[2]) Cấu trúc: Gồm có K dịng: dịng tương ứng với dạng hội chuẩn mệnh đề logic thứ i tập tin đầu vào output.txt ( A | B) & ( A | C ) ~A | B ( A | D) &... trích dẫn (tham khảo) phải ghi rõ nguồn trích dẫn (tham khảo) Nguồn tham khảo trích dẫn phải ghi dạng thích đoạn code tham khảo trích dẫn (coi ví dụ đây) … void main() { … if(example==0) { /*Tham... … } Những vấn đề khác sinh viên cần trình bày với giáo viên ghi thẳng vào tập tin source code dạng thích IV Quy định Chấm Bài Trong chương trình cuối đem nộp khơng dùng hàm input từ hình (như