首页 > 最新文献

2008 Fourth International Conference on Natural Computation最新文献

英文 中文
An Evolutionary Approach to Clustering Ensemble 聚类集成的进化方法
Pub Date : 2008-10-18 DOI: 10.1109/ICNC.2008.493
M. Mohammadi, Amin Nikanjam, A. Rahmani
In this paper we propose a clustering ensemble algorithm based on genetic algorithm. The most important feature of our method is ability to extract the number of clusters. Genetic algorithms have been known as methods with high ability to find the solution of optimization problems. One of these problems is clustering, a process that receives a dataset as input and divides its members into several subsets called cluster (partition or group). The members of each cluster would be alike while members of two different clusters would be as different as possible. One of the common ways to do this is combinational clustering. Combinational clustering will combine the results of different clustering methods or some executions of a clustering method to calculate final clusters. In this paper, an evolutionary combinational clustering method is proposed to find the number of clusters. The evaluation of this method on several common datasets shows the proper performance of proposed method to find final clusters as well as the exact number of clusters.
本文提出了一种基于遗传算法的聚类集成算法。我们的方法最重要的特点是能够提取聚类的数量。遗传算法是一种求解优化问题的高能力方法。其中一个问题是聚类,这是一个接收数据集作为输入并将其成员划分为几个子集的过程,称为集群(分区或组)。每个集群的成员将是相似的,而两个不同集群的成员将尽可能不同。其中一种常见的方法是组合聚类。组合聚类将不同聚类方法的结果或某一聚类方法的若干次执行结合起来计算最终的聚类。本文提出了一种进化组合聚类方法来确定聚类的数量。在几个常见的数据集上对该方法进行了评估,结果表明该方法在寻找最终聚类和准确聚类数量方面具有良好的性能。
{"title":"An Evolutionary Approach to Clustering Ensemble","authors":"M. Mohammadi, Amin Nikanjam, A. Rahmani","doi":"10.1109/ICNC.2008.493","DOIUrl":"https://doi.org/10.1109/ICNC.2008.493","url":null,"abstract":"In this paper we propose a clustering ensemble algorithm based on genetic algorithm. The most important feature of our method is ability to extract the number of clusters. Genetic algorithms have been known as methods with high ability to find the solution of optimization problems. One of these problems is clustering, a process that receives a dataset as input and divides its members into several subsets called cluster (partition or group). The members of each cluster would be alike while members of two different clusters would be as different as possible. One of the common ways to do this is combinational clustering. Combinational clustering will combine the results of different clustering methods or some executions of a clustering method to calculate final clusters. In this paper, an evolutionary combinational clustering method is proposed to find the number of clusters. The evaluation of this method on several common datasets shows the proper performance of proposed method to find final clusters as well as the exact number of clusters.","PeriodicalId":6404,"journal":{"name":"2008 Fourth International Conference on Natural Computation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2008-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76927128","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Probabilistic Modal Kleene Algebra and Hoare-Style Logic 概率模态Kleene代数与Hoare-Style逻辑
Pub Date : 2008-10-18 DOI: 10.1109/ICNC.2008.174
Rui Qiao, Jinzhao Wu, Xinyan Gao
Modal Kleene algebras (MKA) formalize the behavior of regular programs. However, MKA is incapable of verifying regular programs with probabilistic information, which have richer and more powerful expressiveness than normal regular programs. We define an extension of MKA, called probabilistic modal Kleene algebra (PMKA) for verifying the regular programs with probability in a purely algebraic approach. We give relational semantics for the regular programs with probability. Then, we modify the existent probabilistic Hoare-style logic in some sort to a proof system named PHLnp for probabilistic regular programs without iteration, and prove the soundness of the modified system in terms of the relational semantics. At last, we show that PHLnp is subsumed by PMKA.
模态Kleene代数(MKA)形式化正则程序的行为。然而,MKA无法用概率信息验证正则程序,而概率信息比普通正则程序具有更丰富、更强大的表达能力。我们定义了MKA的一个扩展,称为概率模态Kleene代数(PMKA),用于用纯代数方法验证正则规划的概率性。给出了带有概率的正则程序的关系语义。然后,我们将现有的某种形式的概率hore -style逻辑修改为一个无迭代概率正则程序的证明系统PHLnp,并从关系语义的角度证明了修改后的系统的健健性。最后,我们证明PHLnp包含在PMKA中。
{"title":"Probabilistic Modal Kleene Algebra and Hoare-Style Logic","authors":"Rui Qiao, Jinzhao Wu, Xinyan Gao","doi":"10.1109/ICNC.2008.174","DOIUrl":"https://doi.org/10.1109/ICNC.2008.174","url":null,"abstract":"Modal Kleene algebras (MKA) formalize the behavior of regular programs. However, MKA is incapable of verifying regular programs with probabilistic information, which have richer and more powerful expressiveness than normal regular programs. We define an extension of MKA, called probabilistic modal Kleene algebra (PMKA) for verifying the regular programs with probability in a purely algebraic approach. We give relational semantics for the regular programs with probability. Then, we modify the existent probabilistic Hoare-style logic in some sort to a proof system named PHLnp for probabilistic regular programs without iteration, and prove the soundness of the modified system in terms of the relational semantics. At last, we show that PHLnp is subsumed by PMKA.","PeriodicalId":6404,"journal":{"name":"2008 Fourth International Conference on Natural Computation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2008-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76993263","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Multiuser Detection in STBC-MIMO Systems Based on Pareto Optimality Particle Swarm Optimization Algorithm 基于Pareto最优粒子群算法的STBC-MIMO系统多用户检测
Pub Date : 2008-10-18 DOI: 10.1109/ICNC.2008.727
Jianping An, Binbin Xu
In this paper, we present a novel particle swarm optimization (PSO) multiuser detection (MUD) approach for multiple-in-multiple-out (MIMO) systems with space-time block code (STBC). The proposed strategy consider the MUD problem with diversity reception from a multiobjective optimization (MO) viewpoint and develop a Pareto-optimal PSO-based (POPSO) algorithm. By taking advantage of the Pareto-optimal values, this approach effectively explores and exploits the channel fading information of received signals that are independent for each receive antenna, and accordingly improves the heuristic search ability to find the optimal solution. The proposed approach is shown to achieve superior bit-error-rate (BER) performance by simulations.
针对空时分组码(STBC)多输入多出(MIMO)系统,提出了一种新的粒子群优化(PSO)多用户检测(MUD)方法。该策略从多目标优化(MO)的角度考虑具有多样性接收的多目标优化(MUD)问题,提出了一种基于Pareto-optimal的pso算法。该方法利用帕累托最优值,有效地挖掘和利用每个接收天线独立的接收信号的信道衰落信息,从而提高启发式搜索最优解的能力。仿真结果表明,该方法具有较好的误码率性能。
{"title":"Multiuser Detection in STBC-MIMO Systems Based on Pareto Optimality Particle Swarm Optimization Algorithm","authors":"Jianping An, Binbin Xu","doi":"10.1109/ICNC.2008.727","DOIUrl":"https://doi.org/10.1109/ICNC.2008.727","url":null,"abstract":"In this paper, we present a novel particle swarm optimization (PSO) multiuser detection (MUD) approach for multiple-in-multiple-out (MIMO) systems with space-time block code (STBC). The proposed strategy consider the MUD problem with diversity reception from a multiobjective optimization (MO) viewpoint and develop a Pareto-optimal PSO-based (POPSO) algorithm. By taking advantage of the Pareto-optimal values, this approach effectively explores and exploits the channel fading information of received signals that are independent for each receive antenna, and accordingly improves the heuristic search ability to find the optimal solution. The proposed approach is shown to achieve superior bit-error-rate (BER) performance by simulations.","PeriodicalId":6404,"journal":{"name":"2008 Fourth International Conference on Natural Computation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2008-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80863999","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Complex Network Community Detection Based on Swarm Aggregation 基于群聚集的复杂网络社区检测
Pub Date : 2008-10-18 DOI: 10.1109/ICNC.2008.324
Tatyana B. S. de Oliveira, Liang Zhao
Finding communities in complex networks is not a trivial task. It not only can help to understand topological structure of large scale networks, but also is useful for data mining. In this paper, we propose a community detection technique based on the collective behavior of swarm aggregation, where all nodes are arranged on a circumference and each of them is assigned a angle at a random. The angles are gradually updated according to node's neighbors angle agreement. Finally, a stable state is reached and nodes belonging to the same community are aggregated together. By repeating this process, hierarchical community structure of input network can be obtained. The proposed technique is robust and efficient. Moreover, it is able to deal with both weighted and un-weighted networks.
在复杂的网络中寻找社区并不是一项简单的任务。它不仅有助于理解大规模网络的拓扑结构,而且对数据挖掘也很有用。本文提出了一种基于群体聚集集体行为的群体检测技术,该技术将所有节点排列在一个圆周上,每个节点随机分配一个角度。根据节点的邻居角度协议,逐步更新角度。最后,达到稳定状态,属于同一社区的节点聚集在一起。通过重复这一过程,可以得到输入网络的层次社区结构。该方法鲁棒性好,效率高。此外,它能够处理加权和非加权网络。
{"title":"Complex Network Community Detection Based on Swarm Aggregation","authors":"Tatyana B. S. de Oliveira, Liang Zhao","doi":"10.1109/ICNC.2008.324","DOIUrl":"https://doi.org/10.1109/ICNC.2008.324","url":null,"abstract":"Finding communities in complex networks is not a trivial task. It not only can help to understand topological structure of large scale networks, but also is useful for data mining. In this paper, we propose a community detection technique based on the collective behavior of swarm aggregation, where all nodes are arranged on a circumference and each of them is assigned a angle at a random. The angles are gradually updated according to node's neighbors angle agreement. Finally, a stable state is reached and nodes belonging to the same community are aggregated together. By repeating this process, hierarchical community structure of input network can be obtained. The proposed technique is robust and efficient. Moreover, it is able to deal with both weighted and un-weighted networks.","PeriodicalId":6404,"journal":{"name":"2008 Fourth International Conference on Natural Computation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2008-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85446655","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Feature Weight and Its Application in Weight Determination of Medical Scale Items 特征权重及其在医用秤项目重量测定中的应用
Pub Date : 2008-10-18 DOI: 10.1109/ICNC.2008.520
Zhenhua Wang, Zhongsheng Hou, Ying Gao, Qiang Liu
Actually, the determination of medical scales items is feature weight problem in data-mining area. The framework of EC-based (Evolutionary computation) classification method for feature weight is presented contrasted with traditional statistical methods. And an improved EC-based k-NN algorithm for feature weight, GS-k-NN, is put forward and presented. Comparison between PSO and GA is made as well as among k-NN, GS-k-NN, C4.5, SVM in the paper. Results show that PSO-based GS-k-NN is more effective than other algorithms.
医学尺度项目的确定实际上是数据挖掘领域的特征权重问题。提出了基于进化计算的特征权重分类方法框架,并与传统的统计方法进行了对比。并提出了一种改进的基于ec的k-NN特征权值算法GS-k-NN。本文对粒子群算法与遗传算法进行了比较,并对k-NN、GS-k-NN、C4.5、SVM进行了比较。结果表明,基于pso的GS-k-NN比其他算法更有效。
{"title":"Feature Weight and Its Application in Weight Determination of Medical Scale Items","authors":"Zhenhua Wang, Zhongsheng Hou, Ying Gao, Qiang Liu","doi":"10.1109/ICNC.2008.520","DOIUrl":"https://doi.org/10.1109/ICNC.2008.520","url":null,"abstract":"Actually, the determination of medical scales items is feature weight problem in data-mining area. The framework of EC-based (Evolutionary computation) classification method for feature weight is presented contrasted with traditional statistical methods. And an improved EC-based k-NN algorithm for feature weight, GS-k-NN, is put forward and presented. Comparison between PSO and GA is made as well as among k-NN, GS-k-NN, C4.5, SVM in the paper. Results show that PSO-based GS-k-NN is more effective than other algorithms.","PeriodicalId":6404,"journal":{"name":"2008 Fourth International Conference on Natural Computation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2008-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85503807","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Analysis of Cointegration between Macroeconomic Variables and Stock Index 宏观经济变量与股指的协整分析
Pub Date : 2008-10-18 DOI: 10.1109/ICNC.2008.689
Yan-chun Liu, Liang-bin Sun
Stock exchange market, that has function of accommodating capital and optimizing resource allocation, is a part of capital markets. And it play important role of economy development. Research of relationship between stock exchange market and macroeconomic variables has realism significance. This paper, according to Shanghai stock exchange market index representing stock market, chooses 8 macroeconomic variables to research both long time balance and short time fluctuation relation between Shanghai stock exchange market index and macroeconomic variables using unit root testing, cointegration analysis and vector error correction model. The result of practical example indicates that there exist longtime stabilization relation between Shanghai stock exchange market index and macroeconomic variables. The development of stock exchange market has some promotional effect on economy. That shows that Chinese stock exchange market reflects the development level of macroeconomic.
证券交易市场是资本市场的一部分,具有融通资本和优化资源配置的功能。它在经济发展中起着重要的作用。研究证券交易市场与宏观经济变量的关系具有现实意义。本文根据上证指数代表股票市场,选取8个宏观经济变量,运用单位根检验、协整分析和向量误差修正模型,研究上证指数与宏观经济变量之间的长期平衡和短期波动关系。实证结果表明,上证指数与宏观经济变量之间存在长期稳定关系。证券交易市场的发展对经济有一定的促进作用。这说明中国证券交易所市场反映了宏观经济的发展水平。
{"title":"Analysis of Cointegration between Macroeconomic Variables and Stock Index","authors":"Yan-chun Liu, Liang-bin Sun","doi":"10.1109/ICNC.2008.689","DOIUrl":"https://doi.org/10.1109/ICNC.2008.689","url":null,"abstract":"Stock exchange market, that has function of accommodating capital and optimizing resource allocation, is a part of capital markets. And it play important role of economy development. Research of relationship between stock exchange market and macroeconomic variables has realism significance. This paper, according to Shanghai stock exchange market index representing stock market, chooses 8 macroeconomic variables to research both long time balance and short time fluctuation relation between Shanghai stock exchange market index and macroeconomic variables using unit root testing, cointegration analysis and vector error correction model. The result of practical example indicates that there exist longtime stabilization relation between Shanghai stock exchange market index and macroeconomic variables. The development of stock exchange market has some promotional effect on economy. That shows that Chinese stock exchange market reflects the development level of macroeconomic.","PeriodicalId":6404,"journal":{"name":"2008 Fourth International Conference on Natural Computation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2008-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85528112","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Research on Preventive Maintenance Cycle's Optimization of Complex System 复杂系统预防性维修周期优化研究
Pub Date : 2008-10-18 DOI: 10.1109/ICNC.2008.262
D. Lv, H. Zuo, Jing Cai
For complex mechanical equipment containing N units the optimal model to preventive maintenance cycle policy is proposed to minimize the maintenance cost rate, the model is subject to the availability and the reliability. And optimal variable is preventive maintenance cycle. The recursion relationship of failure rate before and after imperfect preventive maintenance was built up concerning with the concept of age reduction factor. Finally, immunity particle swarm algorithm is used to solve the model; the result of an example proves the model valid and effective and the cost rate decreases 10.2% than single parts maintenance policy under identical restraint condition.
针对包含N台的复杂机械设备,提出了以维护成本率最小为目标的预防性维修周期策略的最优模型,该模型同时受可用性和可靠性的约束。最优变量为预防性维修周期。利用龄减因子的概念,建立了不完全预防性维修前后故障率的递归关系。最后,采用免疫粒子群算法对模型进行求解;算例结果表明,该模型是有效的,在相同约束条件下,成本率比单零件维修策略降低了10.2%。
{"title":"Research on Preventive Maintenance Cycle's Optimization of Complex System","authors":"D. Lv, H. Zuo, Jing Cai","doi":"10.1109/ICNC.2008.262","DOIUrl":"https://doi.org/10.1109/ICNC.2008.262","url":null,"abstract":"For complex mechanical equipment containing N units the optimal model to preventive maintenance cycle policy is proposed to minimize the maintenance cost rate, the model is subject to the availability and the reliability. And optimal variable is preventive maintenance cycle. The recursion relationship of failure rate before and after imperfect preventive maintenance was built up concerning with the concept of age reduction factor. Finally, immunity particle swarm algorithm is used to solve the model; the result of an example proves the model valid and effective and the cost rate decreases 10.2% than single parts maintenance policy under identical restraint condition.","PeriodicalId":6404,"journal":{"name":"2008 Fourth International Conference on Natural Computation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2008-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85784596","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Non-Native Speaker Identity Verification Based on Speech 基于语音的非母语人士身份验证
Pub Date : 2008-10-18 DOI: 10.1109/ICNC.2008.574
H. Wei, Jian Yang
Speaker identity verification is an useful biometric recognition approach. Native speaker verification has achieved some better effects. But non-native speaker verification remains a challenging task because of wide varieties of non-native accents. Based on two speech corpus, one native speech corpus and one non-native corpus, by means of speaker adaptation. Combined with traditional speaker verification and connected digits continuous speech recognition techniques, non-native speaker identity verification experiments are performed. The combined judging strategy is proved to be more effective by the final experimental results.
说话人身份验证是一种有用的生物特征识别方法。母语验证取得了一些较好的效果。但非母语人士的验证仍然是一项具有挑战性的任务,因为各种各样的非母语口音。基于两个语言语料库,一个母语语料库和一个非母语语料库,采用说话人适应的方法。结合传统的说话人身份验证和连接数字连续语音识别技术,进行了非母语说话人身份验证实验。最后的实验结果证明了该组合判断策略的有效性。
{"title":"Non-Native Speaker Identity Verification Based on Speech","authors":"H. Wei, Jian Yang","doi":"10.1109/ICNC.2008.574","DOIUrl":"https://doi.org/10.1109/ICNC.2008.574","url":null,"abstract":"Speaker identity verification is an useful biometric recognition approach. Native speaker verification has achieved some better effects. But non-native speaker verification remains a challenging task because of wide varieties of non-native accents. Based on two speech corpus, one native speech corpus and one non-native corpus, by means of speaker adaptation. Combined with traditional speaker verification and connected digits continuous speech recognition techniques, non-native speaker identity verification experiments are performed. The combined judging strategy is proved to be more effective by the final experimental results.","PeriodicalId":6404,"journal":{"name":"2008 Fourth International Conference on Natural Computation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2008-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84554395","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
(2D)2UDP: A New Two-Directional Two-Dimensional Unsupervised Discriminant Projection for Face Recognition (2D)2UDP:一种新的双向二维无监督判别投影人脸识别方法
Pub Date : 2008-10-18 DOI: 10.1109/ICNC.2008.657
Yong-Zhi Li, Guangming He, Jing-yu Yang, Yu-Ping Wang
Based on manifold learning, a new feature extraction method is proposed for face recognition in the paper. The new method is called two-directional two-dimensional unsupervised discriminant projection ((2D)2UDP), which simultaneously works image matrix in the row direction and in the column direction for feature extraction. The experimental results on ORL face databases and AR face databases indicate that the proposed method has higher recognition rate and more stable.
提出了一种基于流形学习的人脸特征提取方法。新方法称为双向二维无监督判别投影(2D)2UDP,它同时对图像矩阵在行方向和列方向进行特征提取。在ORL人脸数据库和AR人脸数据库上的实验结果表明,该方法具有更高的识别率和稳定性。
{"title":"(2D)2UDP: A New Two-Directional Two-Dimensional Unsupervised Discriminant Projection for Face Recognition","authors":"Yong-Zhi Li, Guangming He, Jing-yu Yang, Yu-Ping Wang","doi":"10.1109/ICNC.2008.657","DOIUrl":"https://doi.org/10.1109/ICNC.2008.657","url":null,"abstract":"Based on manifold learning, a new feature extraction method is proposed for face recognition in the paper. The new method is called two-directional two-dimensional unsupervised discriminant projection ((2D)2UDP), which simultaneously works image matrix in the row direction and in the column direction for feature extraction. The experimental results on ORL face databases and AR face databases indicate that the proposed method has higher recognition rate and more stable.","PeriodicalId":6404,"journal":{"name":"2008 Fourth International Conference on Natural Computation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2008-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78263585","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Completeness and Decidability of Intuitive Implication Logic System 直觉蕴涵逻辑系统的完备性与可判定性
Pub Date : 2008-10-18 DOI: 10.1109/ICNC.2008.499
Guoping Du, Hongguang Wang, Na Li, Liang Xu
One key matter we meet when classical logic is used in analysis and information mining to massive knowledge system is the problem of Scott Law. Up to the present, the existent resolvents are far from our logical intuition. This paper gives a new strategy - to build an intuitive implication logic system, D, in which: (1) the property of implication should be in accordance with intuition; (2) the fundamental laws of classical logic should be reserved; (3) the properties of negation and conjunction should be not changed; (4) Scott Law should not generally hold Scott Law. Then, basing on the strict formal semantics, we demonstrate the soundness and consistency of system D.
将经典逻辑应用于海量知识系统的分析和信息挖掘时,遇到的一个关键问题是斯科特定律问题。到目前为止,现有的解决方案与我们的逻辑直觉相去甚远。本文提出了一种新的策略——建立直观的蕴涵逻辑系统D,其中:(1)蕴涵的性质应符合直觉;(2)保留经典逻辑的基本规律;(3)不改变否定和连词的性质;(4)司各特·劳不应普遍持有司各特·劳。然后,基于严格的形式语义,我们证明了系统D的健全性和一致性。
{"title":"The Completeness and Decidability of Intuitive Implication Logic System","authors":"Guoping Du, Hongguang Wang, Na Li, Liang Xu","doi":"10.1109/ICNC.2008.499","DOIUrl":"https://doi.org/10.1109/ICNC.2008.499","url":null,"abstract":"One key matter we meet when classical logic is used in analysis and information mining to massive knowledge system is the problem of Scott Law. Up to the present, the existent resolvents are far from our logical intuition. This paper gives a new strategy - to build an intuitive implication logic system, D, in which: (1) the property of implication should be in accordance with intuition; (2) the fundamental laws of classical logic should be reserved; (3) the properties of negation and conjunction should be not changed; (4) Scott Law should not generally hold Scott Law. Then, basing on the strict formal semantics, we demonstrate the soundness and consistency of system D.","PeriodicalId":6404,"journal":{"name":"2008 Fourth International Conference on Natural Computation","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2008-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78319728","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
期刊
2008 Fourth International Conference on Natural Computation
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1