English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/162499
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:

Specialisation calculus and communication

AutorPuyol-Gruart, Josep ; Godo, Lluis ; Sierra, Carles
Palabras clavePartial deduction
Multiple-valued logic
Multi-agent system
Fecha de publicación1998
CitaciónInternational Journal of Approximate Reasoning 18: 107- 130 (1998)
ResumenIn 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. © 1998 Elsevier Science Inc.
Identificadoresdoi: 10.1016/S0888-613X(97)10006-8
issn: 0888-613X
Aparece en las colecciones: (IIIA) Artículos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
IJAR1998_(18)107-30.pdf320,6 kBAdobe PDFVista previa
Mostrar el registro completo

Artículos relacionados:

NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.