Cơ sở logic của ngữ nghĩa

Nghiên cứu này đề xuất chuỗi thời gian ngôn ngữ dựa trên lý thuyết Đại số gia tử, trong đó các từ có ngữ nghĩa riêng được sử dụng thay các tập mờ. Bằng cách này, mối quan hệ logic giữa các từ ngữ dự báo có thể được thiết lập dựa trên sự biến đổi của chuỗi thời gian. Hiệu quả của mô hình đề xuất được chứng minh bằng cách áp dụng mô hình đề xuất để dự báo dữ liệu tuyển sinh đại học.

7p viengfa 28-10-2024 8 2   Download

Đề  bài: Phân tích những  đặc sắc nghệ  thuật trong truyện ngắn Những  đứa con .trong gia đình.. Bài làm..Viết về  đề  tài gia đình trong chiến tranh, truyện ngắn Những đứa con trong gia đình của .Nguyễn Thi được coi là một tác phẩm thành công, góp phần vào sự thành công của cả tác  .phẩm chính là nghệ thuật kể chuyện linh hoạt, độc đáo hấp dẫn...Tác phẩm kể chuyện một gia đình cách mạng, mọi thành viên đều là chiến sĩ diệt Mỹ kiên  .cường. Thù nhà nợ nước thống nhất làm một. Tình gia đình và tình cách mạng hoà lẫn vào .

6p lanzhan 20-01-2020 236 3   Download

Ràng buộc toàn vẹn là các quy định, điều kiện từ ứng dụng thực tế, các điều kiện này là bất biến.  Vì thế phải luôn đảm bảo cơ sở dữ liệu thoả ràng buộc toàn vẹn sau mỗi thao tác làm thay đổi tình trạng của cơ sở dữ liệu. Mô tả chặt chẽ ý nghĩa của ràng buộc toàn vẹn. Nội dung được phát biểu bằng ngôn ngữ tự nhiên hoặc bằng ngôn ngữ hình thức (ngôn ngữ tân từ, đại số quan hệ, mã giả,…) Ngôn ngữ tự nhiên: dễ hiểu nhưng không chặt chẽ, logic. Ngôn ngữ...

34p lqvang02 02-02-2013 126 12   Download

Ràng buộc toàn vẹn là các quy định, điều kiện từ ứng dụng thực tế, các điều kiện này là bất biến.  Vì thế phải luôn đảm bảo cơ sở dữ liệu thoả ràng buộc toàn vẹn sau mỗi thao tác làm thay đổi tình trạng của cơ sở dữ liệu. Mô tả chặt chẽ ý nghĩa của ràng buộc toàn vẹn. Nội dung được phát biểu bằng ngôn ngữ tự nhiên hoặc bằng ngôn ngữ hình thức (ngôn ngữ tân từ, đại số quan hệ, mã giả,…) Ngôn ngữ tự nhiên: dễ hiểu nhưng không chặt chẽ, logic. Ngôn ngữ...

34p tet0202 19-02-2013 223 29   Download

Chương 3 của bài giảng Cơ sở Trí tuệ nhân tạo cung cấp cho người học các nội dung về biểu diễn tri thức như: Giới thiệu về tri thức, đặc trưng của tri thức, các phương pháp biểu diễn tri thức, Logic, Frame, mạng ngữ nghĩa (Semantic Network), mạng nơron,... Mời các bạn cùng tham khảo.

84p namthangtinhlang_02 04-11-2015 117 14   Download

Chương 6 - Tối ưu hoá câu hỏi. Chương này trình bày những nội dung như: Xử lý câu hỏi truy vấn, tối ưu hóa, kỹ thuật tối ưu hóa, tối ưu hóa logic, tối ưu dựa trên ngữ nghĩa, tính chất của phép toán. Cuối bài giảng có phần bài tập vận dụng giúp người học ôn tập và củng cố kiến thức đã học. Mời các bạn cùng tham khảo.

11p thiendiadaodien_1 10-12-2018 71 2   Download

Bài viết "Nghịch ngữ - phép tu từ của những mâu thuẫn thống nhất" sẽ giới thiệu những kết quả nghiên cứu bước đầu về phép nghịch ngữ từ 3 phương diện: khái niệm và phân loại, cơ sở logic ngữ nghĩa, giá trị biểu đạt - dựa trên khoảng 350 dẫn liệu thu thập được về nghịch ngữ. Để biết rõ hơn về nội dung chi tiết, mời các bạn cùng tham khảo.

14p yumimi1 10-02-2017 119 10   Download

Bài giảng "Cơ sở logic đặc tả của OWL" cung cấp cho người học các kiến thức: ALC, cú pháp ALC, mở rộng, cơ sở tri thức, ngữ nghĩa ALC, các khái niệm tương đương, suy luận với ALC, các kiểu suy luận,... Mời các bạn cùng tham khảo.

8p doinhugiobay_04 27-11-2015 65 8   Download

Hệ mờ Ứng dụng của lý thuyết tập mờ và logic mờ, khi thông tin không đầy đủ, không chắc chắn, nhiễu, tri thức chuyên gia biểu diễn dạng ngôn ngữ tự nhiên, ranh giới các lớp đối tượng không rõ ràng, hệ thống phức tạp … Hệ mờ có các thành phần: - Mờ hoá - Tham số + cơ sở luật - Suy diễn mờ - Khử mờ Mộ số mô hình mờ - Mô hình mờ Mamdani, phần tiền đề và kết luận đều là các nhãn biểu diễn bởi tập mờ - Mô hình mờ TSK,...

3p trinhvietnambk 29-05-2013 149 20   Download

Chúng ta đã làm quen với cách thức và phương pháp tạo ra một mô hình dữ liệu mức quan niệm về các thông tin của tổ chức nào đó. Nó rất giàu về mặt ngữ nghĩa, do đó dễ dàng để mọi thành phần tham gia vào việc phát triển hệ thống thông tin hiểu được, đặc biệt là với người dùng. Nhưng nó lại không dễ dàng để hệ thống quản lý tập tin và các hệ quản trị cơ sở dữ liệu hiểu được. Do đó cần thiết phải qua một giai đoạn chuyển đổi mô hình...

9p thienthanoze 12-11-2012 190 14   Download

Lập trình ràng buộc là một trong những phát triển thú vị và mạnh mẽ nhất của ngôn ngữ lập trình trong thập kỷ gần đây .Được xây dựng trên cơ sở lý thuyết toán học vững chắc , nó đang phát triển và đặc biệt là nó cũng đang thu hút sự quan tâm mạnh mẽ trong việc áp dụng vào lĩnh vực thương mại , nó trở thành phương pháp mô hình hóa cho nhiều loại bài toán tối ưu , cụ thể là trong các ràng buộc có sự hỗn tạp và các bài toán tìm kiếm...

120p cancer23 24-08-2012 117 20   Download

Luận văn này sẽ trình bày các kết quả nghiên cứu về cú pháp và ngữ nghĩa của chương trình logic, bao gồm các lập trình logic thông thường và lập trình logic mở rộng, tiếp đó sẽ đề cập môi trường lập trình logic DLV và được chạy trong mã nguồn hướng đối tượng Java, cuối cùng trình bày hai bài toán minh họa (bài toán N quân hậu và bài toán cây khung nhỏ nhất) được cài đặt trên DLV và được chạy trong mã nguồn hướng đối tượng Java...

114p cancer23 24-08-2012 275 70   Download

1. Vài nét về lịch sử khái niệm - Trong logic-triết học, Frege (1892), trong một loạt bài viết liên quan đến nghĩa – tên gọi – quy chiếu – giá trị chân thực của các mệnh đề, đã quan tâm đến một hiện tượng kiểu như câu: (1): Người phát hiện ra quỹ đạo các hành tinh có hình e-lip đã chết trong cảnh khốn cùng. Trước câu này có những cách phân tích khác nhau, một trong số đó là có thể coi phát ngôn (1) này là phép hội của nhiều mệnh đề thành phần: (1a): Có...

10p abcdef_38 20-10-2011 111 7   Download

Mệnh đề nghĩa là một khái niệm thuộc lôgic học và ngữ nghĩa học. Mệnh đề nghĩa là nghĩa cơ sở được biểu đạt bởi một câu bao gồm (1) một cái gì đó được gọi tên (định danh) và đang được nói đến (như là một lập luận hay một thực thể) và (2) một khẳng định hay một xác nhận về lập luận đó. Một câu có thể biểu thị hoặc hàm ẩn hơn một (= nhiều) mệnh đề. Bài báo trình bày các suy nghĩ về mệnh đề nghĩa của các tác giả Jacob (lấy động...

9p phalinh16 14-08-2011 356 14   Download

Mô Hình Dữ Liệu Mức Logic IV.1. GIỚI THIỆU Chúng ta đã làm quen với cách thức và phương pháp tạo ra một mô hình dữ liệu mức quan niệm về các thông tin của tổ chức nào đó. Nó rất giàu về mặt ngữ nghĩa, do đó dễ dàng để mọi thành phần tham gia vào việc phát triển hệ thống thông tin hiểu được, đặc biệt là với người dùng. Nhưng nó lại không dễ dàng để hệ thống quản lý tập tin và các hệ quản trị cơ sở dữ liệu hiểu được. Do đó cần thiết...

14p vitconhamchoi 03-08-2011 117 13   Download

FPGA là gì ? FPGA là viết tắt của thuật ngữ tiếng anh “Field programmable Gate Array”, nghĩa là Mảng cổng lập trình được dạng trường. FPGA thuộc họ ASIC lập trình được * Ý nghĩa và vai trò của FPGA ASIC lập trình được đã xuất hiện từ lâu dưới dạng PLD (Programmable Logic Device), nhưng vai trò của các dạng ASIC này là không nhiều vì số lượng cổng trên Chip rất ít dẫn tới chức năng của các PLD này cũng nghèo nàn và thường chỉ sử dụng với những nhiệm vụ rất hạn chế trong toàn hệ thống. Kể...

76p abcdef_6 05-07-2011 389 129   Download

Nạp chồng toán hạng Điểm nổi bật của nạp chồng toán hạng là không phải lúc nào bạn cũng muốn gọi các phương thức hay thuộc tính trên các thể hiện lớp. Chúng ta thường cần làm một số công việc như cộng các số lượng với nhau, nhân chúng hay thực hiện một số toán hạn logic như so sánh các đối tượng. Ví dụ ta định nghĩa một lớp mô tả ma trận toán học. Các ma trận thì có thể cộng, nhân với nhau như các số, nên ta có thể viết đoạn mã như sau: Matrix a,...

14p cachuadam 21-05-2011 109 6   Download

Logistics là một thuật ngữ có nguồn gốc Hilạp (logistikos), để phản ánh một khoa học vận dụng các phép tư duy, suy luận, phương pháp và kỹ thuật logic hỗ trợ cho các quá trình chủ chốt. Như vậy, tư tưởng của logistics là một khoa học nghiên cứu các tính chất quy luật của các hoạt động cung ứng và đảm bảo các yếu tố tổ chức, vật chất và kỹ thuật (do vậy, một số từ điển định nghĩa là logistics) để cho quá trình chính yếu được tiến hành đúng mục tiêu. ...

17p long32 21-10-2010 475 209   Download