| ²é¿´: 1758 | »Ø¸´: 7 | |||
| µ±Ç°Ö»ÏÔʾÂú×ãÖ¸¶¨Ìõ¼þµÄ»ØÌû£¬µã»÷ÕâÀï²é¿´±¾»°ÌâµÄËùÓлØÌû | |||
OX_2650931гæ (³õÈëÎÄ̳)
|
[½»Á÷]
ISKE2015»áÒé¼ìË÷ ÒÑÓÐ3È˲ÎÓë
|
||
|
ÇëÎÊISKE2015»áÒéÂÛÎļìË÷ÁËÂ𠣿 (¦Á,¦Â)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic һֱû¼ì³öÀ´°¡£¡ÓиúÎÒÒ»ÑùµÄÂ𣿠|
» ²ÂÄãϲ»¶
0817 »¯Ñ§¹¤³Ì 299·ÖÇóµ÷¼Á ÓпÆÑоÀú ÓжþÇøÎÄÕÂ
ÒѾÓÐ4È˻ظ´
0854¿É¿çµ÷¼Á£¬Ò»×÷Ò»ÏîºËÐÄÂÛÎÄÎåÏîרÀû£¬Ê¡¡¢¹ú¼¶Ö¤Êé40+ÊýÒ»Ó¢Ò»287
ÒѾÓÐ5È˻ظ´
070300»¯Ñ§319Çóµ÷¼Á
ÒѾÓÐ6È˻ظ´
Ò»Ö¾Ô¸985£¬±¾¿Æ211£¬0817»¯Ñ§¹¤³ÌÓë¼¼Êõ319Çóµ÷¼Á
ÒѾÓÐ6È˻ظ´
Ò»Ö¾Ô¸Î÷ÄϽ»´ó£¬Çóµ÷¼Á
ÒѾÓÐ3È˻ظ´
286Çóµ÷¼Á
ÒѾÓÐ6È˻ظ´
½¹ÂÇ
ÒѾÓÐ11È˻ظ´
331Çóµ÷¼Á£¨0703Óлú»¯Ñ§
ÒѾÓÐ7È˻ظ´
298-Ò»Ö¾Ô¸Öйúũҵ´óѧ-Çóµ÷¼Á
ÒѾÓÐ5È˻ظ´
297Çóµ÷¼Á
ÒѾÓÐ5È˻ظ´
» ±¾Ö÷ÌâÏà¹Ø¼ÛÖµÌùÍÆ¼ö£¬¶ÔÄúͬÑùÓаïÖú:
EXLsunshine
Òø³æ (³õÈëÎÄ̳)
- Ó¦Öú: 0 (Ó×¶ùÔ°)
- ½ð±Ò: 433
- É¢½ð: 5
- Ìû×Ó: 34
- ÔÚÏß: 18.1Сʱ
- ³æºÅ: 3821191
- ×¢²á: 2015-04-20
- ÐÔ±ð: GG
- רҵ: ¼ÆËã»úÈí¼þ
¡ï
Сľ³æ: ½ð±Ò+0.5, ¸ø¸öºì°ü£¬Ð»Ð»»ØÌû
Сľ³æ: ½ð±Ò+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
EXLsunshine
Òø³æ (³õÈëÎÄ̳)
- Ó¦Öú: 0 (Ó×¶ùÔ°)
- ½ð±Ò: 433
- É¢½ð: 5
- Ìû×Ó: 34
- ÔÚÏß: 18.1Сʱ
- ³æºÅ: 3821191
- ×¢²á: 2015-04-20
- ÐÔ±ð: GG
- רҵ: ¼ÆËã»úÈí¼þ
¡ï
Сľ³æ: ½ð±Ò+0.5, ¸ø¸öºì°ü£¬Ð»Ð»»ØÌû
Сľ³æ: ½ð±Ò+0.5, ¸ø¸öºì°ü£¬Ð»Ð»»ØÌû
|
https://ieeexplore.ieee.org/document/7383070/ ÄãÕâ¸ö²»Ò²ÊÇIEEE¼ìË÷ÁËô£¬²»¹ý²»ÖªµÀEIÕ¦Ñù¡£ |
2Â¥2017-03-02 13:16:47
OX_2650931
гæ (³õÈëÎÄ̳)
- Ó¦Öú: 1 (Ó×¶ùÔ°)
- ½ð±Ò: 6.1
- Ìû×Ó: 12
- ÔÚÏß: 3Сʱ
- ³æºÅ: 4386426
- ×¢²á: 2016-01-29
4Â¥2017-03-02 14:55:53
Tedy_Meng
гæ (³õÈëÎÄ̳)
- Ó¦Öú: 0 (Ó×¶ùÔ°)
- ½ð±Ò: 8.5
- Ìû×Ó: 3
- ÔÚÏß: 1Сʱ
- ³æºÅ: 6074197
- ×¢²á: 2017-03-20
- ÐÔ±ð: GG
- רҵ: ¼ÆËã»úÓ¦Óü¼Êõ
¡ï
Сľ³æ: ½ð±Ò+0.5, ¸ø¸öºì°ü£¬Ð»Ð»»ØÌû
Сľ³æ: ½ð±Ò+0.5, ¸ø¸öºì°ü£¬Ð»Ð»»ØÌû
|
¿ÉÒÔ°ïÎÒ²éÒ»ÏÂô£¿fuzzy spectral partition ensemble based on occasion лл ·¢×ÔСľ³æAndroid¿Í»§¶Ë |
5Â¥2017-03-20 21:52:51













»Ø¸´´ËÂ¥