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.
With the extensive use of computer and the rapid development of information technology, how to seek for useful knowledge from massive data becomes a difficult problem of knowledge service. According to knowledge reasoning of massive information, this paper adopts Rough Set Theory and proposes a knowledge reasoning model. The domain ontology is constructed, from whose properties the Rough Set decision...
Qualitative reasoning uses incomplete knowledge to compute a description of the possible behaviors for dynamic systems. For standard QSIM algorithm frequently results in a large number of incomprehensible behavioral descriptions and the simulation for complex systems frequently is intractable, model decomposition methods are used to decompose the complex system model into simple sub-models. Qualitative...
Based on the structural complexity of command automation system, starting from command automation system itself and the relationship between system and its environment, survivability analysis of command automation system is divided into three sub-problems of system services, external environment and model construction to be analyzed respectively. Therefore, it simplifies the complexity of the problem...
The planning of design task based on knowledge reasoning has been proposed in this paper through the expression of design rule. Considering the characteristics of hot runner system, concept design procedure of hot runner has been sketched, concept design plan has been analyzed through the function decomposition of hot runner system to build space model of concept design, and finally to establish hot...
In the uncertain reasoning domain, there are many methods to process uncertain reasoning. One of them is CF model analysis; it has achieved a good applying from the MYCIN system. But there are also some problems in the using of this theory, for example, It's susceptible to negative evidence and even it may fully negate the effect taken by core evidence due to unimportant negative evidence. So in this...
Metareasoning is defined as the application of reasoning techniques to the process of reasoning itself. As such, it is not immediately concerned with the particular domain of an application, but with the decision processes and knowledge representations that provide the application functionality. A primary reason to perform metareasoning is the desire to reflect on the application's performance and...
In order to describe PKI/WPKI trust models with greater precision, a predicate-based improved approach on modeling and reasoning about PKI/WPKI is proposed. By analyzing new practices such as certificate-type, certificate and organization of CA, security-risks of key-holder, web-based trust model and WAP-based trust model, six predicates are defined, nine inference rules are deduced and a four-step...
Safety assessment of dependable systems is a complex verification task that is desirable to be explicitly incorporated into the development cycle during the very early stages of a project. The main reason is that the cost to correct a safety error at the late stages of system development is excessively high. Towards this aim, we introduce an ontology-based model-driven engineering process for automating...
The essential abilities of text knowledge representation, such as automatic construction, carrying abundant semantics and flexible reasoning, should be held due to the rapid growth of web resources and the requirements of the reasoning-based web services. However, current text knowledge representation models either lose many textual semantics or cannot be constructed automatically. To solve the above...
Causal inference is one of the central capabilities of the natural intelligence that plays a crucial role in thought, perception, reasoning, and problem solving. This paper presents a set of cognitive models for causation analyses and causal inferences. The taxonomy and mathematical models of causations are created. The framework and properties of causal inferences are elaborated. Methodologies for...
The 3D topological relationship model of laneways is the basis of spatial analysis of generation, ventilation, transport, disaster modeling, etc. Based on analyzing the characteristic of traverse data, the laneways can be regarded as a line-domain network, and the 3D laneway topological model can be represented by 3D topological network graph. The method of spatial relationship reasoning is used to...
Nowadays configuration parameters about network and service in intelligent terminals are getting more complex. Faults and security risks in the terminal are increasing. These have become key holdbacks for usage of services. So it is necessary to manage the terminals to keep them normal and promote satisfaction from customer. OMA and 3GPP have done researches about management of terminals. But there...
In order to coordinate with and promote the scientific process of the national fencing team, we developed the decision support system for training. In fencing training, we established a two-way reasoning model based on Bayesian network and found the relationship between training process and physiological indicators. Combined with experienced knowledge and sample data, we did research on knowledge...
Product configuration is a major industrial application domain for constraint satisfaction techniques. Conditional constraint satisfaction problems (CCSPs) have been developed to represent configuration problems in a natural way. CCSPs are like constraint satisfaction problems (CSPs), but they may also include potential variables, which might or might not exist in any given solution, as well as classical...
An approach is presented to show how contents can be created through an inter-play between the ontology of their key segments and the ontology of problem context using the knowledge on some nominal values which stand for the way linguistically-significant notions are tackled. The approach seems to be suitable for any kind of organizational task for which these nominal values can be defined in a reasonable...
In this paper, we introduce the scheme to construct numerical estimate (with possible further verbal assessment) in reference to structural complexity ??(K) of system's model in the form of simplicial complex(-es) K. The approach uses the notion of feature vectors meant for obtaining aforesaid ??(K) based on proximity measures. Additional examination of aspects related to the way humans percept, represent...
With the online learning appears diversity and complexity, analyzing the behavior of online learning is significance. In this paper, we introduce Jena, the semantic development and reasoning tool, which can use internal reasoners, import external reasoners and define new rules to complete the key steps of the Semantic analysis. We used Jena to create and to update ontology model, to reason and to...
Resource Space Model (RSM) is a semantic data model for specifying, storing, managing and locating Web resources by appropriately classifying the contents of resources. Semantic Link Network (SLN) was designed to establish semantic relationships among various resources aiming at extending the hyperlink network World Wide Web to a semantic-rich network. For locating and analyzing the relationships...
An improved HAZOP modeling and reasoning approach for machine safety assessment based on fuzzy information fusion is proposed in this paper to solve the problems of the quantitative information loss and the safety decision making difficulty in mechanical system existing multihazard sources. HAZOP graph analysis model is established to extract the interaction information among components and elements...
Decision-making model management is the key to success and practicality of decision-making support system. Model selection plays an important role in model management as foundation. Expert system theory is adopted to model selection. Model selection knowledge is obtained for each node of model classification tree, represented by architecture and production rules. Model selection knowledge tree is...
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.