A rule network for efficient implementation of a mixed-initiative reasoning scheme

ABSTRACT

MIDST (Mixed Inferencing Dempster Shafer Tool) is a rule-based expert system shell that incorporates mixed-initiative reasoning and uncertain reasoning based on the Dempster-Shafer evidence combination scheme. This paper discusses the design and implementation of a rule network for MIDST that facilitates an efficient implementation of the mixed-initiative reasoning scheme.

REFERENCES

• 1: D.A. Waterman and F. Hayes-Roth, "An Investigation of Tools for Building Expert Systems", from Building Expert Systems, F. Hayes-Roth, D.A. Waterman, and D.B. Lenat, eds., pp. 169-215, Addison-Weseley, Read- ing, MA, 1983.
• 2: Paul Harmon , David King, Expert systems: artificial intelligence in business, John Wiley & Sons, Inc., New York, NY, 1985
• 3: William Mettrey, An assessment of tools for building large KB systems, AI Magazine, v.8 n.4, p.81-89, Winter 1987
• 4: R. Davis, ,TEIRESIAS: Applications of Meta Level Knowledge, from Knowledge-Based Systems in Artificial Intelligence, (by R. Davis and D.B. Lcnat), pp. 229-484, McGraw Hill, New York, 1983.
• 5: W.J. Clancey, "GUIDON", Journal of Computer-Based Instruction, vol. 10, pp. 8-14, 1983.
• 6: William J. Clancey, Heuristic classification, Artificial Intelligence, v.27 n.3, p.289-350, Dec. 1985 [doi>10.1016/0004-3702(85)90016-5]
• 7: B. Chandrasekaran, "Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design", IEEE Expert, vol. 1, pp. 23-30, 1986.
• 8: Special Issues, International Journal of Man-Machine Studies, vol. 26, nos. 1, 2, and 3, 1987.
• 9: D G Bobrow, Qualitative reasoning about physical systems, Massachusetts Institute of Technology, Cambridge, MA, 1985
• 10: B. Falkenhainer and K.D. Forbus, "Setting up Large-Scale Qualitative Models", Proceedings Seventh National Conference on Artificial Intelligence, pp. 301-306, St. Paul, MN, 1988.
• 11: G. Shafer, A Mathematical Theory of Evidence, Princeton Univ. Press, NJ, 1976.
• 12: G. Biswas and T.S. Anand, "Using the Dempster-Shafer Scheme in a Diagnostic Expert System Shell", Proceedings of the Third Workshop on Artificial Intelligence, Seattle, WA, pp. 98-105, 1987.
• 13: G. Biswas and T.S. Anand, "An Expert System Shell for Mixed-Initiative Reasoning", to appear, Journal of the lndian Institute of Science, 1988.
• 14: J. McDermott, "RI: An Expert in the Computer Systems Domain", Proc. American Assoc. for Artificial Intelligence, vol. 1, pp. 269-271, 1980.
• 15: Gautam Biswas , Michael Oliff , Robert Abramczyk, OASES (Operations Analysis Expert System): an application in fiberglass manufacturing, International Journal of Expert Systems, v.1 n.3, p.193-216, Sept. 1988
• 16: G. Biswas, C.G.S.C. Kendall, R.L. Cannon, and J.C. Bezdek, "XX: Hydrocarbon Exploration using a Knowledge Based Approach", Tech. Report, Dept. of Computer Science, Univ. of South Carolina, 1988.
• 17: G. Biswas, WJ. Hagins, and X. Yu, "Updates to MIDST: An Expert System Shell for Mixed Initiative Reasoning", Technical Report. 88-15, Vanderbilt University, 1988.
• 18: G. Shafer, P.P. Shenoy, and K. Mellouli, "Propagating Belief Values in Qualitative Markov Trees", Intl. Journal of Approximate Reasoning", vol. 1, pp. 349-400, 1987.
• 19: Bruce G. Buchanan , Edward H. Shortliffe, Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1984

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.5 Programming Languages and Software
          Subjects: Expert system tools and techniques

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Representations (procedural and rule-based)

General Terms:
Algorithms, Theory