Our main goal is to model real world problems, especially in the domain of medicine or biology. Thanks to large interaction with experts we have created Milord, a language and a tool for Expert Systems.

The main characteristics of Milord are:

  • Modular language. Modules are subsystems specialised in parts of a whole problem. Modular decomposition facilitates users to program in the large dealing with the programming and validation of smaller problems. Each module contains its own object-level (facts, rules) and meta-level (meta-rules).
  • Rule-based system. Propositional rules are a good knowledge representation for users without programming skills. This formalism facilitates the interaction among experts and knowledge engineers.
  • Approximate reasoning capabilities. Uncertainty and imprecision are inherent to real world problems. The object-level of a module is based on a particular many-valued logic of linguistic terms.
  • Complex reasoning. Control is based on reflection techniques over a meta-language (Horn-like rules) equipped with a declarative backtracking mechanism tackling the problem of knowledge incompleteness.

The applications that we have developed with Milord have constituted a precious feedback to improve our language, for instance in the domains of diagnosis and treatment of pneumonia, reumathology or classification of marina sponges.

Proyecto de apoyo tecnológico "DAY2DAY"

Initial/final date: 
15 June 2010 to 31 January 2011
Main researcher: 
Project type: 
Otros
Description: 
Research line: 
Expert Systems
Acronym: 
DAY2DAY
In collaboration with: 
Day2Day Solutions S.L.

Specification of Parallel Expert Systems

Initial/final date: 
01 January 1989 to 31 December 1991
Main researcher: 
Project type: 
-
Funding Entity: 
CICYT Project 880j382
Description: 
Funding Amount (€): 
0.00
Research line: 
Expert Systems
Acronym: 
SPES

Theory and Development of Distributed Expert Systems. Medical Applications

Initial/final date: 
06 August 1991 to 05 August 1994
Project researchers: 
Main researcher: 
Project type: 
-
Funding Entity: 
CICYT-TIC91-0430
Description: 
Funding Amount (€): 
0.00
Research line: 
Expert Systems
Acronym: 
TESEU

Reflective Architecture: Logical Foundations and Applications

Initial/final date: 
05 June 1992 to 04 June 1995
Main researcher: 
Project type: 
-
Funding Entity: 
CICYT-TIC92-0579-C02-01
Description: 
Funding Amount (€): 
0.00
Research line: 
Expert Systems
Acronym: 
ARREL

Sistemas Multi-agente y su aplicación en servicios hospitalarios

Initial/final date: 
01 August 1996 to 31 July 2001
Main researcher: 
Project type: 
-
Funding Entity: 
TIC96-1038-C04-01
Description: 
Funding Amount (€): 
0.00
Research line: 
Expert Systems
Acronym: 
Smash