Skip to main content

The Berkeley UNIX Consultant Project

  • Chapter
Intelligent Help Systems for UNIX

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Allen, J. F. & Perrault, C. R.(1980). Analyzing Intention in Utterances. Artificial Intelligence 15: 143–178.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • Austin, J. L. (1962). How To Do Things With Words. Harvard University Press: Cambridge, MA.

    Google Scholar 

  • Brachman, R. & Schmolze, J. (1985). An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9: 171–216.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Chapter  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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).

    Google Scholar 

  • 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).

    Google Scholar 

  • Cohen, P. R. & Levesque, H. J. (1987). Persistence, Intention, and Commitment. SRI International Technical Report 415.

    Google Scholar 

  • Cox, C. A. (1986). ALANA: Augmentable Language Analyzer. UCB/CSD 861283, Computer Science Division: University of California, Berkeley, CA.

    Google Scholar 

  • 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.

    Google Scholar 

  • Deering, M., Faletti, J. & Wilensky, R. (1982). Using the PEARL AI Package. UCB/ERL M82119, Computer Science Division: University of California, Berkeley, CA.

    Google Scholar 

  • Ernst, G. & Newell, A. (1969). GPS: A Case Study in Generality and Problem Solving. Academic Press: New York.

    Google Scholar 

  • 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.

    Article  MATH  Google Scholar 

  • Grice, H. P. (1975). Logic and conversation. In Cole, P. & Morgan, J. L. (eds.) Studies in Syntax III, 41–58. Seminar Press: New York.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Jacobs, P. S. (1984). PHRED: A Generator for Natural Language Interfaces. UCB/CSD 84/189, Computer Science Division: University of California, Berkeley, CA.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Lakoff, G. & Johnson, M. (1980). Metaphors We Live By. University of Chicago Press: Chicago, IL.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Luria, M. (1987). Goal Conflict Concerns. In Proceedings of Tenth International Joint Conference on Artificial Intelligence, 1025–1031. Milan, Italy: Morgan Kaufmann Publishers.

    Google Scholar 

  • Luria, M. (1988). Knowledge Intensive Planning. UCB/CSD 88/433, Computer Science Division: University of California, Berkeley, CA.

    Google Scholar 

  • 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.

    Google Scholar 

  • Martin, J. (1986a). Views from a Kill. In Proceedings of Eighth National Conference of the Cognitive Science Society, 728–733. Amherst, MA.

    Google Scholar 

  • 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.

    Google Scholar 

  • Martin, J. (1987). Understanding New Metaphors. In Proceedings of Tenth International Joint Conference on Artificial Intelligence, 137–139. Milan, Italy: Morgan Kaufmann Publishers.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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).

    Google Scholar 

  • 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.

    Google Scholar 

  • Mayfield, J. (1992). Controlling Inference in Plan Recognition. User Modeling and User Adapted Interaction 2(1-2): 83–115.

    Article  Google Scholar 

  • 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).

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Morik, K. & Rollinger, C-R. (1985). The Real Estate Agent-Modeling the User by Uncertain Reasoning. AI Magazine 6(2): 44–52.

    Google Scholar 

  • Newell, A. & Simon, H. A. (1972). Human Problem Solving. Prentice-Hall: Englewood Cliffs, NJ.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Rich, E. (1979). User Modeling via Stereotypes. Cognitive Science 3: 329–354.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Rosch, E. (1978). Principles of Categorization. In Eleanor Rosch & Lloyd, B. B. (eds.) Cognition and Categorization. Lawrence Erlbaum: Hillsdale, NJ.

    Google Scholar 

  • Sacerdoti, E. (1974). Planning in a Hierarchy of Abstraction Spaces. Artificial Intelligence 5: 115–135.

    Article  MATH  Google Scholar 

  • Schank, R. C. (1975). Conceptual Information Processing. North Holland: Amsterdam.

    MATH  Google Scholar 

  • Schank, R. C. & Abelson, R. P. (1977). Scripts, Plans, Goals, and Understanding. Lawrence Erlbaum: Hillsdale, NJ.

    MATH  Google Scholar 

  • 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.

    Google Scholar 

  • Schubert, L. K. (1976). Extending the Expressive Power of Semantic Networks. Artificial Intelligence 7: 163–195.

    Article  MathSciNet  Google Scholar 

  • Searle, J. R. (1969). Speech Acts; An Essay in the Philosophy of Language. Cambridge University Press: Cambridge, England.

    Book  Google Scholar 

  • Searle, J. R. (1979). Literal Meaning. In Searle, J. R. (ed.) Expression and Meaning. Cambridge University Press: Cambridge, England.

    Chapter  Google Scholar 

  • Shapiro, S. (1979). The SNePS Semantic Network Processing System. In Findler, N. (ed.) Associative Networks. Academic Press: New York.

    Google Scholar 

  • Sidner, C. L. (1985). Plan Parsing for Intended Response Recognition in Discourse. Computational Intelligence 1: 1–10.

    Article  Google Scholar 

  • Teitelman, W. et al. (1978). The Interlisp Reference Manual. Xerox PARCo

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Wilensky, R. (1983). Planning and Understanding: A Computational Approach to Human Reasoning. Addison-Wesley: Reading, MA.

    Google Scholar 

  • Wilensky, R. (1986). Some Problems and Proposals for Knowledge Representation. UCB/CSD 86/294, Computer Science Division: University of California, Berkeley, CA.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Stephen J. Hegner Paul Mc Kevitt Peter Norvig Robert Wilensky

Rights and permissions

Reprints 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

Publish with us

Policies and ethics