Task structures as a basis for modeling knowledge-based systems

International Journal of Intelligent Systems

Volumn 12, Issue 3, 1997, Pages 167-190

  Lee, Jonathan ^a  

^a NATIONAL CENTRAL UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; MATHEMATICAL MODELS; PROBLEM SOLVING; RELIABILITY; SPECIFICATIONS;

FUNCTIONAL DECOMPOSITION; TASK STATE EXPRESSIONS; VERIFICATION;

KNOWLEDGE BASED SYSTEMS;

EID: 0031103182     PISSN: 08848173     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1098-111X(199703)12:3<167::AID-INT1>3.0.CO;2-N     Document Type: Article

References (29)

1. J. Rushby, Quality Measures and Assurance for Ai Software, Technical Report NASA CR-4187, NASA Langley Research Center, 1989.
2. B. Chandrasekaran, T.R. Johnson, and J.W. Smith, "Task-structure analysis for knowledge modeling," Commun. ACM, 35(9), 124-137 (Sep. 1992).
3. J. Lee, J. Yen, and J. Passtor, "A tool for task-based knowledge and specification acquisition," Int. J. Intell. Syst., 9(9), 839-851 (Sep. 1994).
4. J.R. Slagle, D.A. Gardiner, and K. Han, "Knowledge specification of an expert system," IEEE Expert, 5(4), 29-38 (Aug. 1990).
5. L. Steele, "Components of expertise," AI Mag., 11(2), 28-49 (1990).
6. W.T. Tsai, P.E. Johnson, J.R. Slagle, I.A. Zualkernan, K.G. Heisler, K. Jamal, K. Han, D. Volovik, D.A. Gardiner, and T.L.A. Yang, Requirements Specification for Expert Systems? A Case Study, Technical Report TR 88-44, University of Minnesota, Minneapolis, MN, 1988.
7. B.J. Wielinger, A.T. Schreiber, and J.A. Breuker, "Kads: A modeling approach to knowledge engineering," Knowledge Acquisition Journal, 4(1), 5-53 (1992).
8. J. Yen and J. Lee, "A task-based methodology for specifying expert systems," IEEE Expert, 8(1), 8-15 (Feb. 1993).
9. B. Chandrasekaran, "Design problem solving: A task analysis," AI Maga., 11(4), 59-71 (winter 1990).
10. M.C. Tanner and A.M. Keuneke, "The roles of the task structure and domain functional models," IEEE Expert, 6(3), 50-57 (June 1991).
11. P.S. Rosenbloom, J.E. John, J. McDermott, A. Newell, and E. Orciuch, R1-soar: "An experiment in knowledge-intensive programming in a problem-solving architecture," IEEE Trans. Patt. Anal. Mach. Intell., PAMI-7(5), 561-569 (Sep. 1985).
12. A.H.M. ter Hofstead and E.R. Nieuwiand, "Task structure semantics through process algebra," Software Eng. J., 14-20 (Jan. 1993).
13. J. Lee, L.F. Lai, and W.T. Huang, "Task-based specifications through conceptual graphs," IEEE Expert, 11(4), 60-70 (Aug. 1996).
14. E.P.D. Pednault, "Formulating multiagent, dynamic-world problems in the classical planning framework," in M.P. Georgeff and A.L. Lansky, Eds. Reading about Actions and Plans Proceedings of the 1986 Workshop, Morgan Kaufmann, San Mateo, CA, 1987.
15. M.P. Georgeff and A.L. Lansky, "Procedural knowledge," Proceedings of the IEEE, 74(10), 1383-1398 (Oct. 1986).
16. A. Shaw, "Software specification language based on regular expression," in W.E. Riddle and R.E. Fairley, Eds., Software Development Tools, Springer-Verlag, Berlin, Germany, 1980, pp. 149-175.
17. D.H.D. Warren, "Generating conditional plans and programs," in Proceedings of Summer Conference on Artificial Intelligence and Simulation of Behavior, Jul. 1976, pp. 344-354.
18. B. Cohen, W.T. Harwood, and M.I. Jackson, The Specification of Complex Systems, Reading, MA, Addison-Wesley, 1986.
19. P. Hayes, "The frame problem and related problems in artificial intelligence," in Artificial and Human Thinking, Jossey-Bass Publishers, San Francisco, CA, 1973, pp. 45-59.
20. R.E. Fikes and N. Nilsson, "Strips: A new approach to the application to theorem proving to problem solving," Artif. Intell, 5(2), 189-208 (1971).
21. B. Auernheimer and R. Kemmerer, Asian User's Mannual, Technical Report TRCS84-10, Department of Computer Science, University of California, Santa Barbara, Mar. 1985.
22. J.M. Spivey, The Z-Notation: a Reference Manual, Prentice-Hall, Englewood Cliffs, NJ, 1987.
23. A. Borgida, J. Mylopoulos, and R. Reiter, "On the frame problem in procedure specifications," IEEE Transactions on Software Engineering, 21(10): 785-798 (1995).
24. S.J. Rosenschein, Plan synthesis: A logical perspective," in Proceedings of the Eighth International Joint Conference on Artificial Intelligence, 1981, pp. 331-337.
25. R. Waldinger, "Achieving several goals simultaneously," in E. Elcock and D. Michie, Eds, Machine Intelligence 8, Ellis Howard, Edingburgh, Scotland, 1977.
26. R. Reiter, "On reasoning by default," in R.J. Brachman and H.J. Levesque, Eds., Readings in Knowledge Representation, Morgan Kaufmann, San Mateo, CA, 1985, pp. 402-410.
27. G. Yost and A. Newell, "A problem space approach to expert system specification," in Proceedings of International Joint Conference on Artificial intelligence, 1989, pp. 621-627.
28. E.P.D. Pednault, "Extending conventional planning techniques to handle actions with context-dependent effects," in AAAI88, 1988, pp. 55-59.
29. J.F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, MA, 1984.