Abstract
Most expert system control strategies focus on a narrow view of problem solving, with the resulting expert systems failing to accomplish a good interaction with the task environment during problem solving. Known as the pregnant man problem, such a deficient external behavior is typical of many expert systems that ask absurd questions of the user. Right interaction with the task environment has been already addressed as a verification problem. A new framework for realizing a good external behavior is presented in this paper, that consists of incorporating constraints on external behavior in the control strategy of the expert system. Called input-driven control, it cooperates with the standard control strategies of the Milord II expert system shell for realizing both a correct problem-solving behavior and an appropriate external behavior.
Partially supported by grant DGCIyT PB91-0334
Preview
Unable to display preview. Download preview PDF.
References
C. Barroso. ENS-AI: Un Sistema Experto para la Enseñanza. In Proc. European Conf. about Information Technology in Education: A Critical Insight, Barcelona, Nov. 1992.
D. C. Berry and D. E. Broadbent. Expert Systems and the Man-Machine Interface. Part Two: The User Interface. Expert Systems, 4(1):18–28, Feb. 1987.
L. Godo, R. López de Mántaras, C. Sierra, and A. Verdaguer. MILORD: The Architecture and the Management of Linguistically Expressed Uncertainty. Int. Journal of Intelligent Systems, 4(4):471–501, 1989.
J. A. Hendler, editor. Expert Systems: The User Interface. Ablex, Norwood, New Jersey, 1988.
J. M. Herod and A. T. Bahill. Ameliorating the “Pregnant Man” Problem. In A. T. Bahill, editor, Verifying and Validating Personal Computer-Based Expert Systems, chapter 3, pages 26–45. Prentice Hall, Englewood Cliffs, New Jersey, 1990.
J. M. Herod and A. T. Bahill. Ameliorating the Pregnant Man Problem: A Verification Tool for Personal Computer Based Expert Systems. Int. Journal of Man-Machine Studies, 35:789–805, 1991.
R. López de Mántaras, J. Agustí, E. Plaza, and C. Sierra. MILORD: A Fuzzy Expert Systems Shell. In A. Kandel, editor, Fuzzy Expert Systems, chapter 15. CRC Press, Boca Raton, Florida, 1991.
J. McDermott and C. Forgy. Production System Conflict Resolution Strategies. In D. A. Waterman and F. Hayes-Roth, editors, Pattern Directed Inference Systems, pages 177–199. Academic Press, New York, 1978.
J. Puyol, L. Godo, and C. Sierra. A Specialisation Calculus to Improve Expert Systems Communication. In B. Neumann, editor, Proc. 10th European Conf. on Artificial Intelligence ECAI 92, pages 144–148, Vienna, Austria, Aug. 1992.
J. Puyol, C. Sierra, and J. Agustí-Cullell. Partial Evaluation in Milord II: A Language for Knowledge Engineering. In Proc. Europ-IA 91, pages 193–207, 1991.
R. Sauers. Controlling Expert Systems. In L. Bolc and M. J. Coombs, editors, Expert System Applications, pages 79–197. Springer-Verlag, Berlin, 1988.
C. Sierra. MILORD: Arquitectura Multi-Nivell per a Sistemes Experts en Classificació. PhD thesis, Universitat Politècnica de Catalunya, May 1989.
G. Valiente. Verification of External Adequacy in Rule-Based Expert Systems using Support Graphs. Free session contribution to the European Workshop on the Verification and Validation of Knowledge-Based Systems EUROVAV 91, Cambridge, England, July 1991. Published as Research Report 91/15, Centre d'Estudis Avançats de Blanes.
G. Valiente. Using Layered Support Graphs for Verifying External Adequacy in Rule-Based Expert Systems. SIGART Bulletin, 3(1):20–24, Jan. 1992.
G. Valiente. Heuristic Question Selection. PhD thesis, Universitat Autònoma de Barcelona, 1993. Forthcoming.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Valiente Feruglio, G. (1993). Input-driven control of rule-based expert systems. In: Komorowski, J., Raś, Z.W. (eds) Methodologies for Intelligent Systems. ISMIS 1993. Lecture Notes in Computer Science, vol 689. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56804-2_9
Download citation
DOI: https://doi.org/10.1007/3-540-56804-2_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56804-9
Online ISBN: 978-3-540-47750-1
eBook Packages: Springer Book Archive