MANDOLIN—a communications management expert system using a reduced form of the Dempster-Shafer uncertainty theory

ABSTRACT

MANDOLIN (MANagement and Diagnosis Of Large Information Networks) is an expert system structure for large communication networks. It integrates the concepts of data-driven inference, goal-driven inference, truth maintenance, Dempster-Shafer uncertainty handling, and event-driven simulation into a distributed framework. MANDOLIN is a system that is able to diagnose and control communication networks. The structure of MANDOLIN is driven by the requirements of large communication networks rather than the requirements of any specific network.

REFERENCES

• Doyle, 1979a: Doyle, J., "A Truth Maintenance System,'' Artificial Intelligence, Vol. 12, No. 3, 1979, pp. 231-72.
• Doyle, 1979b: Doyle, J., "A Glimpse of Truth Maintenance,'' Proceedings, Sixth International Joint Conference on Artificial Intelligence, 1979, pp. 232-7.
• Gingrich, 1988a: Gingrich, Barry L., "An Overview of Truth Maintenance Systems," Telecommunication and Information Sciences Laboratory/HAIKU working report, University of Kansas, 1988.
• Gingrich, 1989: Gingrich, Barry L., "Expert System for Communication Network Management - Code Listing," Telecommunication and Information Sciences Laboratory technical report TR-8191-4, University of Kansas, 1989.
• Gingrich and Minden, 1987: Gingrich, Barry L., and Gary J. Minden, "Report on Development of an Inference Engine Combining Certainty, Relevance, and Truth Maintenance," Telecommunication and Information Sciences Laboratory/HAIKU working report, University of Kansas, 1987.
• Gingrich and Minden, 1988: Gingrich, Barry L., and Gary J. Minden, "Specifications Document for Inference Engine Project," Telecommunication and Information Sciences Laboratory technical report TR-8191-1, University of Kansas, 1988.
• Gingrich and Minden, 1989: Gingrich, Barry L., and Gary j. Minden, "Uncertainty Handling for Communications Network Management Expert System," Telecommunication and Information Sciences Laboratory technical report TISL TR-8191-2, University of Kansas, 1989.
• Lindley, 1987: Lindley, Dennis V., "The Probability Approach to the Treatment of Uncertainty in Artificial Intelligence and Expert Systems," Statistical Science, Vol. 2, No. 1, 1987, pp. 17-24.
• Pearl, 1988: Judea Pearl, Probabilistic reasoning in intelligent systems: networks of plausible inference, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
• Sharer, 1976: Shafer, Glenn, A Mathematical Theory of Evidence, Princeton University Press, Princeton, New Jersey, 1976.
• Shafer, 1987a: Shafer, Glenn, "Belief Functions and Possibility Measures," in Analysis of Fuzzy Information, James C. Bezdek, ed., CRC Press, Boca Raton, FL, Vol. 1, 1987, pp. 51-84.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE

Additional Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.1 Network Architecture and Design
          Subjects: Distributed networks

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.3 Deduction and Theorem Proving
          Subjects: Uncertainty, "fuzzy," and probabilistic reasoning
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Representations (procedural and rule-based)

General Terms:
Design, Theory, Verification