Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Công Nghệ Thông Tin
Cơ sở dữ liệu
Hệ chuyên gia LPNchapter2
Đang chuẩn bị liên kết để tải về tài liệu:
Hệ chuyên gia LPNchapter2
Ðình Dương
86
63
pdf
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Lecture 2© Patrick Blackburn, Johan Bos & Kristina Striegnitz• Theory.– Unification.– Unification in Prolog.– Proof search• Exercises.– Exercises of LPN chapter 2.– Practical work.Aim of this lecture© Patrick Blackburn, Johan Bos & Kristina Striegnitz• Discuss unification in Prolog.– Show how Prolog unification differs from.standard unification• Explain Prolog’s search strategy.– Prolog deduces new information from old,.using modus ponens.Unification© Patrick Blackburn, Johan Bos & Kristina Striegnitz• Recall the previous example, where we.said that Prolog unifies.woman(X).with.woman(mia).thereby instantiating the variable X with.the atom miaRecall Prolog Terms© Patrick Blackburn, Johan Bos & Kristina StriegnitzTermsSimple Terms.ConstantsAtomsVariablesNumbersComplex Terms.Unification© Patrick Blackburn, Johan Bos & Kristina Striegnitz• Working definition – two terms unify:.• if they are the same term, or.• if they contain variables that can be uniformly.instantiated with terms in such a way that the.resulting terms are equal. | Lecture 2 © Patrick Blackburn, Johan Bos & Kristina Striegnitz • Theory – Unification – Unification in Prolog – Proof search • Exercises – Exercises of LPN chapter 2 – Practical work Aim of this lecture © Patrick Blackburn, Johan Bos & Kristina Striegnitz • Discuss unification in Prolog – Show how Prolog unification differs from standard unification • Explain Prolog’s search strategy – Prolog deduces new information from old, using modus ponens Unification © Patrick Blackburn, Johan Bos & Kristina Striegnitz • Recall the previous example, where we said that Prolog unifies woman(X) with woman(mia) thereby instantiating the variable X with the atom mia. Recall Prolog Terms © Patrick Blackburn, Johan Bos & Kristina Striegnitz Terms Simple Terms Constants Atoms Variables Numbers Complex Terms Unification © Patrick Blackburn, Johan Bos & Kristina Striegnitz • Working definition – two terms unify: • if they are the same term, or • if they contain variables that can be uniformly instantiated with terms in such a way that the resulting terms are .
TÀI LIỆU LIÊN QUAN
Giáo trình Hệ chuyên gia - PGS.TS. Phan Huy Khánh
Bài giảng Hệ chuyên gia (Expert System): Chương 1 - PGS.TS. Phan Huy Khánh
Bài giảng Hệ chuyên gia (Expert System): Chương 4 - PGS.TS. Phan Huy Khánh
Bài giảng Hệ chuyên gia – Chương 1: Giới thiệu hệ chuyên gia
Báo cáo đồ án Hệ chuyên gia: Xây dựng hệ chuyên gia chẩn đoán lỗi phần cứng máy tính
Xây dựng hệ chuyên gia hỏi đáp
Giáo trình Hệ chuyên gia - PGS.TS. Phan Huy Khánh
Báo cáo đồ án môn học Hệ chuyên gia: Xây dựng hệ chuyên gia chẩn đoán lỗi phần cứng máy tính
Đề tài: Xây dựng hệ chuyên gia chẩn đoán lỗi phần cứng máy tính
Giáo trình Trí tuệ nhân tạo và hệ chuyên gia (Nghề Lập trình máy tính): Phần 2 - CĐ Nghề
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.