Paper Info
Title
Specialisation calculus and communication
Abstract
In this paper we propose a deductive calculus aiming at improving the query/simple-answer communication behaviour of many intelligent systems. In an uncertain reasoning context this behaviour consists of getting certainty values for propositions as answers to queries. Instead, with our calculus, answers to queries will become sets of formulas: a set of propositions and a set of specialised rules containing propositions for which the truth value is unknown in their left part. This type of behaviour is much more informative because it returns to users not only the answer to a query but all the relevant information, related to the answer, necessary to, possibly, improve the solution. To exemplify the general approach a family of propositional rule-based languages founded on multiple-valued logics is presented and formalised. The deductive system defined on top of these languages is based on a Specialisation Inference Rule (SIR): (A1 ∧ A2 ∧ … ∧ An → P, V), (A1, V′) ≒ (A2 ∧ … ∧ An → P, V″), where V, V′ and V″ are truth intervals. This inference rule provides a way of generating rules containing less conditions in their premise by eliminating the conditions for which a definitive truth value already exists. The soundness and atom completeness of the deductive system are proved. The implementation of this deductive calculus is based on partial deduction techniques. Finally, an example of the application of the specialisation calculus to a multi-agent system is provided.
Year
DOI
Venue
1998
10.1016/S0888-613X(97)10006-8
International Journal of Approximate Reasoning
Keywords
Field
DocType
Partial deduction,Multi-agent system,Multiple-valued logic
Discrete mathematics,Certainty,Intelligent decision support system,Truth value,Multi-agent system,Premise,Soundness,Rule of inference,Completeness (statistics),Calculus,Mathematics
Journal
Volume
Issue
ISSN
18
1-2
0888-613X
Citations 
PageRank 
References 
8
0.70
12
Authors
3
Name
Order
Citations
PageRank
Josep Puyol-Gruart17810.36
Lluís Godo288856.28
Carles Sierra35101454.99