《語言量詞的積分語義與非可換邏輯研究》是張小紅為項目負責人，寧波大學為依託單位的面上項目。
基本介紹
- 中文名：語言量詞的積分語義與非可換邏輯研究
- 項目類別：面上項目
- 項目負責人：張小紅
- 依託單位：寧波大學
科研成果,項目摘要,
科研成果
序號 | 標題 | 類型 |
|---|---|---|
1 | Pseudo-involutive residuated lattices (non-commutative) and pseudo-effect algebras | 期刊論文 |
2 | Implicative pseudo-BCK algebras and implicative pseudo-filters of pseudo- BCK Algebras | 會議論文 |
3 | On interval fuzzy residuated implications and interval quasi- implications | 會議論文 |
4 | T-type pseudo-BCI algebras and T-type pseudo-BCI filters | 會議論文 |
5 | Intuitionistic fuzzy linguistic quantifier based on intuitionistic fuzzy-valued fuzzy measures and integrals | 期刊論文 |
6 | Qualitative approximations of fuzzy sets and non-classical three-valued logics (II) | 會議論文 |
7 | Commutative weak t-norm and non-associative residuated lattices | 會議論文 |
8 | 剩餘格及有界psBCK-代數成為布爾代數的充要條件 | 期刊論文 |
9 | 星型t-模（t*-模）與邏輯系統的弱健全性 | 會議論文 |
10 | Pseudo-hoops and non-commutative fuzzy structures | 會議論文 |
11 | Pseudo-BL algebras and pseudo-effect algebras | 期刊論文 |
12 | 帶有語言量詞的邏輯系統MTLQ | 期刊論文 |
13 | 基於Frank T/S範數的柔性機率邏輯運算元研究 | 期刊論文 |
14 | 擴展（拓撲）剩餘格與Rough集 | 期刊論文 |
15 | Weak completeness theorem of logic system MTLQ with linguistic quantifiers | 會議論文 |
16 | 一種套用Rough集的多屬性決策方法 | 期刊論文 |
17 | Lattice-valued interval sets and t- represent able interval set t-norms | 會議論文 |
18 | 基於語言量詞與Sugeno積分的模糊查詢方法 | 期刊論文 |
19 | Rough implication operator based on strong topological rough algebras | 期刊論文 |
20 | 強Ockham代數與剩餘格 | 期刊論文 |
21 | 非可換模糊邏輯系統及其代數分析 | 科研獎勵 |
22 | 強剩餘BCC-代數及其正規素濾子定理 | 期刊論文 |
23 | Fuzzy BIK+-logic and non- commutative fuzzy logics | 期刊論文 |
24 | Ideals and atoms of BZ-algebras | 期刊論文 |
25 | 模糊量詞及其積分語義 | 學術專著 |
26 | Linguistic Summarization of Data based on Interval-valued Choquet integrals | 會議論文 |
27 | 基於廣義Sugeno積分的語言量詞模型 | 期刊論文 |
28 | Strong Pseudo-De Morgan Algebras and Pseudo-Involutive Pseudo-BCK Algebras | 會議論文 |
29 | Topological residuated lattice - a unifying algebra representation of some rough set models | 會議論文 |
30 | 模糊邏輯及其代數分析 | 學術專著 |
31 | Qualitative approximations of fuzzy sets and non-classical three-valued logics (I) | 會議論文 |
32 | On filters of non-associative residuated Lattices (commutative. residuated lattice-ordered groupoids) | 會議論文 |
33 | BIK+-邏輯與非可換模糊邏輯 | 期刊論文 |
34 | First-order logic system IMTLQ* and triple I method in fuzzy reasoning with linguistic quantifiers | 會議論文 |
35 | Linguistic quantifiers modeled by interval-valued intuitionistic Sugeno integrals | 會議論文 |
項目摘要
作為智慧型信息處理技術理論基礎之一的非經典邏輯，近年取得了長足進步。本項目將圍繞如下兩個新方向開展研究：語言量詞的積分語義、非可換邏輯。在語言量詞方向上，擬將我國學者新近創立的基於Sugeno積分的語言量詞模型做進一步拓展，建立基於廣義Sugeno積分的語言量詞模型，深入研究其邏輯性質；在此基礎上，研究語言量詞的更具靈活性的Choquet積分語義，進而研究語言量詞模型的公理化問題。同時，還將重點研究上述語言量詞新模型在信息融合、計算機安全與取證方面的套用。在非可換邏輯方向上，擬構建具有實際套用背景的非可換t-模，並著重建立基於一般偽 t-模的非可換邏輯形式系統，證明其可靠性和完備性。同時，探討基於上述非可換邏輯系統的不確定推理方法，以及在智慧型控制與計算語言學等領域的套用。此外，還將結合上述兩個方向的研究，探討非可換邏輯中的語言量詞模型及其在模糊資料庫和模糊數據查詢中的套用。
