The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Mathematical theorems are human knowledge able to be accumulated in the form of symbolic representation, and proving theorems has been considered intelligent behavior. Based on the BHK interpretation and the Curry-Howard isomorphism, proof assistants, software capable of interacting with human for constructing formal proofs, have been developed in the past several decades. Since proofs can be considered...
As a kind of reasoning technique of artificial intelligence, case-based reasoning (CBR) has been successfully applied in many engineering field. Similar case retrieval is a key technology in CBR system. In order to improve the case retrieval efficiency, a case reasoning model based on gray relation and synthesize weight was proposed, applying the gray relational analysis in case reasoning and combining...
It is necessary to analyze the demand for emergency materials before establishing a regional reserve system of emergency materials. In this paper, emergency materials are classified according to its use value and characteristics. The reasoning framework of the analysis of demand for emergency materials is constructed. The assessment method of emergent events is discussed by using fuzzy evidence theory,...
The social cognitive optimization algorithm is one of the newest intelligent algorithms, and this algorithm can help the solvers to avoid tripping in local optimization when solving the nonlinear constraint problems effectively. The algorithm is based on the social cognitive theory and the key point of the ergodicity is the process of refreshing the knowledge points. Modified and optimized the conditions...
A method is presented to compensate non-linearity of pressure transducer using non-linearity compensation model founded by HGA-RBFNN (hierarchical genetic algorithm RBF neural network). The principle and training method of neural networks are introduced. In this method, the configuration and parameters of non-linearity compensation model are optimized by HGA. The experimental results show that the...
To solve the Web service composition estimation problem (SCEP), first of all, we proposed a three-level model for SCEP, and gave the mapping way between situation theory and BPEL4WS. In this way, we can take advantage of situation calculus to describe service composition workflow. Golog was also introduced to carry out the reasoning of service composition based on situation theory. Finally, experiments...
In this paper, Web Service composition completeness estimation problem (SCEP) was proposed so as to prognosticate whether services can be successfully composed ahead of time. To solve the problem, first of all, we proposed a three-level model for SCEP, and gave the mapping way between situation theory and BPEL4WS. In this way, we can take advantage of situation calculus to describe service composition...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.