ion Domain layer Inference layer Task layer Strategy layer Figure 2: Degree of abstraction theoretical view When comparing the layers according to degree of abstraction, the above ordering suggests the idea of Fig. 2. However, the design of the strategy layer is, in practice, tightly bound with the problem domain, and can be viewed as more specific than the inference and task layers. Fig. 3 is ...

changes in credit risk may arise when either the value or the risk of corporate assets changes. changes in the equity value associated with the changes in the asset value and changes in asset risk can be characterized into potentially countervailing direct and indirect effects. the indirect effect of risk on equity value is a function of factors that affect the debt value of including leverage,...

This paper presents a bidirectional inference algorithm for sequence labeling problems such as part-of-speech tagging, named entity recognition and text chunking. The algorithm can enumerate all possible decomposition structures and find the highest probability sequence together with the corresponding decomposition structure in polynomial time. We also present an efficient decoding algorithm ba...

This project is a part of nature language processing and its aims to develop a system of recognition inference text-appointed TIMINF. This type of system can detect, given two portions of text, if a text is semantically deducted from the other. We focused on making the inference time in this type of system. For that we have built and analyzed a body built from questions collected through the we...

Gaussian process (GP) models are nowadays considered among the standard tools in modern control system engineering. They are routinely used for model-based control, timeseries prediction, modelling and estimation in engineering applications. While the underlying theory is completely in line with the principles of Bayesian inference, in practice this property is lost due to approximation steps i...

We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to prevent paramodulation into subterms of Skolem expressions. A weak completeness result is presented (the functional reflexive axioms are assumed). Experimental results on problems in set theory, combinatory logic, Tars...

This report presents a generalized design strategy of intelligent robust control systems based on quantum/soft computing technologies that enhance robustness of fuzzy controllers by supplying its a selforganizing capability. It is demonstrated that fuzzy controllers prepared to maintain control objects in the prescribed conditions are often fail to control when such a conditions are dramaticall...