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.