Levesque’s logic of belief has a special modal operator O so that it is possible to saythat only a certain proposition(or finite of them)is believed.In this logic thenonmonotonic reasoning is captured by only using t...Levesque’s logic of belief has a special modal operator O so that it is possible to saythat only a certain proposition(or finite of them)is believed.In this logic thenonmonotonic reasoning is captured by only using the classical notions of logic(satisfiability,validity,implication),while in other logics of belief such as Moore’sautoepistemic logic it is done using some definitions of new metalogical properties over展开更多
Dialectic operator fuzzy logic (DOFL) is presented which is relevant,paraconsistent and nonmonotonic.DOFL can vividly describe the belief revision in the cognitive process and can infer reasonably well while the knowl...Dialectic operator fuzzy logic (DOFL) is presented which is relevant,paraconsistent and nonmonotonic.DOFL can vividly describe the belief revision in the cognitive process and can infer reasonably well while the knowledge is inconsistent,imprecise or incomplete.展开更多
The generalized resolution method presented in ref. [1] is a generalization of Robinson’s resolution principle in the first-order logic, which can be applied to a set of nonclausal formulae, i.e. a set of generalized...The generalized resolution method presented in ref. [1] is a generalization of Robinson’s resolution principle in the first-order logic, which can be applied to a set of nonclausal formulae, i.e. a set of generalized clauses. The method can not only avoid the symbolic redundancy generated from the procedure of transforming a formula into a set of clauses, but also keep the natural description of the problem.展开更多
A new approach of operator fuzzy logic, Boolean operator fuzzy logic (BOFL) based on Boolean algebra, is presented. The resolution principle is also introduced into BOFL. BOFL is a natural generalization of classical ...A new approach of operator fuzzy logic, Boolean operator fuzzy logic (BOFL) based on Boolean algebra, is presented. The resolution principle is also introduced into BOFL. BOFL is a natural generalization of classical logic and can be applied to the qualitative description of fuzzy knowledge.展开更多
Based on the newly introduced concepts of true-level and false-level, the formal structure of reasoning in Boolean operator fuzzy logic is presented. As a generalization of the theory of epistemic process in open logi...Based on the newly introduced concepts of true-level and false-level, the formal structure of reasoning in Boolean operator fuzzy logic is presented. As a generalization of the theory of epistemic process in open logic, a formalism is also proposed to describe human reasoning with uncertain, inconsistent and insufficient knowledge, which can characterize the knowledge increment and revision, as well as the epistemic evolution. The formalism provides an explanation to the dynamic properties of human reasoning, i. e. continuous revision and combination of beliefs.展开更多
Quantitative models of operator fuzzy logic are discussed. It is proved that there is a unique real polynomial function that can be used to characterize the composition operation between fuzzy operators in a quantitat...Quantitative models of operator fuzzy logic are discussed. It is proved that there is a unique real polynomial function that can be used to characterize the composition operation between fuzzy operators in a quantitative model of operator fuzzy logic. Based on this polynomial function, we redefine a new quantitative operator fuzzy logic NOFL by revising the existing suggested alternatives. It can be seen that it is hard for a quantitative model of operator fuzzy logic to be both theoretically sound and intuitively acceptable.展开更多
Software operational profile （SOP） is used in software reliability prediction, software quality assessment, performance analysis of software, test case allocation, determination of ＂when to stop testing,＂ etc. Due...Software operational profile （SOP） is used in software reliability prediction, software quality assessment, performance analysis of software, test case allocation, determination of ＂when to stop testing,＂ etc. Due to the limited data resources and large efforts required to collect and convert the gathered data into point estimates, reluctance is observed by the software professionals to develop the SOP. A framework is proposed to develop SOP using fuzzy logic, which requires usage data in the form of linguistics. The resulting profile is named fuzzy software operational profile （FSOP）. Based on this work, this paper proposes a generalized approach for the allocation of test cases, in which occurrence probability of operations obtained from FSOP are combined with the criticality of the operations using fuzzy inference system （FIS）. Traditional methods for the allocation of test cases do not consider the application in which software operates. This is intuitively incorrect. To solve this problem, allocation of test cases with respect to software application using the FIS model is also proposed in this paper.展开更多
Disk scheduling is one of the main responsibilities of Operating System. OS manages hard disk to provide best access time. All major Disk scheduling algorithms incorporate seek time as the only factor for disk schedul...Disk scheduling is one of the main responsibilities of Operating System. OS manages hard disk to provide best access time. All major Disk scheduling algorithms incorporate seek time as the only factor for disk scheduling. The second factor rotational delay is ignored by the existing algorithms. This research paper considers both factors, Seek Time and Rotational Delay to schedule the disk. Our algorithm Fuzzy Disk Scheduling (FDS) looks at the uncertainty associated with scheduling incorporating the two factors. Keeping in view a Fuzzy inference system using If-Then rules is designed to optimize the overall performance of disk drives. Finally we compared the FDS with the other scheduling algorithms.展开更多
Brain-like computer research and development have been growing rapidly in recent years. It is necessary to design large scale dynamical neural networks (more than 106 neurons) to simulate complex process of our brain....Brain-like computer research and development have been growing rapidly in recent years. It is necessary to design large scale dynamical neural networks (more than 106 neurons) to simulate complex process of our brain. But such kind of task is not easy to achieve only based on the analysis of partial differential equations, especially for those complex neural models, e.g. Rose-Hindmarsh (RH) model. So in this paper, we develop a novel approach by combining fuzzy logical designing with Proximal Support Vector Machine Classifiers (PSVM) learning in the designing of large scale neural networks. Particularly, our approach can effectively simplify the designing process, which is crucial for both cognition science and neural science. At last, we conduct our approach on an artificial neural system with more than 108 neurons for haze-free task, and the experimental results show that texture features extracted by fuzzy logic can effectively increase the texture information entropy and improve the effect of haze-removing in some degree.展开更多
As an important variant of Relier's default logic, Poole (1988) developed a nonmonotonic reasoning framework in the classical first-order language. Brewka and Nebel extended Poole's approach in order to enabl...As an important variant of Relier's default logic, Poole (1988) developed a nonmonotonic reasoning framework in the classical first-order language. Brewka and Nebel extended Poole's approach in order to enable a representation of priorities between defaults. In this paper a general framework for default reasoning is presented, which can be viewed as a generalization of the three approaches above. It is proved that the syntax-independent default reasoning in this framework is identical to the general belief revision operation introduced by Zhang et al. (1997). This result provides a solution to the problem whether there is a correspondence between belief revision and default logic for the infinite case. As a by-product, an answer to the question, raised by Mankinson and Gardenfors (1991), is also given about whether there is a counterpart contraction in nonmonotonic logic.展开更多
In this paper, a multi objective, multireservoir operation model is proposed using Genetic algorithm (GA) under fuzzy environment. A monthly Multi Objective Genetic Algorithm Fuzzy Optimization (MOGAFU-OPT) model for ...In this paper, a multi objective, multireservoir operation model is proposed using Genetic algorithm (GA) under fuzzy environment. A monthly Multi Objective Genetic Algorithm Fuzzy Optimization (MOGAFU-OPT) model for the present study is developed in ‘C’ Language. The GA parameters i.e. population size, number of generations, crossover probability, and mutation probability are decided based on optimized val-ues of fitness function. The GA operators adopted are stochastic remainder selection, one point crossover and binary mutation. Initially the model is run for maximization of irrigation releases. Then the model is run for maximization of hydropower production. These objectives are fuzzified by assuming a linear membership function. These fuzzified objectives are simultaneously maximized by defining level of satisfaction (?) and then maximizing it. This approach is applied to a multireservoir system in Godavari river sub basin in Ma-harashtra State, India. Problem is formulated with 4 reservoirs and a barrage. The optimal operation policy for maximization of irrigation releases, maximization of hydropower production and maximization of level of satisfaction is presented for existing demand in command area. This optimal operation policy so deter-mined is compared with the actual average operation policy for Jayakwadi Stage-I reservoir.展开更多
文摘Levesque’s logic of belief has a special modal operator O so that it is possible to saythat only a certain proposition(or finite of them)is believed.In this logic thenonmonotonic reasoning is captured by only using the classical notions of logic(satisfiability,validity,implication),while in other logics of belief such as Moore’sautoepistemic logic it is done using some definitions of new metalogical properties over
基金Project supported by the National Natural Science Foundation of China and the National High-tech Program and National Key Project.
文摘Dialectic operator fuzzy logic (DOFL) is presented which is relevant,paraconsistent and nonmonotonic.DOFL can vividly describe the belief revision in the cognitive process and can infer reasonably well while the knowledge is inconsistent,imprecise or incomplete.
基金the National Natural Science Foundation of China, the National High Technology Development Program and the National "PanDeng" Program
文摘The generalized resolution method presented in ref. [1] is a generalization of Robinson’s resolution principle in the first-order logic, which can be applied to a set of nonclausal formulae, i.e. a set of generalized clauses. The method can not only avoid the symbolic redundancy generated from the procedure of transforming a formula into a set of clauses, but also keep the natural description of the problem.
文摘A new approach of operator fuzzy logic, Boolean operator fuzzy logic (BOFL) based on Boolean algebra, is presented. The resolution principle is also introduced into BOFL. BOFL is a natural generalization of classical logic and can be applied to the qualitative description of fuzzy knowledge.
文摘Based on the newly introduced concepts of true-level and false-level, the formal structure of reasoning in Boolean operator fuzzy logic is presented. As a generalization of the theory of epistemic process in open logic, a formalism is also proposed to describe human reasoning with uncertain, inconsistent and insufficient knowledge, which can characterize the knowledge increment and revision, as well as the epistemic evolution. The formalism provides an explanation to the dynamic properties of human reasoning, i. e. continuous revision and combination of beliefs.
文摘Quantitative models of operator fuzzy logic are discussed. It is proved that there is a unique real polynomial function that can be used to characterize the composition operation between fuzzy operators in a quantitative model of operator fuzzy logic. Based on this polynomial function, we redefine a new quantitative operator fuzzy logic NOFL by revising the existing suggested alternatives. It can be seen that it is hard for a quantitative model of operator fuzzy logic to be both theoretically sound and intuitively acceptable.
文摘Software operational profile （SOP） is used in software reliability prediction, software quality assessment, performance analysis of software, test case allocation, determination of ＂when to stop testing,＂ etc. Due to the limited data resources and large efforts required to collect and convert the gathered data into point estimates, reluctance is observed by the software professionals to develop the SOP. A framework is proposed to develop SOP using fuzzy logic, which requires usage data in the form of linguistics. The resulting profile is named fuzzy software operational profile （FSOP）. Based on this work, this paper proposes a generalized approach for the allocation of test cases, in which occurrence probability of operations obtained from FSOP are combined with the criticality of the operations using fuzzy inference system （FIS）. Traditional methods for the allocation of test cases do not consider the application in which software operates. This is intuitively incorrect. To solve this problem, allocation of test cases with respect to software application using the FIS model is also proposed in this paper.
文摘Disk scheduling is one of the main responsibilities of Operating System. OS manages hard disk to provide best access time. All major Disk scheduling algorithms incorporate seek time as the only factor for disk scheduling. The second factor rotational delay is ignored by the existing algorithms. This research paper considers both factors, Seek Time and Rotational Delay to schedule the disk. Our algorithm Fuzzy Disk Scheduling (FDS) looks at the uncertainty associated with scheduling incorporating the two factors. Keeping in view a Fuzzy inference system using If-Then rules is designed to optimize the overall performance of disk drives. Finally we compared the FDS with the other scheduling algorithms.
文摘Brain-like computer research and development have been growing rapidly in recent years. It is necessary to design large scale dynamical neural networks (more than 106 neurons) to simulate complex process of our brain. But such kind of task is not easy to achieve only based on the analysis of partial differential equations, especially for those complex neural models, e.g. Rose-Hindmarsh (RH) model. So in this paper, we develop a novel approach by combining fuzzy logical designing with Proximal Support Vector Machine Classifiers (PSVM) learning in the designing of large scale neural networks. Particularly, our approach can effectively simplify the designing process, which is crucial for both cognition science and neural science. At last, we conduct our approach on an artificial neural system with more than 108 neurons for haze-free task, and the experimental results show that texture features extracted by fuzzy logic can effectively increase the texture information entropy and improve the effect of haze-removing in some degree.
基金This work was supported by the National Natural Science Foundation of China (No.69785004) and the Science and Technology Fundin
文摘As an important variant of Relier's default logic, Poole (1988) developed a nonmonotonic reasoning framework in the classical first-order language. Brewka and Nebel extended Poole's approach in order to enable a representation of priorities between defaults. In this paper a general framework for default reasoning is presented, which can be viewed as a generalization of the three approaches above. It is proved that the syntax-independent default reasoning in this framework is identical to the general belief revision operation introduced by Zhang et al. (1997). This result provides a solution to the problem whether there is a correspondence between belief revision and default logic for the infinite case. As a by-product, an answer to the question, raised by Mankinson and Gardenfors (1991), is also given about whether there is a counterpart contraction in nonmonotonic logic.
文摘In this paper, a multi objective, multireservoir operation model is proposed using Genetic algorithm (GA) under fuzzy environment. A monthly Multi Objective Genetic Algorithm Fuzzy Optimization (MOGAFU-OPT) model for the present study is developed in ‘C’ Language. The GA parameters i.e. population size, number of generations, crossover probability, and mutation probability are decided based on optimized val-ues of fitness function. The GA operators adopted are stochastic remainder selection, one point crossover and binary mutation. Initially the model is run for maximization of irrigation releases. Then the model is run for maximization of hydropower production. These objectives are fuzzified by assuming a linear membership function. These fuzzified objectives are simultaneously maximized by defining level of satisfaction (?) and then maximizing it. This approach is applied to a multireservoir system in Godavari river sub basin in Ma-harashtra State, India. Problem is formulated with 4 reservoirs and a barrage. The optimal operation policy for maximization of irrigation releases, maximization of hydropower production and maximization of level of satisfaction is presented for existing demand in command area. This optimal operation policy so deter-mined is compared with the actual average operation policy for Jayakwadi Stage-I reservoir.
