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.
An approach is proposed to reasoning problems based on Petri nets (PNs). First, a method is presented modeling a world by describing Boolean variables as PN loops. Second, an algorithm is introduced to rearrange inference rules as conjunctive normal forms (CNFs), and, in turn, CNFs are transformed into linear constraints. Consequently, a knowledge base system (KBS) PN is obtained by designing monitor...
In multiple attribute decision analysis (MADA) problems, one often needs to deal with assessment information with uncertainty. The evidential reasoning approach is one of the most effective methods to deal with such MADA problems. As a kernel of the evidential reasoning approach, an original evidential reasoning (ER) algorithm was firstly proposed by Yang et al, and later they modified the ER algorithm...
This paper aims to develop a novel fault detection and diagnosis (FDD) method based on Bayesian network (BN). Firstly, the structure of BN is constructed according to the fault feature, which can be obtained from K2 algorithm and expertise. Then, corresponding parameters of BN are derived from dataset and expertise. Secondly, junction tree algorithm reasoning is provided. Finally, a framework of BN...
The Dempster-Shafer evidence combination method will appear inconsistent conclusions for the conflict evidence. One new universal evidence combination method was proposed. According to the concept of the Pearson correlation coefficient. Evidence distances which represent the conflict degree were calculated, and then the weight coefficient were further converted. The evidences probability were redistributed...
Disease cost estimation is an important and challenging issue. It serves as the key factor of hospital cost and cost control. It has been a challenge to estimate the disease cost because of the complexity of the disease pathology, individual differences of treatment process, adverse drug reaction, and complications. Especially in some high risk and high noise diseases there is another challenge from...
Many real-world applications are complex, involving many user "choices", such as different functionalities, different ways to achieve a goal, etc. Conventional automated service composition models do not consider such potential choices, or simply consider them independently. Also, existing service composition models do not model exceptions and automated composition approaches require that...
NLCP - The Natural Language Compiler - is a new programming environment, which features a strong type system and support for a natural language interface. Additionally, it provides an interactive interpreter that can assist in the process of designing an algorithm. This is achieved by allowing the user to embed information about the objectives of algorithms within the type system. We provide an overview...
Case-Similarity Computation is an important process of the case-based reasoning (CBR). In this paper, we extended the CBR to anti-missile operation, and proposed a novel method of the anti-missile case similarity computation. Combining the characteristics of the anti-missile operation, we designed six kinds of algorithms corresponding to six attributes and improved the algorithms of margin attribute...
We consider the problem of generating interpretable recommendations by identifying overlapping co-clusters of clients and products, based only on positive or implicit feedback. Our approach is applicable on very large datasets because it exhibits almost linear complexity in the input examples and the number of co-clusters. We show, both on real industrial data and on publicly available datasets, that...
In order to make the circuit fault diagnosis system more intelligent, efficient. IsDS decision algorithm is presented based on the process of model-based diagnosis. Model-based circuit fault diagnosis system is designed and realized with SAT solvers by means of applying IsDS decision algorithm and combining CSSE-tree method. Firstly the normal behavior, system mo del and obtained observations are...
In recent years, big data has become an important resource of the information society, and the focus of research in all walks of life is to extract the effective information from big data with the greatest possibility. On the other hand, with the increase of the complexity of network data, the problem of cyber security becomes more and more serious. Protocol identification technology is an effective...
In order to answer effectively on behalf of humans in a DeepQA environment, such as the American quiz show Jeopardy (http://www.jeopardy.com), the computer is required to have the capability of fast temporal and spatial reasoning on a large-scale commonsense knowledge base. Many existing spatial reasoners share a common limitation in that they do not contain conversion rules between the directional...
Compiler optimizations discover facts about program behavior by querying static analysis. However, developing or extending precise analysis is difficult. Some prior works implement analysis with a single algorithm, but the algorithm becomes more complex as it is extended for greater precision. Other works achieve modularity by implementing several simple algorithms and trivially composing them to...
Cognitive radio (CR) is considered as a key enabling technology for dynamic spectrum access to improve spectrum efficiency. Although the CR concept was invented with the core idea of realizing "cognition", the research on measuring CR cognition capabilities and intelligence is largely open. Deriving the intelligence capabilities of CR not only can lead to the development of new CR technologies,...
Routing is an essential stage in physical design, where already placed components are connected by wires. Routing must satisfy various manufacturing requirements, referred to as design rules. We formalize the problem of design-rule-aware routing and introduce a solver, called DRouter, for the resulting problem. Plain routing is often modeled as follows: given an undirected weighted graph and a set...
IC3 and k-induction are commonly used in automated analysis of infinite-state systems. We present a reformulation of IC3 that separates reachability checking from induction reasoning. This makes the algorithm more modular, and allows us to integrate IC3 and k-induction. We call this new method property-directed k-induction (PD-KIND). We show that k-induction is more powerful than regular induction,...
Trends in novel manufacturing systems lead to an increased level of data availability and smart usage of these data. Nowadays, many approaches are available to use the data, but because of an increased flexibility of the systems the interaction between machines and humans has become a challenge. Humans have to browse through a huge amount of data, need knowledge about the machine and underlying algorithms...
As the size of data table grows, the concepts generated become larger in number. Making sure the set of extent remaining unchanged, the purpose of attribute reduction of concept lattice is to find out minimum subsets of attributes and make knowledge presented by concept lattice simpler, decision problem simplified as well. This paper introduced the definition of introducer which was minimum closure...
Crime investigators heavily rely on their largeknowledge of criminal behavior. When investigating a new case, applying this knowledge can lead to cognitive overload andtunnel vision. Some support systems are developed to searchthrough historical data and knowledge more easily, but stillrequire the investigator to put all the pieces together and ask theright question. In this paper we present QUIN,...
Temporal reasoning is one of the cognitive capabilities humans involve in communicating with others and everything appears related because of temporal reference. Therefore, in this paper a geometric dynamic temporal reasoning algorithm is proposed to solve the temporal reasoning problem, especially in autonomous planning and scheduling. This method is based on the representation of actions in a two...
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.