×

Specialisation calculus and communication. (English) Zbl 0937.03042

Summary: 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): \((A_1\wedge A_2\wedge\cdots\wedge A_n\to P,V), (A_1,V')\vdash (A_2\wedge\cdots\wedge A_n\to 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.

MSC:

03B70 Logic in computer science
68T27 Logic in artificial intelligence
68T37 Reasoning under uncertainty in the context of artificial intelligence
03B50 Many-valued logic
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Agustí, J.; Esteva, F.; Garcia, P.; Godo, L.; de Mántaras, Ramón López; Puyol, J.; Sierra, C.; Murgui, L., Structured local fuzzy logics in Milord, (Fuzzy Logic for the Management of Uncertainty (1992), Wiley: Wiley New York), 523-551
[2] Beyssade, Claire; Enjalbert, Patrice; Lefevre, Claire, Cooperating logical agents, (Wooldridge, Michael; Müller, Jörg P.; Tambe, Milind, Intelligent Agents II, vol. 1037 of Lecture Notes in Artificial Intelligence (1996), Springer: Springer Berlin), 299-314
[3] Davies, Winton; Edwards, Peter, The communication of inductive inferences, (Weiß, Gerhard, Distributed Artificial Intelligence Meets Machine Learning, vol. 1221 of Lecture Notes in Artificial Intelligence (1997), Springer: Springer Berlin), 223-241
[4] Demolombe, Robert, Strategies for the computation of conditional answers, (Proceedings of the Workshop on Partial Deduction, Partial Evaluation and Intelligent Reasoning, ECAI’90 (1990)), 5-23
[5] Gallagher, J., Transforming logic programming by specialising interpreters, (Proceedings ECAI’86 (1986)), 109-122
[6] Gottwald, S., Mehrwertige Logik (1988), Akademie-Verlag: Akademie-Verlag Berlin
[7] Gottwald, S., Fuzzy Sets and Fuzzy Logic (1993), Vieweg: Vieweg Braunschweig
[8] P. Hájek. Metamathematics of fuzzy logic (book in preparation).; P. Hájek. Metamathematics of fuzzy logic (book in preparation).
[9] Hájek, P., Fuzzy logic from the logical point of view, (Bartošek, M.; Staudek, J.; Wiedermann, J., SOFSEM’95: Theory and practice of informatics, vol. 1012 of Lecture Notes in Computer Science (1995), Springer: Springer Milovy, Czech Republic), 31-49
[10] Kleene, S. C., Introduction to Metamathematics (1952), Van Nostrand: Van Nostrand Princeton, NJ · Zbl 0047.00703
[11] Komorowski, H. J., A specification of an abstract Prolog machine and its application to partial evaluation, (Ph.D. Thesis (1981), Linkoping University)
[12] Komorowski, H. J., Towards a programming methodology founded on partial deduction, (Proceedings of the ECAI’90 (1990)), 404-409
[13] Lloyd, J. W.; Shepherson, J. C., Partial evaluation in logic programming, The Journal of Logic Programming, 11, 3/4, 217-242 (1991) · Zbl 0741.68030
[14] Puyol, J.; Godo, L.; Sierra, C., A specialisation calculus to improve expert system communication, (Proceedings of the ECAI’92 (1992)), 144-148, cls
[15] Puyol-Gruart, Josep, MILORD II: A Language for Knowledge-Based Systems, vol. 1 of Monografies del IIIA (1996), IIIA-CSIC · Zbl 1436.91057
[16] Sakama, Chiachi; Itoh, Hidenori, Partial evaluation of queries in deductive databases, (Technical Report TR-302 (1986), ICOT) · Zbl 0654.68109
[17] Shoham, Yoav, Agent-oriented programming, Artificial Intelligence, 60, 51-92 (1993)
[18] Takeuchi, A.; Furukawa, K., Partial evaluation of prolog programs and its application to meta programming, (Information Processing 86 (1986)) · Zbl 0605.68003
[19] Vasey, Phil, Qualified answers and their application to transformation, (Goos, G.; Hartmanis, J., Third International Conference in Logic Programming, LNCS 225 (1986), Springer: Springer Berlin), 425-432
[20] Venken, R., A prolog meta-interpreter for partial evaluation and its application to source transformation and query-optimisation, (Proceedings of the ECAI’84 (1984)), 91-100
[21] Wolstenholme, Dave, Saying I don’t know and conditional answers, (Moralle, D. S., Research and Development in Expert Systems, IV (1987), Cambridge University Press: Cambridge University Press Cambridge), 115-125
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.