Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
The objective of expert systems is the use of Artificial Intelligence tools so as to solve problems within specific prefixed applications. Even when such systems are widely applied...
- This paper surveys a number of well-known expert systems in the domain of finance. The idea is to illustrate the span of typical expert systems in finance and to provide an insig...
The acceptability and effectiveness of an expert system is critically dependent on its user interface. Natural language could be a well-suited communicative medium; however, curre...
A formal equivalence between propositional expert systems and decision tables is proved, and a practicable procedure given to perform the transformation between propositional expe...
The paper is devoted to the problems of using the algorithms in expert systems of choice in the investment projects; singularities of such algorithms and their functioning in diff...
A. Ya. Kuziomin, A. O. Havrilov, Vladimir Drobynsk...
The paper discusses information and knowledge as the primary factors conditioning the efficiency of decision taking processes. Business Intelligence systems and Expert Systems are...
In this work we present the usage of semantic web knowledge representation formalism (OWL) in combination with general purpose reasoning for building a medical expert system. The a...
This paper provides a general and comprehensive approach to implementing misuse detection on expert systems and an in-depth analysis of the effectiveness of the optimization strat...