Un système de spécification de sémantiques pour l'argumentation abstraite = Hệ thống đặc tả ngữ nghĩa cho lập luận trừu tượng. Luận văn ThS. Hệ thống thông minh và đa phương tiện(Chương trình đào tạo thí điểm)

Title: Un système de spécification de sémantiques pour l'argumentation abstraite = Hệ thống đặc tả ngữ nghĩa cho lập luận trừu tượng. Luận văn ThS. Hệ thống thông minh và đa phương tiện(Chương trình đào tạo thí điểm)
Authors: Hồ, Văn Hiếu
Keywords: Công nghệ thông tin;Trí tuệ nhân tạo
Issue Date: 2016
Publisher: H.: Viện Pháp ngữ quốc tế
Abstract: Nous avons également utilisé les connaissances théoriques afin d’implémenter un système basé sur des théories argumentatives développées dans l’équipe LILaC. SESAME (www.irit.fr/SESAME)), a été implémenté en Java. Il permet à l’utilisateur de spécifier une sémantique argumentative, pour laquelle ce système génère une formule propositionnelle.
Description: 45 tr.
URI: http://repository.vnu.edu.vn/handle/VNU_123/59661
Appears in Collections:IFI - Master Theses

Nhận xét

Đăng nhận xét

Bài đăng phổ biến từ blog này

Tập thô trong bảng quyết định

Title:  Tập thô trong bảng quyết định Authors:  Hà, Quang Thụy Keywords:  Toán học;Tập thô;Bảng quyết định Issue Date:  1996 Publisher:  Đại học Quốc gia Hà Nội Citation:  tr. 6-12 Abstract:  Decision Tables has been carried out by S. Pollack, H. Hicks and W.Harrison, Pawlak gave some notations of the rough set into the decision tables in order to study the learning problem. The concept of the attribute dependence also has been carried on by W. Pawlak. In this article, we show two algorithms to determine the attribute dependence, also for the complete dependence and the other for the rough (parthly) dependence. We are study some characters of the dependence for Armstrong's axioms: the transmissive axioms is lost by the rough dependence. URI:  http://repository.vnu.edu.vn/handle/11126/4498 Appears in Collections: Natural Sciences and Technology
Đọc thêm

Nghiên cứu điều chế, khảo sát hoạt tính quang xúc tác của bột Titan Đioxit kích thước nano được biến tính Vonfram

Title:  Nghiên cứu điều chế, khảo sát hoạt tính quang xúc tác của bột Titan Đioxit kích thước nano được biến tính Vonfram : Luận văn ThS. Hóa học: 60 44 01 13 Authors:  Ngô, Sỹ Lương Đặng, Trung Hiếu Keywords:  Hóa vô cơ Issue Date:  2016 Publisher:  ĐHKHTN Abstract:  Luận văn ThS. Hóa vô cơ -- Trường Đại học Khoa học Tự nhiên. Đại học Quốc gia Hà Nội, 2016 URI:  http://repository.vnu.edu.vn/handle/VNU_123/39639 Appears in Collections: HUS - Master Theses
Đọc thêm

Hoãn chấp hành hình phạt tù, tạm đình chỉ chấp hành hình phạt tù trong Luật hình sự Việt Nam (trên cơ sở nghiên cứu thực tiễn tại địa bàn tỉnh Phú Thọ)

Title:  Hoãn chấp hành hình phạt tù, tạm đình chỉ chấp hành hình phạt tù trong Luật hình sự Việt Nam (trên cơ sở nghiên cứu thực tiễn tại địa bàn tỉnh Phú Thọ) Authors:  Hà, Thanh Loan Đỗ, Ngọc Quang Keywords:  Luật hình sự;Pháp luật Việt Nam;Hình phạt tù;Hoãn chấp hành hình phạt;Tạm đình chỉ chấp hành hình phạt Issue Date:  2014 Publisher:  Khoa Luật. Đại học Quốc gia Hà Nội Citation:  10 tr. URI:  http://repository.vnu.edu.vn/handle/VNU_123/5601 Appears in Collections: Luận văn - Luận án (LIC)
Đọc thêm