Abstract | ||
---|---|---|
The motivation of this work is the im- provement of the classical input/output expert sys- tems behaviour. In an uncertain reasoning context this behaviour consists of just getting certainty values for propositions. Instead, the answer of an expert sys- tem will be a set of formulas: a set of propositions and a set of specialised rules containing unknown propo- sitions in their left part. This type of behaviour is much more informative than the classical one because gives to users not only the answer to a query but all the relevant information to improve the solution. A family of propositional rule-based languages founded on multiple-valued logics is presented and formalised. The deductive system dened on top of it is based on a Specialisation Inference Rule (SIR): (A1^A2:::^An ! P; V ); (A1; V 0) ' (A2 ^ : : : ^ An ! P; V 00), where V , V 0 and V 00 are uncertainty intervals. This inference rule provides a way of obtaining rules containing un- known conditions in their premise as the result of the deductive process. The soundness and literal com- pleteness of the deductive system are proved. The implementation of this deductive calculus is based on techniques of partial evaluation. Moreover, the spe- cialisation mechanism provides an interesting way of validating knowledge bases. Keywords: Partial Eval- uation, Expert Systems, Multiple-valued Logic. |
Year | Venue | Keywords |
---|---|---|
1992 | ECAI | expert systems communication,specialisation calculus,knowledge base,expert system,input output,inference rule,partial evaluation,rule based |
DocType | ISBN | Citations |
Conference | 0-471-93608-1 | 9 |
PageRank | References | Authors |
0.94 | 5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Josep Puyol-Gruart | 1 | 78 | 10.36 |
Lluís Godo | 2 | 888 | 56.28 |
Carles Sierra | 3 | 5101 | 454.99 |