Amb el suport de la CIRIT de la Generalitat de Catalunya i l'ajut 1503/02 de la CAICYT

Aquest report desenvolupa les dues vessants principals en el camp de l'enginyeria de coneixements i una metodologia per a l'adquisició de l'expertesa i el disseny i implementació de diversos motors d'interferència. La primera part reporta la metodologia d'adquisició de coneixements basada en l'anàlisi lògica d'inferències subjectives (ALIS) i les tècniques de validació i refinament de bases de coneixements. en la segona part s'exposa el desenvolupament d'un paquet de tres motors d'inferència basats en lògiques de raonament difús (MILORD). Aquest paquet consta d'un motor d'encadenament endevant enrera, un d'encadenament enrera, i un motor amb el control basat en quatre criteris de selecció. Així mateix es descriu una tècnica de prospecció sobre el graf de regles i el mòdul de comunicació amb l'usuari d'explicació del raonament.

This work develops the principal lines on knowledge engineering: firts a methodology for expertice acquisition and second, the design and implementation of several inference engines. In the first part we report the methodology for knowledge acquisition based on subjective inferences logical analysis (ALIS) and the validation and refinement techniques of knowledge bases. In the second part we explain the development of a set of inference engines based on fuzzy logic reasoning (MILORD). This set contains an engine with forward chaining, one with backward chaining, and other with control based on four selection criteria. Also we describe a prospection technique into a graph formed by the set of rules, and a communication modul which includes the explanations of the followed reasoning paths to the user.