The Intellectual Training Environment for Prolog Programming Language

In this work is described a new complex training system, named SPprolog, intended for training and self-training in logic programming language - Prolog. This system includes elements related to Prolog and logic programming, and the elements of independent, complex, self-sufficient training system which is capable considerably to increase the quality of self-training, and to be effective assistant in training. The most useful application of the system can be in distance education and self-training. The main elements of SPprolog system are: Functionally expanded (in comparison with existing systems) Prolog development environment, with the multipurpose code editor, the automated organization system of the personal tools, automated advice mode "Expert Advice", based on the incorporated expert system for cultivated, effective and optimized programming; Link to foreign Prolog programs compiler which allow to compile the program to independent executable; Built in intellectual, interactive, multimedia Prolog interpreter integrated with expert system and the elements of the intellectuality, allowing to lead detailed program interpretation, with popular and evident, explanation of the theory and mechanisms used in it, applying audiovisual effects to increase the level of naturalness of process of explanation; Full digital training course of Prolog programming language presented in the form of the matrix of knowledge and supplied system of consecutive knowledge reproduction for self-training and evaluation; an intensive course of training to the Prolog language and Spprolog system, based on the programmed, consecutive set of actions, allowing using the previous two mechanisms of sys-tem for popular and evident explanation of the main principles of work of system and Prolog language.training, prolog, environment, Spprolog

Designing intelligent computer‐based simulations: A pragmatic approach

This paper examines the design of intelligent multimedia simulations. A case study is presented which uses an approach based in part on intelligent tutoring system design to integrate formative assessment into the learning of clinical decision‐making skills for nursing students. The approach advocated uses a modular design with an integrated intelligent agent within a multimedia simulation. The application was created using an object‐orientated programming language for the multimedia interface (Delphi) and a logic‐based interpreted language (Prolog) to create an expert assessment system. Domain knowledge is also encoded in a Windows help file reducing some of the complexity of the expert system. This approach offers a method for simplifying the production of an intelligent simulation system. The problems developing intelligent tutoring systems are examined and an argument is made for a practical approach to developing intelligent multimedia simulation systems

SISTEMA BASADO EN INTELIGENCIA ARTIFICIAL PARA EL DIAGNÓSTICO SOBRE TIPOS DE CÓLICOS EN EQUINOS DESARROLLADO EN PROLOG

ResumenEn este artículo se presenta un Sistema Experto Determinista para el diagnóstico de enfermedades de cólicos en equinos, usando como referencia una base de datos del repositorio de UCI [1] llamada Horse Colic Database. El Sistema Experto está programado en PROLOG [4]. Este software trabaja con predicados y permite que el sistema se base en reglas de producción. El sistema experto es una herramienta para veterinarios o dueños de caballos, por la cercanía que tienen directamente con ellos y sin problema alguno puedan determinar el tipo de cólicos que se presenta en el caballo.Palabras Clave: Equinos, sistema experto, Prolog, cólicos, reglas de producción. AbstractThis article presents a Deterministic Expert System for diagnosing diseases of colic in horses, using as a reference a database UCI repository [1] called Horse Colic Database. The Expert System is programmed in Prolog [4]. This software works with predicates and allows the system based on production rules. The expert system is a tool for veterinarians and horse owners, the proximity with them directly and without any problems can determine the type of cramping that occurs on the horse.Keywords: Equines, expert system, Prolog, colic, productión rules

EcoHomeHelper: An Expert System to Empower End-Users in Climate Change Action

Climate change has been a popular topic for a number of years now. Computer Science has contributed to aiding humanity in reducing energy requirements and consequently global warming. Much of this work is through calculators which determine a user's carbon footprint. However there are no expert systems which can offer advice in an efficient and time saving way. There are many publications which do offer advice on reducing greenhouse gas (GHG) emissions but to find the advice the reader seeks will involve reading a lot of irrelevant material. This work built an expert system (which we call EcoHomeHelper) and attempted to show that it is useful in changing people's behaviour with respect to their GHG emissions and that they will be able to find the information in a more efficient manner. Twelve participants were used. Seven of which used the program and five who read and attempted to find advice by reading from a list. The application itself has current implementations and the concept further developed, has applications for the future.Comment: Contains links to the actual thesis on this topi

Representing the Process of Machine Tool Calibration in First-order Logic

Machine tool calibration requires a wide range of measurement techniques that can be carried out in many different sequences. Planning a machine tool calibration is typically performed by a subject expert with a great understanding of International standards and industrial best-practice guides. However, it is often the case that the planned sequence of measurements is not the optimal. Therefore, in an attempt to improve the process, intelligent computing methods can be designed for plan suggestion. As a starting point, this paper presents a way of converting expert knowledge into first-order logic that can be expressed in the PROLOG language. It then shows how queries can be executed against the logic to construct a knowledge-base of all the different measurements that can be performed during machine tool calibration