Abstract
UC (UNIX Consultant) is an intelligent, natural-language interface that allows naive users to learn about the UNIX operating system. UC was undertaken because the task was thought to be both a fertile domain for Artificial Intelligence research and a useful application of AI work in planning, reasoning, natural language processing, and knowledge representation. The current implementation of UC comprises the following components: A language analyzer, called ALANA, that produces a representation of the content contained in an utterance; an inference component called a concretion mechanism that further refines this content; a goal analyzer, PAGAN, that hypothesizes the plans and goals under which the user is operating; an agent, called UCEgo, that decides on UC’s goals and proposes plans for them; a domain planner, called KIP, that computes a plan to address the user’s request; an expression mechanism, UCExpress, that determines the content to be communicated to the user, and a language production mechanism, UCGen, that expresses UC’s response in English. UC also contains a component called KNOME that builds a model of the user’s knowledge state with respect to UNIX. Another mechanism, UCTeacher, allows a user to add knowledge of both English vocabulary and facts about UNIX to UC’s knowledge base. This is done by interacting with the user in natural language. All these aspects of UC make use of knowledge represented in a knowledge representation system called KODIAK. KODIAK is a relation-oriented system that is intended to have wide representational range and a clear semantics, while maintaining a cognitive appeal. All of UC’s knowledge, ranging from its most general concepts to the content of a particular utterance, is represented in KODIAK.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allen, J. F. & Perrault, C. R.(1980). Analyzing Intention in Utterances. Artificial Intelligence 15: 143–178.
Allen, J. F., Frisch, A. M. & Litman, D. J. (1982). ARGOT: The Rochester Dialogue System. In Proceedings of The Second National Conference on Artificial Intelligence, 66–70. Pittsburgh, PA: AAAI Press.
Austin, J. L. (1962). How To Do Things With Words. Harvard University Press: Cambridge, MA.
Brachman, R. & Schmolze, J. (1985). An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9: 171–216.
Brown, J. S. & Burton, R. R. (1976). A Tutoring and Student Modelling Paradigm for Gaming Environments. In Symposium on Computer Science and Education, 236–246. Anaheim, CA.
Carberry, S. (1983). Tracking User Goals in an Information-Seeking Environment. In Proceedings of Third National Conference on Artificial Intelligence, 59–63. Washington, DC: AAAI Press.
Chin, D. N. (1986). User Modeling in UC, the UNIX Consultant. In Proceedings of CHI’86. Human Factors in Computing Systems, 24–28. Boston, MA: ACM Press.
Chin, D. N. (1988). Exploiting User Expertise in Answer Expression. In Proceedings of The Seventh National Conference on Artificial Intelligence, 756–760. Saint Paul, MN: AAAI Press.
Chin, D. N. (1989). KNOME: Modeling What the User Knows in UC. In Kobsa, A. & Wahlster, W. (eds.) User Models in Dialog Systems, 74–107. Springer-Verlag: Berlin.
Chin, D. N. (1987). Intelligent Agents as a Basis for Natural Language Interfaces. Ph.D. diss., Computer Science Division, University of California, Berkeley, CA. Also available as UCB/CSD 88/396, Computer Science Division, University of California, Berkeley, CA.
Chin, D. N. (1991). Intelligent Interfaces as Agents. In Sullivan, J. W. & Tyler, S. W. (eds.) Intelligent User Interfaces, 177–206. ACM Press: Reading, MA.
Chin, D. N. (1998). Intelligent Interfaces as Agents. In Maybury, M. T. & Wahlster, W. (eds.) Readings in Intelligent User Interfaces. R. Morgan-Kaufmann: Los Altos, CA.
Chin, D. N. (2000a). Strategies for Expressing Concise, Helpful Answers. In Hegner, S., McKevitt, P., Norvig, P. & Wilensky, R. (eds.) Intelligent Help Systems for UNIX. Kluwer Academic Publishers: Dordrecht, The Netherlands (this volume).
Chin, D. N. (2000b). Planning Intelligent Responses in a Natural Language System. In Hegner, S., McKevitt, P., Norvig, P. & Wilensky, R. (eds.) Intelligent Help Systems for UNIX. Kluwer Academic Publishers: Dordrecht, The Netherlands (this volume).
Cohen, P. R. & Levesque, H. J. (1987). Persistence, Intention, and Commitment. SRI International Technical Report 415.
Cox, C. A. (1986). ALANA: Augmentable Language Analyzer. UCB/CSD 861283, Computer Science Division: University of California, Berkeley, CA.
Davis, R. (1976). Applications of Meta Level Knowledge to the Construction, Maintenance and Use of Large Knowledge Bases. STAN-CS-76-552, Computer Science Dept.: Stanford University, Stanford, CA.
Deering, M., Faletti, J. & Wilensky, R. (1982). Using the PEARL AI Package. UCB/ERL M82119, Computer Science Division: University of California, Berkeley, CA.
Ernst, G. & Newell, A. (1969). GPS: A Case Study in Generality and Problem Solving. Academic Press: New York.
Fikes, R. E. & Nilsson, N. J. (1971). STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 2(3-4): 189–208.
Grice, H. P. (1975). Logic and conversation. In Cole, P. & Morgan, J. L. (eds.) Studies in Syntax III, 41–58. Seminar Press: New York.
Grosz, B. & Sidner, C. L. (1985). The Structures of Discourse Structure. CSLI-85-39, Center for the Study of Language and Information: Stanford University, Stanford, CA.
Haas, N. & Hendrix, G. (1980). An Approach to Acquiring and Applying Knowledge. In Proceedings of First National Conference on Artificial Intelligence, 235–239. Stanford, CA: AAAI Press.
Jacobs, P. S. (1984). PHRED: A Generator for Natural Language Interfaces. UCB/CSD 84/189, Computer Science Division: University of California, Berkeley, CA.
Jacobs, P. S. (1985). A Knowledge-Based Approach to Language Production. Ph.D. diss., Computer Science Division, University of California, Berkeley, CA. Also available as UCB/CSD 86/254, Computer Science Division, University of California, Berkeley, CA.
Kaplan, S. J. (1983). Cooperative Responses from a Portable Natural Language Database Query System. In Brady, M. & Berwick, R. C. (eds.) Computational Models of Discourse. MIT Press: Cambridge, MA.
Lakoff, G. & Johnson, M. (1980). Metaphors We Live By. University of Chicago Press: Chicago, IL.
Litman, D. J. & Allen, J. F. (1984). A Plan Recognition Model for Clarification Subdialogues. In Proceedings of Tenth International Conference on Computational Linguistics, 302–311. Palo Alto: MIT Press.
Luria, M. (1982). Dividing up the Question Answering Process. In Proceedings of The Second National Conference on Artificial Intelligence, 71–74. Pittsburgh, PA: AAAI Press.
Luria, M. (1985). Commonsense Planning in a Consultant System. In Proceedings of 1985 IEEE International Conference on Systems, Man, and Cybernetics, 602–606. Tucson, Arizona: IEEE Press.
Luria, M. (1987). Goal Conflict Concerns. In Proceedings of Tenth International Joint Conference on Artificial Intelligence, 1025–1031. Milan, Italy: Morgan Kaufmann Publishers.
Luria, M. (1988). Knowledge Intensive Planning. UCB/CSD 88/433, Computer Science Division: University of California, Berkeley, CA.
Martin, J. (1985). Knowledge Acquisition through Natural Language Dialog. In Proceedings of Second Annual Conference on Artificial Intelligence Applications, 728–733. Miami, FL: AAAI Press.
Martin, J. (1986a). Views from a Kill. In Proceedings of Eighth National Conference of the Cognitive Science Society, 728–733. Amherst, MA.
Martin, J. (1986b). Representing and Acquiring Knowledge about Metaphors. In Proceedings of Third Workshop on Theoretical Issues in Conceptual Information Processing, 49–54. Philadelphia, PA.
Martin, J. (1987). Understanding New Metaphors. In Proceedings of Tenth International Joint Conference on Artificial Intelligence, 137–139. Milan, Italy: Morgan Kaufmann Publishers.
Martin, J. (1988). A Computational Theory of Metaphor. Ph.D. diss., Computer Science Division, University of California, Berkeley, CA. Also available as UCB/CSD 88/495, Computer Science Division, University of California, Berkeley, CA.
Martin, J. (2000). Representing UNIX Domain Metaphors. In Hegner, S., Mc Kevitt, P., Norvig, P. & Wilensky, R. (eds.), Intelligent Helps Systems for UNIX. Dordrecht, The Netherlands: Kluwer Academic Publishers (this volume).
Mayfield, J. (1989). Goal Analysis: Plan Recognition in Dialogue Systems. Ph.D. diss., Computer Science Division, University of California, Berkeley, CA. Also available as UCB/CSD 89/521, Computer Science Division, University of California, Berkeley, CA.
Mayfield, J. (1992). Controlling Inference in Plan Recognition. User Modeling and User Adapted Interaction 2(1-2): 83–115.
Mayfield, J. (2000). Evaluating Plan Recognition Systems: Three Properties of a Good Explanation. In Hegner, S., Mc Kevitt, P., Norvig, P. & Wilensky, R. (eds.), Intelligent Helps Systems for UNIX. Dordrecht, The Netherlands: Kluwer Academic Publishers (this volume).
Mays, E. (1980). Failures in Natural Language Systems: Applications to Data Base Query Systems. In Proceedings of First National Conference on Artificial Intelligence, 327–330. Stanford, CA: AAAI Press.
McCoy, K. F. (1983). Correcting Misconceptions: What to Say when the User is Mistaken. In Proceedings of CHI’ 83 Conference, 197–201. Boston, MA: ACM Press.
Morik, K. & Rollinger, C-R. (1985). The Real Estate Agent-Modeling the User by Uncertain Reasoning. AI Magazine 6(2): 44–52.
Newell, A. & Simon, H. A. (1972). Human Problem Solving. Prentice-Hall: Englewood Cliffs, NJ.
Norvig, P. (1983). Frame Activated Inferences in a Story Understanding Program. In Proceedings of Eighth International Joint Conference on Artificial Intelligence, 624–626. Karlsruhe, West Germany: Morgan Kaufmann Publishers.
Norvig, P. (1987). A Unified Theory of Inference for Text Understanding. Ph.D. diss., Computer Science Division, University of California, Berkeley, CA. Also available as UCB/CSD 87/339, Computer Science Division, University of California, Berkeley, CA.
Rich, E. (1979). User Modeling via Stereotypes. Cognitive Science 3: 329–354.
Rissland, E. L. (1983). Examples in Legal Reasoning: Legal Hypotheticals. In Proceedings of Eight International Joint Conference on Artificial Intelligence, 90–93. Karlsruhe, West Germany: Morgan Kaufmann Publishers.
Rissland, E. L., Valcarce, E. M. & Ashley, K. D. (1984). Explaining and Arguing with Examples. In Proceedings of Fourth National Conference on Artificial Intelligence, 288–294. Austin, TX: AAAI Press.
Rosch, E. (1978). Principles of Categorization. In Eleanor Rosch & Lloyd, B. B. (eds.) Cognition and Categorization. Lawrence Erlbaum: Hillsdale, NJ.
Sacerdoti, E. (1974). Planning in a Hierarchy of Abstraction Spaces. Artificial Intelligence 5: 115–135.
Schank, R. C. (1975). Conceptual Information Processing. North Holland: Amsterdam.
Schank, R. C. & Abelson, R. P. (1977). Scripts, Plans, Goals, and Understanding. Lawrence Erlbaum: Hillsdale, NJ.
Schmolze, J. G. & Lipkis, T. A. (1983). Classification in the KL-ONE Knowledge Representation System. In Proceedings of Eighth International Joint Conference on Artificial Intelligence, 330–332. Karlsruhe, West Germany: Morgan Kaufman Publishers.
Schubert, L. K. (1976). Extending the Expressive Power of Semantic Networks. Artificial Intelligence 7: 163–195.
Searle, J. R. (1969). Speech Acts; An Essay in the Philosophy of Language. Cambridge University Press: Cambridge, England.
Searle, J. R. (1979). Literal Meaning. In Searle, J. R. (ed.) Expression and Meaning. Cambridge University Press: Cambridge, England.
Shapiro, S. (1979). The SNePS Semantic Network Processing System. In Findler, N. (ed.) Associative Networks. Academic Press: New York.
Sidner, C. L. (1985). Plan Parsing for Intended Response Recognition in Discourse. Computational Intelligence 1: 1–10.
Teitelman, W. et al. (1978). The Interlisp Reference Manual. Xerox PARCo
van Melle, W. (1980). A Domain Independent System That Aids in Constructing Knowledge-Based Consultation Programs. HPP-80-22, Heuristic Programming Project, Computer Science Department: Stanford University, Stanford, CA.
Webber, B. L. & Mays, E. (1983). Varieties of User Misconceptions: Detection and Correction. In Proceedings of Eighth International Joint Coriference on Artificial Intelligence, 650–652. Karlsruhe, West Germany: Morgan Kaufman Publishers.
Wilensky, R. (1983). Planning and Understanding: A Computational Approach to Human Reasoning. Addison-Wesley: Reading, MA.
Wilensky, R. (1986). Some Problems and Proposals for Knowledge Representation. UCB/CSD 86/294, Computer Science Division: University of California, Berkeley, CA.
Wilensky, R. (1987). Primal Content and Actual Content: An Antidote to Literal Meaning. UCB/CSD 87/365, Computer Science Division: University of California, Berkeley, CA.
Wilensky, R. & Arens, Y. (1980). A Knowledge-Based Approach to Natural Language Processing. UCB/ERL M80/34, Electronic Research Laboratory: University of California, Berkeley, CA.
Wilensky, R., Arens, Y. & Chin, D. N. (1984). Talking to Unix in English: An Overview of UC. Communications of the Association for Computing Machinery 27(6): 574–593.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Wilensky, R., Chin, D.N., Luria, M., Martin, J., Mayfield, J., Wu, D. (2000). The Berkeley UNIX Consultant Project. In: Hegner, S.J., Mc Kevitt, P., Norvig, P., Wilensky, R. (eds) Intelligent Help Systems for UNIX. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-0874-7_5
Download citation
DOI: https://doi.org/10.1007/978-94-010-0874-7_5
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3790-7
Online ISBN: 978-94-010-0874-7
eBook Packages: Springer Book Archive