1. Trang chủ
  2. » Luận Văn - Báo Cáo

Phương pháp biểu diễn tri thức theo cách tiếp cận đại số

128 10 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 128
Dung lượng 2,4 MB

Nội dung

Ngày đăng: 11/07/2021, 16:56

Nguồn tham khảo

Tài liệu tham khảo Loại Chi tiết
[1] A. Newell, J. Shaw, H. Simon, “Report on a general problem-solving program”, Proceedings of the International Conference on Information Processing, pp. 256- 264. (1959) Sách, tạp chí
Tiêu đề: Report on a general problem-solving program
[2] Cordell Green, “Application of Theorem Proving to Problem Solving”, Proceedings of the 1st international joint conference on Artificial intelligence (IJCAI ‘69), pp. 219-239. (1969) Sách, tạp chí
Tiêu đề: Application of Theorem Proving to Problem Solving
[3] Rulifson, J. F. and Derksen, J. A. and Waldinger, R. J. QA4: A Procedural Calculus for Intuitive Reasoning, Technical Note 73. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1972 Sách, tạp chí
Tiêu đề: QA4: A Procedural Calculus for Intuitive Reasoning
[4] Marvin Minsky, “A Framework for Representing Knowledge”, The Psychology of Computer Vision, P. Winston (Ed.), McGraw-Hill. (1975) Sách, tạp chí
Tiêu đề: A Framework for Representing Knowledge
[5] Earl D. Sacerdoti, Richard E. Fikes, Rene Reboh, Daniel Sagalowicz, Richard J. Waldinger, B. Michael Wilber, “QLISP: a language for the interactive development of complex systems”, Proceedings of AFIPS '76 , National Computer Conference and Exposition, pp. 349-356, New York, June 1976 Sách, tạp chí
Tiêu đề: QLISP: a language for the interactive development of complex systems
[6] John F. Sowa, “Conceptual Graphs for a Data Base Interface”, IBM Journal of Research and Development, 20 (4), pp. 336–357. (1976) Sách, tạp chí
Tiêu đề: “Conceptual Graphs for a Data Base Interface”
[7] E.D. Sacerdoti, A Structure for Plans and Behavior, American Elsevier, New York. (1977) Sách, tạp chí
Tiêu đề: A Structure for Plans and Behavior
[8] Lindsay, Robert K., Bruce G. Buchanan, Edward A. Feigenbaum, Joshua Lederberg, Applications of Artificial Intelligence for Organic Chemistry: The Dendral Project, McGraw-Hill Book Company. (1980) Sách, tạp chí
Tiêu đề: Applications of Artificial Intelligence for Organic Chemistry: The Dendral Project
[9] Barry Smith Kevin Mulligan, “Framework for formal ontology”, Topoi, 2(1), pp 73–85, Springer. (1983) Sách, tạp chí
Tiêu đề: Framework for formal ontology
[10] Frederick Hayes-Roth, Donald Waterman, Douglas Lenat, Building Expert Systems, Addison-Wesley. (1983) Sách, tạp chí
Tiêu đề: Building Expert Systems
[11] B.G. Buchanan, E.H. Shortliffe, Rule Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project, Addison-Wesley.(1984) Sách, tạp chí
Tiêu đề: B.G. Buchanan, E.H. Shortliffe, Rule Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project, Addison-Wesley
[12] Feliks Kluźniak, Stanialaw Szpakowicz, Prolog for Progrmmers, Academic Press Professional, Inc. San Diego, CA, USA. (1985) Sách, tạp chí
Tiêu đề: Prolog for Progrmmers
[13] Klaus K. Obermeier, Natural language processing technologies in Artificial Intelligence: The science and industry perspective, Ellis Horwood. (1989) Sách, tạp chí
Tiêu đề: Natural language processing technologies in Artificial Intelligence: The science and industry perspective
[14] Janet L. Kolodner, An introduction to case-based reasoning, Artificial Intelligence Review, 6(1), pp. 3-34. (1992) Sách, tạp chí
Tiêu đề: An introduction to case-based reasoning
[15] Jean-Baptiste Waldner, Principles of Computer-Integrated Manufacturing, John Wiley & Sons. (1992) Sách, tạp chí
Tiêu đề: Principles of Computer-Integrated Manufacturing
[16] R. Davis, H. Shrobe, and P. Szolovits, “What is a Knowledge Representation?”, AI Magazine, 14(1):17-33, 1993 Sách, tạp chí
Tiêu đề: What is a Knowledge Representation
[17] Jacques Calmet, Indra A. Tjandra, “Building bridges between knowledge representation and algebraic specification”, Methodologies for Intelligent Systems, LNCS 869, pp. 295-304, Springer. (1994) Sách, tạp chí
Tiêu đề: Building bridges between knowledge representation and algebraic specification
[18] N. Guarino, “Formal ontology, conceptual analysis and knowledge representation”, International Journal of Human-Computer Studies, Vol. 43, Issues 5–6, pp. 625-640 (1995) Sách, tạp chí
Tiêu đề: Formal ontology, conceptual analysis and knowledge representation”
[19] Peter Jackson, Introduction to Expert Systems (3 rd ed.), Addison Wesley. (1998) [20] P.D. Karp, M. Riley, S.M. Paley, A. Pelligrini-Toole, M. Krummenacker,"EcoCyc: an encyclopedia of Escherichia coli genes and metabolism", Nucleic Acids Res. 26(1): 50–3. (1998) Sách, tạp chí
Tiêu đề: EcoCyc: an encyclopedia of Escherichia coli genes and metabolism
[95] Google Knowledge Graph: https://www.google.com/intl/bn/insidesearch/features/search/knowledge.html Link

HÌNH ẢNH LIÊN QUAN

Hình 1.1: Cấu trúc hệ giải bài tập thông minh trong giáo dục [62] - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
Hình 1.1 Cấu trúc hệ giải bài tập thông minh trong giáo dục [62] (Trang 16)
- Mô hình chưa đáp ứng được tính chặt chẽ về mặt toán học. - Chưa có mô hình để biểu diễn các lớp bài toán - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
h ình chưa đáp ứng được tính chặt chẽ về mặt toán học. - Chưa có mô hình để biểu diễn các lớp bài toán (Trang 20)
Bảng 1.2: So sánh các phương pháp biểu diễn dựa trên các tiêu chuẩn của biểu diễn tri thức cho hệ thống thông minh trong giáo dục - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
Bảng 1.2 So sánh các phương pháp biểu diễn dựa trên các tiêu chuẩn của biểu diễn tri thức cho hệ thống thông minh trong giáo dục (Trang 29)
Hình 1.2: Sơ đồ phương pháp suy diễn dựa trên tri thức bài toán mẫu [84]. - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
Hình 1.2 Sơ đồ phương pháp suy diễn dựa trên tri thức bài toán mẫu [84] (Trang 33)
Hình 2.1: Cấu trúc mô hình tri thức quan hệ (Rela-model) - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
Hình 2.1 Cấu trúc mô hình tri thức quan hệ (Rela-model) (Trang 41)
2.3 Ứng dụng xây dựng Hệ giải bài tập thông minh kiến thức hình học không gian cấp Trung học phổ thông - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
2.3 Ứng dụng xây dựng Hệ giải bài tập thông minh kiến thức hình học không gian cấp Trung học phổ thông (Trang 62)
Khi thiết kế bộ suy diễn cho hệ thống hỗ trợ giải bài tập thông minh kiến thức hình học không gian, việc xác định tập các luật có thể áp dụng được thực hiện như sau: - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
hi thiết kế bộ suy diễn cho hệ thống hỗ trợ giải bài tập thông minh kiến thức hình học không gian, việc xác định tập các luật có thể áp dụng được thực hiện như sau: (Trang 64)
a) Tốc độ và lời giải của chương trình hệ giải bài tập thông minh kiến thức hình học - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
a Tốc độ và lời giải của chương trình hệ giải bài tập thông minh kiến thức hình học (Trang 65)
Ví dụ 2.3.2: Cho hình chóp S.ABCD với đáy ABCD là hình vuông và SA mp(ABCD). Lấy điểm M thuộc SB và điểm N thuộc SD sao cho: AM  SB và AN  SD - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
d ụ 2.3.2: Cho hình chóp S.ABCD với đáy ABCD là hình vuông và SA mp(ABCD). Lấy điểm M thuộc SB và điểm N thuộc SD sao cho: AM  SB và AN  SD (Trang 66)
b) So sánh với chương trình giải toán toán hình học không gian khác - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
b So sánh với chương trình giải toán toán hình học không gian khác (Trang 67)
diện trong hình học không gian: 04 loại hình chóp, 04 loại về lăng trụ. - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
di ện trong hình học không gian: 04 loại hình chóp, 04 loại về lăng trụ. (Trang 68)
Bảng 2.2: Khả năng giải bài tập của các chương trình - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
Bảng 2.2 Khả năng giải bài tập của các chương trình (Trang 69)
Bảng 2.4: Kết quả khảo sát [BB9] - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
Bảng 2.4 Kết quả khảo sát [BB9] (Trang 70)
Chương 3: MÔ HÌNH TRI THỨC TOÁN TỬ - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
h ương 3: MÔ HÌNH TRI THỨC TOÁN TỬ (Trang 72)
kiện của mô hình. (1 i  p, 1 j  k) - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
ki ện của mô hình. (1 i  p, 1 j  k) (Trang 73)
a) Phân loại các sự kiện của mô hình Loại - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
a Phân loại các sự kiện của mô hình Loại (Trang 76)
2.2. if (không tìm được bất kì luật nào) then - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
2.2. if (không tìm được bất kì luật nào) then (Trang 82)
Thuật giải 3.2: Cho bài toán S= (O,F) →G thuộc loại 1 của mô hình tri thức toán tử Ops-model như trong định nghĩa 3.7a, ta có thuật giải sau để tìm lời giải cho bài toán S: - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
hu ật giải 3.2: Cho bài toán S= (O,F) →G thuộc loại 1 của mô hình tri thức toán tử Ops-model như trong định nghĩa 3.7a, ta có thuật giải sau để tìm lời giải cho bài toán S: (Trang 82)
do tính chất hình chữ nhật - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
do tính chất hình chữ nhật (Trang 93)
Bảng 3.2: Kết quả khảo sát [BB8] - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
Bảng 3.2 Kết quả khảo sát [BB8] (Trang 95)
4.1.3 Sự kiện trong mô hình tri thức quan hệ và toán tử - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
4.1.3 Sự kiện trong mô hình tri thức quan hệ và toán tử (Trang 97)
Input: Bài toán P= (O, Re, E) G trên mô hình tri thức Rela-Ops model. Output: Lời giải bài toán P - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
nput Bài toán P= (O, Re, E) G trên mô hình tri thức Rela-Ops model. Output: Lời giải bài toán P (Trang 102)
Input: Bài toán P= (O,F) G trên mô hình tri thức Rela-Ops model. Output: Lời giải bài toán P - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
nput Bài toán P= (O,F) G trên mô hình tri thức Rela-Ops model. Output: Lời giải bài toán P (Trang 103)
5.2. Trường hợp 2: r là luật phát sinh đối tượng mới - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
5.2. Trường hợp 2: r là luật phát sinh đối tượng mới (Trang 103)
Bảng 4.1: Kết quả thực nghiệm việc giải các bài tập - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
Bảng 4.1 Kết quả thực nghiệm việc giải các bài tập (Trang 106)
A. Cơ sở tri thức về Hình học không gian trong kiến thức toán cấp THPT - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
s ở tri thức về Hình học không gian trong kiến thức toán cấp THPT (Trang 121)
Luật 7: Phát sinh hình chiếu - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
u ật 7: Phát sinh hình chiếu (Trang 122)
C(3) ={Hình chóp tam giác, hình chóp hình vuông, hình chop chữ nhật …} - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
3 ={Hình chóp tam giác, hình chóp hình vuông, hình chop chữ nhật …} (Trang 123)
M trung điểm AB} - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
trung điểm AB} (Trang 124)
Hình 1: Quan hệ is-a giữa các khái niệm ma trận và vector - Phương pháp biểu diễn tri thức theo cách tiếp cận đại số
Hình 1 Quan hệ is-a giữa các khái niệm ma trận và vector (Trang 126)

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w