An expert system for managing medical appropriateness criteria based on computer algebra techniques

Mathematical Problems in Engineering

Martínez-Zarzuelo

Fernández-Díaz

2020

The authors present a theoretical proposal for the organization of mathematical contents, more precisely to curricula development formalization and formal verification, inspired by knowledge engineering techniques. The situation addressed is the following: the starting point is a mathematical “official curriculum” (or part of it), not necessarily completely detailed. In our proposal, a group of experts would have to first build a detailed formulation of this curriculum (including the “prerequisite” relation between contents), which we will denominate “preprocessed official curriculum.” We detail how any “official curriculum development” could then be rigorously formalized and formally verified in a way inspired by rule-based expert system formal verification. We have defined the following terms: “contents soundness,” “contents completeness,” “relation soundness,” “relation completeness,” and “absence of cycles.” We believe that this is a completely new formalization within mathematics teaching theory that, once computer is implemented, would be very helpful. That would be the case, for instance, in countries where government sets the “official curricula” for Primary and Secondary Education and textbook contents have to be manually checked and approved by academic authorities: evaluators would “only” have to extract the textbook contents and set the “prerequisite” relation among them and let the computer do the rest.

Section: An Example Of the Importance Of Logic Verification Of Rbesmentioning

confidence: 99%

An Application of Knowledge Engineering to Mathematics Curricula Organization and Formal Verification

Mathematical Problems in Engineering

Martínez-Zarzuelo

Fernández-Díaz

2020

“…[20] is an interesting example in medicine (regarding techniques for coronary surgery), where we could find a situation that could lead to an inconsistency and was not taken into account by the panel of experts.…”

Section: Remark 7 Observe That Denotingmentioning

confidence: 99%

An algebraic approach to rule based expert systems

Rev. R. Acad. Cien. Serie A. Mat.

Laita

Hernando

et al. 2010

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. Una aproximación algebraica a los sistemas expertos basados en reglasResumen. Este artículo presenta una panorámica de la línea de investigación de los autores en extracción de conocimiento y verificación de Sistemas Expertos Basados en Reglas (RBES) usando motores de inferencia algebraicos y basada en la teoría de bases de Gröbner. Se presenta también una shell, que incluye una interfaz gráfica de usuario y motores de inferencia para distintas lógicas (tanto clásicas como modales multivaluadas) y en distintos sistemas de cómputo algebraico. La shell distingue tres niveles: en el más bajo proporcionamos el código del motor de inferencia para el sistema de cómputo algebraico elegido; en el intermedio el desarrollador del RBES tiene que detallar las reglas y las restricciones de integridad de un cierto RBES; y, finalmente, en el nivel superior, el usuario final trata con una sencilla interfaz gráfica de usuario, en la que puede llevar a cabo extracción de conocimiento o verificar el RBES, después de elegir la lógica y de introducir un conjunto consistente de hechos. Creemos que esta shell puede ser realmenteútil para la enseñanza y para el rápido diseño de RBES.

“…We had previously developed knowledge-based systems (KBS), whose underlying logic was Boolean or many-valued modal, for different tasks such as managing medical appropriateness criteria [2] and the early detection of illnesses [3][4][5]. In all cases we used computational techniques borrowed from computer algebra (Groebner bases) [6,7].…”

Section: Introductionmentioning

confidence: 99%

A portable knowledge-based system for car breakdown evaluation

Applied Mathematics and Computation

García

Aguilera–Venegas

2015

a b s t r a c tModern cars have many dashboard lights and not all drivers recognize or know the importance of all of them. Red symbols usually indicate a safety issue or a serious problem, meanwhile yellow symbols use to indicate a not so urgent problem. Green and blue symbols usually provide information about the systems connected. But not all the red icons require of the same action, and the user manuals of most modern cars, with their sophisticated electronic systems, have hundreds of pages. Meanwhile, smart devices have become popular and have an outstanding computing power plus Internet connection. Consequently, the conditions for developing a knowledge-based system that helped the unaware driver in case a dashboard light went on, exist. The application should evaluate the situation and recommend the best actions to be carried out by the driver (regarding the possible repair on site or at a workshop, its urgency or even the need to immobilize the vehicle immediately). We have designed such a knowledge-based system and have developed a simplified one as example. A friendly Graphical User Interface has been developed in order to ease the communication with the application and its use in remote using any smart device with Internet connection.