The purpose of this article is to describe a computational system for automated diagnosis of depression. It has a user interface, which allows non-specialists in mathematics and computer science to ...obtain automatically a fast diagnosis of the illness by simply pointing at keys in the computer screens. It can be used by family doctors to obtain a tentative diagnosis before sending the patient to a specialist. It can also be useful to specialists who want to compare their own diagnoses with those given by the computer.
The caregiver role strain is today an increasing problem because of the population aging; moreover, its diagnosis is highly difficult. In this article, we summarize the design of an Expert System for ...the diagnosis of this health problem. The Expert System Knowledge Base is composed by a set of production rules written in classic bi-valued logic and by a set of potential facts. In order to build this Knowledge Base it has been necessary to design previously a Model of the problem treatment. The Expert System Inference Engine uses Gröbner Bases and Normal Form to obtain the diagnosis from the information stored in the Knowledge Base. Furthermore, a Graphic User’s Interface has been implemented to make easier the access to the System by all kinds of users.
We describe in this paper a methodology for the construction of a knowledge base system for diagnosis of the Parkinson disease, by translating entailment problems into ideal membership problems in ...polynomials rings. Reasoning is achieved by the assistance of a Computer Algebra Systems (CAS). An ontology editor is used not only to model knowledge but also as an aid tool to be used by the experts for management and choice the most suitable, among several medical criteria.
This paper is concerned with a polynomial model (residue class ring) for a given
q
-valued propositional logic (where
q
is a power of a prime integer). This model allows to transfer logic problems ...into algebraic terms, resulting in an immediate computational approach to Knowledge Based Systems based on multi-valued logics. By means of this new approach, we have extended an already existent algebraic model to logics with a prime power number of truth values, while also getting more straightforward proofs and a more direct enunciation of the central theorem of this model.
In this paper, we present an Expert System dealing with the diagnosis of fibromyalgia. Being fibromyalgia a very hard illness to diagnose, we think that our system may be useful for non-specialists ...(like family doctors) or specialists that would like to compare their own diagnoses with the one provided by our system. Our system has the peculiarity of being based on a previous mathematical result which lets us transform the problem of diagnosing this illness into an algebraic problem. Consequently our system is implemented in a computer algebra system. In this paper, we will describe the components of our system: a “Knowledge Base” based on studies on medicine and the knowledge of experts on fibromyalgia; an “Inference Engine” responsible of the knowledge extraction and consistency checking; and a “Graphic User’s Interface” which lets users operate with our system.
The aim of this paper is to present theoretically a new algebraic method for detecting
potentially
dangerous states in a Rule Based Expert System whose knowledge is represented by propositional ...Boolean logic. Given a dangerous state which does not happen at present, our method is able to detect a possible input fact such that, if it also occurred, the dangerous situation really would happen. This method, inspired by automatic discovery of geometric theorems, is based on calculating just one reduced Groebner basis of a polynomial ideal representing the system’s knowledge. An implementation in the computer algebra system
Maple
is included.
An algebraic approach to rule based expert systems Roanes-Lozano, Eugenio; Laita, Luis M.; Hernando, Antonio ...
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A, Matemáticas,
03/2010, Letnik:
104, Številka:
1
Journal Article
Recenzirano
Odprti dostop
This article presents a survey of the authors' research on knowledge extraction and verification of Rule Based Expert Systems (RBES) using algebraic inference engines and based on Gröbner bases ...theory. A shell, including a graphic user interface and inference engines for different logics (both classic and modal multi-valued) as well as in different computer algebra systems, is also presented here. The shell distinguishes three levels: at the lower level, we provIDe the computer algebra system code of the algebraic inference engines; at the intermediate level, the RBES developer has to detail the rules and integrity constraints of a certain RBES; and, finally, at the upper level, the final user deals with a simple GUI, where he can perform knowledge extraction or verify the RBES, after choosing the logic and inputing a consistent set of facts. We believe that this shell can be really useful for teaching and quick RBES design.
Anorexia is a serious condition which more and more men and women, especially young women, are contracting. In this article, we propose an expert system for the diagnosis of anorexia. The ‘knowledge ...base’ of the expert system is a set of bivalued logic production rules. The inference engine uses Gröbner bases and normal forms to draw consequences from the information contained in the knowledge base. A user interface is also provided.
The big computer algebra systems like
Maple
are no longer restricted to symbolic computations, but are becoming general purpose tools for engineers, mathematicians, and scientists instead. We have ...worked for a long time with many-valued logics and we believe that a flexible and comfortable tool that allowed to perform logical computations (for instance, to explore properties) in any existing or proposed many-valued logic with any notation for the truth values of the logic, could be very useful and time-saving. Therefore we have implemented such an extension of
Maple
that goes beyond
Maple
’s
logic
package and also beyond some previous implementations of these authors included with the
Derive
and
Macsyma
distributions some years ago. The logical connectives can be defined both using truth tables or in a functional way.
Railway interlocking systems are apparatuses that prevent conflicting movements of trains through an arrangement of tracks. A railway interlocking system takes into consideration the position of the ...switches (of the turnouts) and does not allow trains to be given clear signals unless the routes to be used by the trains do not intersect. A new model, based on Boolean Logic, and independent from the topology of the station is presented in this paper. According to this new model, any given proposed situation is safe if and only if a certain set of formulae (translating the position of trains and the movements allowed – the latter depend on the position of the switches and the colour of the semaphores) is consistent. The main procedure analyses the safety of a proposed situation and returns, if they exist, the sections where a collision could take place. The fact that trains could occupy more than one section is considered. The code of the corresponding
Maple implementation is surprisingly brief.