tailieunhanh - Further results on fuzzy linguistic logic programming

Trong bài báo này, các tác giả sẽ chứng minh một số kết quả bổ sung của lập trình logic mờ ngôn ngữ tương ứng với các kết quả quan trọng trong lập trình logic truyền thống. Chúng tôi cũng chỉ ra rằng nó có tính đầy đủ dạng Pavelka mở rộng. Ngoài ra, khả năng sử dụng các toán tử kết hợp ở thân luật cũng được thảo luận. | Journal of Computer Science and Cybernetics, , (2014), 139–147 FURTHER RESULTS ON FUZZY LINGUISTIC LOGIC PROGRAMMING∗ VAN HUNG LE1 , DINH KHANG TRAN2 1 Faculty 2 School of Information Technology, Hanoi University of Mining and Geology, Vietnam; levanhung@ of Information and Communication Technology, Hanoi University of Science and Technology, Vietnam; khangtd@ Tóm t t. Lập trình logic mờ ngôn ngữ được đề xuất cho việc biểu diễn và suy luận với tri thức con người phát biểu bằng ngôn ngữ, trong đó giá trị chân lý của các phát biểu mờ được cho bằng các từ ngôn ngữ và các gia tử có thể được dùng để thể hiện các mức độ nhấn mạnh khác nhau. Lập trình logic mờ ngôn ngữ có các khái niệm và kết quả căn bản như ngữ nghĩa mô tả, ngữ nghĩa thủ tục và ngữ nghĩa điểm bất động. Ngữ nghĩa thủ tục của nó là đúng đắn, đầy đủ và có thể tính toán trực tiếp trên ngôn ngữ để tìm trả lời cho các truy vấn. Trong bài báo này, chúng tôi sẽ chứng minh một số kết quả bổ sung của lập trình logic mờ ngôn ngữ tương ứng với các kết quả quan trọng trong lập trình logic truyền thống. Chúng tôi cũng chỉ ra rằng nó có tính đầy đủ dạng Pavelka mở rộng. Ngoài ra, khả năng sử dụng các toán tử kết hợp ở thân luật cũng được thảo luận. T khóa. Lập trình logic, logic mờ, đại số gia tử, tính toán với từ, tính đầy đủ. Abstract. Fuzzy linguistic logic programming is introduced to represent and reason with linguisticallyexpressed human knowledge, where the truth of vague sentences is given in linguistic terms, and linguistic hedges can be used to indicate different levels of emphasis. Fuzzy linguistic logic programming has been shown to have fundamental notions and results of a logic programming framework, especially of the declarative semantics, procedural semantics, and fixpoint semantics. The procedural semantics are sound, complete and directly manipulates linguistic terms in order to compute answers to queries. In this paper, we prove some additional results of .