DDC
| 005 |
Tác giả CN
| Le, Van Hung |
Nhan đề
| Rurther Results On Fuzzy Linguistic Logic Programming / Le Van Hung, Tran Dinh Khang |
Mô tả vật lý
| 9 tr. |
Tóm tắt
| Lập trình ngôn ngữ mờ đượ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. 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. Và 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 tự do
| Fuzzy logic |
Từ khóa tự do
| Đại số gia tử |
Từ khóa tự do
| Lập trình logic |
Từ khóa tự do
| Logic mờ |
Từ khóa tự do
| Logic programming |
Từ khóa tự do
| Tính đầy đủ |
Từ khóa tự do
| Tính toán với từ |
Từ khóa tự do
| completeness |
Từ khóa tự do
| computing with words |
Từ khóa tự do
| hedge algebra |
Tác giả(bs) CN
| Tran, Dinh Khang |
Nguồn trích
| Tạp chí Tin học và Điều khiển học = Journal of Computer Science And Cybernetics2014Tr. 139-147
Số: 02
Tập: 30 |
|
000
| 00000nab#a2200000ui#4500 |
---|
001 | 20241 |
---|
002 | 9 |
---|
004 | 3E006AA9-B645-40E7-AF2D-AE84F024591E |
---|
005 | 202005071533 |
---|
008 | 081223s vm| vie |
---|
009 | 1 0 |
---|
039 | |a20200507153512|bngantk|c20200507153449|dngantk|y20200325204550|zthaopt |
---|
082 | |a005 |
---|
100 | |aLe, Van Hung |
---|
245 | |aRurther Results On Fuzzy Linguistic Logic Programming / |cLe Van Hung, Tran Dinh Khang |
---|
300 | |a9 tr. |
---|
520 | |aLập trình ngôn ngữ mờ đượ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. 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. Và 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. |
---|
653 | |aFuzzy logic |
---|
653 | |aĐại số gia tử |
---|
653 | |aLập trình logic |
---|
653 | |aLogic mờ |
---|
653 | |aLogic programming |
---|
653 | |aTính đầy đủ |
---|
653 | |aTính toán với từ |
---|
653 | |acompleteness |
---|
653 | |acomputing with words |
---|
653 | |ahedge algebra |
---|
700 | |aTran, Dinh Khang |
---|
773 | |tTạp chí Tin học và Điều khiển học = Journal of Computer Science And Cybernetics|d2014|gTr. 139-147|v30|i02 |
---|
890 | |c1|a0|b0|d10 |
---|
| |
Không tìm thấy biểu ghi nào
|
|
|
|