Znn3bq.jpeg
²é¿´: 1801  |  »Ø¸´: 7

OX_2650931

гæ (³õÈëÎÄ̳)

[½»Á÷] ISKE2015»áÒé¼ìË÷ ÒÑÓÐ3È˲ÎÓë

ÇëÎÊISKE2015»áÒéÂÛÎļìË÷ÁËÂ𠣿
(¦Á,¦Â)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic
һֱû¼ì³öÀ´°¡£¡ÓиúÎÒÒ»ÑùµÄÂð£¿
»Ø¸´´ËÂ¥
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

EXLsunshine

Òø³æ (³õÈëÎÄ̳)

¡ï
Сľ³æ: ½ð±Ò+0.5, ¸ø¸öºì°ü£¬Ð»Ð»»ØÌû
https://ieeexplore.ieee.org/document/7383070/
ÄãÕâ¸ö²»Ò²ÊÇIEEE¼ìË÷ÁËô£¬²»¹ý²»ÖªµÀEIÕ¦Ñù¡£
2Â¥2017-03-02 13:16:47
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

EXLsunshine

Òø³æ (³õÈëÎÄ̳)

¡ï
Сľ³æ: ½ð±Ò+0.5, ¸ø¸öºì°ü£¬Ð»Ð»»ØÌû
ÎÒ°ïÄã¿´ÁË£¬ÄãÕâÆªÎÄÕÂÒѾ­±»EIÊÕÁË¡£¡£¡£Ê±¸ôÁ½Äê¡£¡£¡£ÖÕÓÚ2015µÄÔÚ2017ÊÕ¼ÁË¡£¡£¡£¡£


Accession number:       
20162002387717
        Title:        (¦Á, ¦Â)-ordered linear resolution of intuitionistic fuzzy propositional logic
        Authors:        Li, Baihua1 Email author libh@dl.cn; Li, Xiaonan1 Email author lixiaonanxx.com@163.com; Pan, Chang1 Email author panchang_2014@163.com; Zou, Li1 Email author zoulicn@163.com; Xu, Yang2 Email author xuyang@home.swjtu.edu.cn
        Author affiliation:        1 School of Computer and Information Technology, Liaoning Normal University, Dalian, China
                2 Department of Mathematics, Southwest Jiaotong University, Hengdu, Sichuan; 610031, China
        Corresponding author:        Li, Baihua (libh@dl.cn)
        Source title:        Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015
        Abbreviated source title:        Proc. - The Int. Conf. Intell. Syst. Knowl. Eng., ISKE
        Monograph title:        Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015
        Issue date:        January 13, 2016
        Publication year:        2015
        Pages:        341-344
        Article number:        7383070
        Language:        English
        ISBN-13:        9781467393225
        Document type:        Conference article (CA)
        Conference name:        10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015
        Conference date:        November 24, 2015 - November 27, 2015
        Conference location:        Taipei, Taiwan
        Conference code:        119125
        Sponsor:        Ministry of Science and Technology; National Taiwan University of Science and Technology; Southwest Jiaotong University; University of Technology, Sydney
        Publisher:        Institute of Electrical and Electronics Engineers Inc.
        Abstract:        To improve the ((¦Á, ¦Â)-resolution efficiency of intuitionistic fuzzy propositional logic, we apply linear resolution and ordered resolution to ((¦Á, ¦Â)-resolution. Provide the concepts of ((¦Á, ¦Â)-linear resolution, ((¦Á, ¦Â)-ordered resolution and reducible ordered clause. Propose the ((¦Á, ¦Â)-ordered linear resolution method based on intuitionistic fuzzy propositional logic. The similar literals and merger rule of ((¦Á, ¦Â)-ordered linear resolution are discussed. Finally, the ((¦Á, ¦Â)-ordered linear resolution algorithm is presented and an example is given to illustrate the effectiveness of the proposed method. © 2015 IEEE.
        Number of references:        19
        Main heading:        Fuzzy logic
        Controlled terms:        Computer circuits - Formal logic - Fuzzy sets - Intelligent systems - Knowledge engineering - Reconfigurable hardware
        Uncontrolled terms:        Intuitionistic fuzzy - Linear resolutions - Literals - Ordered resolution - Propositional logic - reducible ordered clause
        Classification code:        721.1Computer Theory, Includes Formal Logic, Automata Theory, Switching Theory, Programming Theory - 721.3Computer Circuits - 723.4Artificial Intelligence
        DOI:        10.1109/ISKE.2015.101
        Funding Details:        Number;  Acronym;  Sponsor:  61173100;  NSFC;  National Natural Science Foundation of China  
Number;  Acronym;  Sponsor:  61175055;  NSFC;  National Natural Science Foundation of China  
Number;  Acronym;  Sponsor:  61372187;  NSFC;  National Natural Science Foundation of China  
        Database:        Compendex
                Compilation and indexing terms, © 2017 Elsevier Inc.
3Â¥2017-03-02 13:43:12
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

OX_2650931

гæ (³õÈëÎÄ̳)

ÒýÓûØÌû:
3Â¥: Originally posted by EXLsunshine at 2017-03-02 13:43:12
ÎÒ°ïÄã¿´ÁË£¬ÄãÕâÆªÎÄÕÂÒѾ­±»EIÊÕÁË¡£¡£¡£Ê±¸ôÁ½Äê¡£¡£¡£ÖÕÓÚ2015µÄÔÚ2017ÊÕ¼ÁË¡£¡£¡£¡£


Accession number:       
20162002387717
        Title:        (¦Á, ¦Â)-ordered linear resolution of intuitionistic fuzzy propo ...

̫ллÄãÁË£¡ÕæÊǸöºÃÏûÏ¢£¡ÐÁ¿à
4Â¥2017-03-02 14:55:53
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

Tedy_Meng

гæ (³õÈëÎÄ̳)

¡ï
Сľ³æ: ½ð±Ò+0.5, ¸ø¸öºì°ü£¬Ð»Ð»»ØÌû
¿ÉÒÔ°ïÎÒ²éÒ»ÏÂô£¿fuzzy spectral partition ensemble based on occasion лл

·¢×ÔСľ³æAndroid¿Í»§¶Ë
5Â¥2017-03-20 21:52:51
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

Tedy_Meng

гæ (³õÈëÎÄ̳)

ÒýÓûØÌû:
3Â¥: Originally posted by EXLsunshine at 2017-03-02 13:43:12
ÎÒ°ïÄã¿´ÁË£¬ÄãÕâÆªÎÄÕÂÒѾ­±»EIÊÕÁË¡£¡£¡£Ê±¸ôÁ½Äê¡£¡£¡£ÖÕÓÚ2015µÄÔÚ2017ÊÕ¼ÁË¡£¡£¡£¡£


Accession number:       
20162002387717
        Title:        (¦Á, ¦Â)-ordered linear resolution of intuitionistic fuzzy propo ...

¿ÉÒÔ°ïÎÒ²éÒ»ÏÂô£¿Ð»Ð»¿©

·¢×ÔСľ³æAndroid¿Í»§¶Ë
6Â¥2017-03-20 21:54:02
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

ysdconf

½û³æ (СÓÐÃûÆø)

¡ï
Сľ³æ: ½ð±Ò+0.5, ¸ø¸öºì°ü£¬Ð»Ð»»ØÌû
±¾ÌûÄÚÈݱ»ÆÁ±Î

7Â¥2017-03-21 11:09:12
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

Tedy_Meng

гæ (³õÈëÎÄ̳)

ÒýÓûØÌû:
7Â¥: Originally posted by ysdconf at 2017-03-21 11:09:12
°ïÄã²éÁË£¬Ò²ÒѾ­¼ìË÷
       
Fuzzy spectral partition ensemble based on occasion
Meng, Xiaolong1 Email author xlmengzte@gmail.com; Yang, Yan1 Email author yyang@swjtu.edu.cn; Wang, Hongjun1 Email autho ...

лл

·¢×ÔСľ³æAndroid¿Í»§¶Ë
8Â¥2017-03-21 15:49:53
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
Ïà¹Ø°æ¿éÌø×ª ÎÒÒª¶©ÔÄÂ¥Ö÷ OX_2650931 µÄÖ÷Ìâ¸üÐÂ
×î¾ßÈËÆøÈÈÌûÍÆ¼ö [²é¿´È«²¿] ×÷Õß »Ø/¿´ ×îºó·¢±í
[¿¼ÑÐ] ²ÄÁÏ290µ÷¼Á +14 Loy0361 2026-04-09 15/750 2026-04-09 14:47 by gong120082
[¿¼ÑÐ] 085600£¬321·ÖÇóµ÷¼Á +19 ´ó²öС×Ó 2026-04-04 20/1000 2026-04-09 14:12 by Delta2012
[¿¼ÑÐ] Çó»úеר˶297µÚ¶þÅúµ÷¼Á +4 ʰÆâ12¡£ 2026-04-08 4/200 2026-04-09 13:17 by upczlm1989
[¿¼ÑÐ] Çóµ÷¼Á£¬262»úеר˶ +6 àÅyyl 2026-04-08 6/300 2026-04-09 12:01 by zhouyuwinner
[¿¼ÑÐ] 334Çóµ÷¼Á +16 Riot2025 2026-04-08 17/850 2026-04-09 09:28 by wdyheheeh
[¿¼ÑÐ] 293·ÖÇóµ÷¼Á£¬ÍâÓïΪ¶íÓï +7 ¼ÓÒ»Ò»¾Å 2026-04-07 10/500 2026-04-08 20:14 by yutian743
[¿¼ÑÐ] 0703»¯Ñ§µ÷¼Á325·Ö +13 15771691647 2026-04-04 14/700 2026-04-08 10:28 by screening
[¿¼ÑÐ] 22408 һ־Ը˫һÁ÷È˹¤ÖÇÄÜ300·Ö ËÄÁù¼¶£¬Êý¾Ý·ÖÎö¹ú½± +4 zzfeng123 2026-04-06 6/300 2026-04-07 21:02 by zzfeng123
[¿¼ÑÐ] 085602µ÷¼Á ³õÊÔ×Ü·Ö335 +10 19123253302 2026-04-05 10/500 2026-04-07 15:23 by СÇÇͬѧya
[¿¼ÑÐ] Ò»Ö¾Ô¸»ªÖÐũҵ´óѧ0710£¨A£©³õÊÔ329·Ö Çóµ÷¼Á +5 Ò»Ãû26¿¼ÑÐÉú 2026-04-04 5/250 2026-04-07 08:54 by 18828373951
[¿¼ÑÐ] ר˶304ÕÒµ÷¼Á£¬Ò»Ïß³ÇÊÐ×îºÃ +3 ÀîlslÀî 2026-04-05 3/150 2026-04-06 12:16 by ffffjjjj
[¿¼ÑÐ] 0817»¯Ñ§¹¤³ÌÓë¼¼ÊõÇóµ÷¼Á£¬Ò»Ö¾Ô¸Öк£Ñó319 +14 lv945 2026-04-04 14/700 2026-04-06 10:20 by À¶ÔÆË¼Óê
[¿¼ÑÐ] 284Çóµ÷¼Á +7 Ðìͬѧ_001 2026-04-04 13/650 2026-04-05 17:19 by yulian1987
[¿¼ÑÐ] 306·Ö²ÄÁÏÓ뻯¹¤Çóµ÷¼Á +7 Àè°ÉÀ²À²ÄãºÜÓÐà 2026-04-03 7/350 2026-04-05 17:18 by Hdyxbekcb
[¿¼ÑÐ] ÉúÎïѧ308·ÖÇóµ÷¼Á£¨Ò»Ö¾Ô¸»ª¶«Ê¦´ó£© +8 ÏàÐűػá¹ââÍòÕ 2026-04-05 10/500 2026-04-05 12:19 by Hdyxbekcb
[¿¼ÑÐ] 271·ÖÇóµ÷¼ÁѧУ +12 zph158488£¡ 2026-04-02 13/650 2026-04-05 10:13 by lqwchd
[¿¼ÑÐ] Ò»Ö¾Ô¸Ö£´ó0705Çóµ÷¼Á +3 éÙʮһ 2026-04-02 4/200 2026-04-05 00:05 by chongya
[¿¼ÑÐ] 0854Çóµ÷¼Á +4 assdll 2026-04-03 4/200 2026-04-04 22:17 by hemengdong
[¿¼ÑÐ] 317·Ö Ò»Ö¾Ô¸½­ÄÏ´óѧ »¯Ñ§¹¤³Ìѧ˶ Çóµ÷¼Á +6 YinTai 2026-04-03 6/300 2026-04-03 22:30 by Î޼ʵIJÝÔ­
[¿¼ÑÐ] ³õÊԳɼ¨337ÕÒµ÷¼Á +3 ??? ?. ? 2026-04-03 3/150 2026-04-03 11:43 by ÍÁľ˶ʿÕÐÉú
ÐÅÏ¢Ìáʾ
ÇëÌî´¦ÀíÒâ¼û