Ngôn ngữ prolog

Bài giảng "Trí tuệ nhân tạo - Chương 5: Ngôn ngữ lập trình Prolog" cung cấp cho người học các kiến thức: Giới thiệu, cú pháp, cơ chế tìm lời giải của Prolog, danh sách (list). Mời các bạn cùng tham khảo nội dung chi tiết.

5p dien_vi08 18-11-2018 83 8   Download

Bài giảng Hệ chuyên gia – Giới thiệu môn học cung cấp cho người học những thông tin về nội dung chính của môn học, yêu cầu đối với người học và hình thức đánh giá môn học. Mời các bạn cùng tham khảo nội dung chi tiết.

5p bautroibinhyen11 03-01-2017 91 5   Download

Có một vài nhà cung cấp phát triển mở rộng thị trường các công cụ rất đa dạng hỗ trợ bảo trì phần mềm. Một số yếu tố khi xem xét chọn lựa.Khả năng: hỗ trợ tác vụ thực thi (tính tự động, hay làm tay).Chức năng: xem xét tính năng tự động.Ngôn ngữ lập trình: hỗ trợ ngôn ngữ Java, Ada, C, C++,Cobol, Fortran, Modula-2, Lisp and Prolog, …

11p teouit 05-01-2013 126 22   Download

Tìm hiểu về khái niệm và vai trò của Mẫu thiết kế (design pattern) nói chung và mẫu thiết kế hợp nhất nói chúng cũng như việc áp dụng mẫu thiết kế hợp nhất (union design pattern) - Thực hiện chuyển biểu đồ lớp UML sang dạng đặc tả OWL Ontology trên cơ sở lý thuyết bài khóa luận của sinh viên Giáp Thị Ngọc Thúy đã thực hiện. - Tìm hiểu một số công cụ đã có hỗ trợ việc so sánh hai OWL Ontology, phân tích những ưu nhược điểm của chúng. - Tìm kiếm giải pháp cho...

58p truongnghen 30-08-2012 98 29   Download

Điều khiển quá trình quay lui (backtracking) Prolog tự động quay lui khi cần thiết Có thể điều khiển quá trình thực thi của chương trình bằng cách sắp lại thứ tự các mệnh đề Nhát cắt là một toán tử dùng để ngăn cản quá trình backtracking của Prolog.

10p taoxanh1 29-10-2011 97 15   Download

1. Giới thiệu PROgramming in LOGic (sử dụng cách tiếp cận logic) Alain Calmerauer & Philippe Roussel, 1972 Dùng ngôn ngữ mô tả/khai báo (declarative language) để đặc tả vấn đề Ứng dụng nhiều trong xử lý ngôn ngữ tự nhiên và TTNT. Turbo Prolog, Visual Prolog, B-Prolog, SWIProlog, …

10p taoxanh1 29-10-2011 503 113   Download

Hệ thống sử dụng tri thức của con người được lưu trữ trong máy tính để giải quyết các vấn đề đòi hỏi các kiến thức chuyên gia của con người được gọi là hệ chuyên gia. Người dùng bình thường có thể sử dụng hệ thống để nâng cao khả năng giải quyết các vấn đề phức tạp.

20p dinhlan05011 16-05-2011 336 102   Download

Cú pháp và ngữ nghĩa của Prolog đơn giản và sáng sủa, nó được người Nhật coi là một trong những nền tảng để xây dựng máy tính thế hệ thứ năm mà ở đó, thay vì phải mô tả cách giải quyết một bài toán trên máy tính, con người chỉ cần mô tả bài toán và máy tính sẽ hỗ trợ họ nốt phần còn lại.

19p dauhukhothom 15-04-2011 145 57   Download

Phần còn lại của các mệnh đề trong một chương trình Prolog được gọi là luật. Nó thường thể hiện những phát biểu logic trong bài toán, ví dụ như nếu công tác đèn bật thì đèn sáng

14p dauhukhothom 15-04-2011 125 39   Download

Prolog được sử dụng nhiều trong các ứng dụng của trí tuệ nhân tạo và ngôn ngữ học trong khoa học máy tính (đặc biệt là trong ngành xử lý ngôn ngữ tự nhiên vì đây là mục tiêu thiết kế ban đầu của nó).

19p dauhukhothom 15-04-2011 157 56   Download

Prolog giúp người dùng mô tả lại bài toán trên ngôn ngữ của logic, dựa trên đó, máy tính sẽ tiến hành suy diễn tự động dựa vào những cơ chế suy diễn có sẵn (hợp nhất, quay lui và tìm kiếm theo chiều sâu) để tìm câu trả lời cho người dùng.

19p dauhukhothom 15-04-2011 137 43   Download

Chương 1: Mở đầu về ngôn ngữ Prolog Chương 2: Ngữ nghĩa của chương trình Prolog Chương3: Các phép toàn và số học Chương 4: Cấu trúc danh sách Chương 5: Kỹ thuật lập trình Prolog Phụ lục A: Một số chương trình Prolog Phụ lục B: Hướng dẫn sử dụng SWI-Prolog

19p dauhukhothom 15-04-2011 416 125   Download

Nội dung cuốn sách tập trung trình bầy cơ sở lý thuyết và những kỹ thuật lập trình cơ bản trong prolog, rất cần cho sinh viên các ngành tin học và các bạn đọc muốn tìm hiểu về kỹ thuật lập trình ứng dụng trong lĩnh vực trí tuệ nhân tạo.

19p dauhukhothom 15-04-2011 170 62   Download

Prolog rất thích hợp để giải quyết các bài toán liên quan tới các đối tượng và mối quan hệ giữa chúng. Prolog được ứng dụng chủ yếu trong lĩnh vực trí tuệ nhân tạo như công nghệ xử lý tri thức, hệ chuyên gia, máy móc, xử lý ngông ngữ, trò chơi

19p dauhukhothom 15-04-2011 239 70   Download

Nguyên lý của prlog dựa trên phép suy diễn logic, liên quan đến những khái niệm toán học như phép hợp nhất herbran, hợp giả Robinson, logic vị từ bậc một

19p dauhukhothom 15-04-2011 153 50   Download

Prolog là ngôn ngữ lập trình logic( programming in logic) do GS A.Colmerauer đưa ra lần đầu tiên vào năm 1972 tại trường ĐH Maseille, Pháp.

19p dauhukhothom 15-04-2011 208 93   Download

Đến năm 1980, prolog nhanh chóng được áp dụng rộng rãi, đựoc người Nhật chọn làm ngôn ngữ phát triển máy tính thế hệ 5. Prolog đã dược cài đặt trên hầu hết các dòng máy tính unix/lunix, Macintosh, Windows.

19p dauhukhothom 15-04-2011 228 72   Download

Nội dung chương 9 gồm: Giới thiệu: Bài toán được mô tả dưới dạng biểu thức logic các vị từ. Để giải được bài toán, cần có một cơ sở tri thức. Khi có một yêu cầu, hệ thống sẽ dựa vào cơ sở tri thúc để suy diễn; Ngôn ngữ PROLOG

11p chuotphatxit 19-09-2010 448 122   Download