Defining decision rules in signed horn clauses

  • Barbara Messing
Knowledge Representation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1303)


Making decisions is one of the central problems in knowledge based and expert systems. It is in particular a fundamental issue of Distributed AI. In this paper we define some well-known, rather simple rules from decision theory within a framework of many-valued logic programming. We show how these rules can also be generalized using partially ordered preference functions and how they can apply to multi-agent systems.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    N. D. Belnap. A useful four-valued Logic. J.M. Dunn and G. epstein (Hrsg.). Modern Uses of Multiple-valued Logics, 8–37. Reidel, 1977.Google Scholar
  2. 2.
    B. A. Davey, H.A. Priestley. Introduction to lattices and order. Cambridge University Press, 1994.Google Scholar
  3. 3.
    D. Dubois, H. Prade. Approximate and Commonsense reasoning: From Theory to Practice. Proceedings of the 9th International Symposium ISMIS 96. LNAI 1079, Springer, 1996.Google Scholar
  4. 4.
    M.Fitting. Bilattices and the semantics of logic programming. J. Logic Programming 11 (2), 91–116, 1991.Google Scholar
  5. 5.
    S. French. Decision Theory: An Introduction to the Mathematics of rationality. Ellis Horwood Limited, John Wiley & Sons, 1986.Google Scholar
  6. 6.
    M.Ginsberg. Multivalued logics. Computational Intelligence 4(3), 1988.Google Scholar
  7. 7.
    M.Ginsberg. Bilattices and modal operators. J. Logic and Computation, 1991.Google Scholar
  8. 8.
    R.Hähnle. Automated deduction in multiple-valued logics, International series of monographs on computer science 10. Oxford science publications, 1992.Google Scholar
  9. 9.
    R.Hähnle. Exploiting Data Dependencies in Many-Valued Logics. Journal of Applied Non-Classical Logics, Vol 6, Number 1, 49–69, 1996.Google Scholar
  10. 10.
    Michael Kifer, V.S. Subrahmanian. Theory of Generalized Annotated Logic Programming and its Applications. Journal of Logic Programming 1992:12:335–367.Google Scholar
  11. 11.
    J.J. Lu. Logic Programming with Signs and Annotations. Journal of Logic and Computation, Vol. 6, No 6, Oxford Univ. Press, Dec 1996.Google Scholar
  12. 12.
    S.M.Leach, J.J.Lu. Computing Annotated Logic. Proceedings of the Eleventh International Conference on Logic Programming. MIT Press, Massachusetts, 257–271, 1994.Google Scholar
  13. 13.
    J.J. Lu, N.M. Murray, E. Rosenthal. Signed Formulas and Annotated Logics. Proceedings of the 23th International Symposium on Multiple-valued Logics 1993, 48–53.Google Scholar
  14. 14.
    J.J. Lu, A. Nerode, V.S. Subrahmanian. Hybrid Knowledge Bases. To appear in IEEE Transactions on Knowledge and Data Engineering.Google Scholar
  15. 15.
    B. Messing. REGULA: Knowledge Representation and Processing in Many-valued Logics. Research Report No 320 of the Institut für Angewandte Informatik und Formale Beschreibungsverfahren, University of KarlsruheGoogle Scholar
  16. 16.
    B. Messing. Darstellung und Integration von Wissen in verbandsbasierten signierten Logikprogrammen (in german). DISKI 132, infix-Verlag, St. Augustin, 1996.Google Scholar
  17. 17.
    Messing, B. Combining Knowledge with Many-Valued Logics. To appear in: Data & Knowledge Engineering.Google Scholar
  18. 18.
    B. Mobasher, D. Pigozzi, G. Slutzki. Multi-valued Logic Programming Semantics: An Algebraic Approach. Theoretical Computer Science 171 (1-2):77–109, 1997.Google Scholar
  19. 19.
    N.M. Murray, E. Rosenthal. Signed formulas: A liftable Meta-Logic for Multiple-Valued Logic. Proc. of the International Symposium on Methodologies for Intelligent Systems. Springer, 275–284, 1993.Google Scholar
  20. 20.
    J.J. Lu, N.M. Murray, E. Rosenthal. A Framework for Automated Reasoning in Multiple Valued Logics. To appear in Journal of Automated Reasoning.Google Scholar
  21. 21.
    J. Rosenschein, G. Zlotkin. Rules of Encounter: Designing Conventions for Automated Negotiation among Agents. MIT press, 1994.Google Scholar
  22. 22.
    Saliger, E. Betriebswirtschaftliche Entscheidungstheorie. R. Oldenbourg Verlag, München, Wien, 1993.Google Scholar
  23. 23.
    V.S. Subrahmanian, S. Adali, A. Brink, R. Emery, J.J Lu, A. Rajput, T. Rogers, R. Ross, C. Ward. HERMES: A Heterogeneous reasoning and Mediator System. Draft manuscript (URL:[hermes/index.htmi).Google Scholar
  24. 24.
    V.S. Subrahmanian. Amalgamating Knowledge Bases. ACM Transactions on Database Systems, 19 (2), 291–331, 1994.Google Scholar
  25. 25.
    G. Wiederhold. Mediators in the Architecture of Future Information Systems. IEEE Computer, 38–49, March 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Barbara Messing
    • 1
  1. 1.Department of Computer ScienceUniversity of KarlsruheKarlsruhe

Personalised recommendations