Skip to main content
SpringerLink
Log in

What Do You Know about Mail? Knowledge Representation in the SINIX Consultant

  • Chapter
Intelligent Help Systems for UNIX

Abstract

The SINIX Consultant is an intelligent help system for the SINIX operating system which answers natural language questions about SINIX concepts and commands and gives unsolicited advice to a user as well. In this paper the representation of domain knowledge in the SINIX Consultant will be discussed, i.e. the representation of concepts of the SINIX operating system in the so-called SINIX Knowledge Base. The SINIX Knowledge Base is a taxonomical hierarchy of SINIX concepts which are divided into objects and actions operating on these objects. A single concept in the knowledge base is described by a set of attributes reflecting structural or syntactical features, the use, application and purpose of the command or object, and additional information for explaining the concept to the user. The description of commands in the SINIX Knowledge Base which is mainly used in order to generate tutorial explanations and advice for the user, and the main ideas of describing SINIX objects are outlined in this paper.

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

Access this chapter

Log in via an institution
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

  • Backus, J. (1978). Can Programming be Liberated from the von Neumann Style? CAGM 21(8): 613–641.

    MathSciNet  MATH  Google Scholar 

  • Bauer, M., Biundo, S. & Dengler, D. (1993). PHI A Logic-Based Tool for Intelligent Help Systems. DFKI Research Report RR-92-52, DFKI, Saarbrücken.

    Google Scholar 

  • Berger, F. (1990). Ein massiv paralleles Modell eines Planerkenners. Diplom-Arbeit, Fachbereich Informatik, Universität des Saarlandes.

    Google Scholar 

  • Berger, F., Fehrle, T., Kloeckner, K., Schoelles, V., Thies, M. A. & Wahlster, W. (1993). PLUS: Plan-Based User Support-Final Project Report. DFKI Research Report RR-93-15, DFKI, Saarbrücken.

    Google Scholar 

  • Bauer, M. & Paul, G. (1993). Logic-Based Plan Recognition for Intelligent Help Systems. DFKI Research Report RR-93-43, DFKI, Saarbrücken.

    Google Scholar 

  • Brachman, R. J. & Schmolze, J. G. (1984). An Overview of the KL-ONE Knowledge Representation System. Fairchild Technical Report No. 655.

    Google Scholar 

  • Carter, J. (1986). A Taxonomy of User-Oriented Functions. Int. j. Man-Machine Studies 24: 195–292.

    Article  Google Scholar 

  • Douglas, R. J. & Hegner, S. (1982). An Expert Consultant for the UNIX-Operating System: Bridging the Cap between the User and Command Language Semantics. In Proc. CSCSI/SCEIO, 92–96. Saskatoon, Sasketchewan.

    Google Scholar 

  • Engelkamp, J. (1991). Satzsemantische Reprasentation durch erweiterte Situationsschemata. Diplom-Arbeit, Fachbereich Informatik, Universität des Saarlandes.

    Google Scholar 

  • Engelkamp, J., Sommer, P., Berger, F., Gintz, R., Kipper, B. & Weichel, M. (1988). Eine SCVersion für UNIX-Rechner. Memo, Fachbereich Informatik, Universität des Saarlandes.

    Google Scholar 

  • Goldblatt, R. (1987). Logics of Computation and Time. CSLI Lecture Notes, Stanford, CA: Stanford University.

    MATH  Google Scholar 

  • Hecking, M., Kemke, C., Nessen, E., Dengler, D., Hector, G. & Gutmann, M. (1988). The SINIX Consultant-A Progress Report. Memo, Fachbereich Informatik, Universität des Saarlandes.

    Google Scholar 

  • Jung, B. (1987). Wissensreprasentation in einem intelligenten Hilfesystem. Diplom-Arbeit, Fachbereich Informatik, Universität des Saarlandes.

    Google Scholar 

  • Kemke, C. (1985). Entwurf eines aktiven, wissensbasierten Hilfesystems flir SINIX. LDV-Forum, Nr. 2 Dezember 1985: 43–60.

    Google Scholar 

  • Kemke, C. (1986). The SINIX Consultant-Requirements, Design, and Implementation of an Intelligent Help System for a UNIX Derivative. Memo, Fachbereich Informatik, Universität des Saarlandes.

    Google Scholar 

  • Kemke, C. (1987). Representation of Domain Knowledge in an Intelligent Help System. In Proceedings of the Second IFIP Conference on Human-Computer Interaction INTER-ACT’87, 215–220, Stuttgart, FRG.

    Google Scholar 

  • Kemke, C. (1988). Darstellung von Aktionen in Vererbungshierarchien. In Hoeppner (ed.), GWAI-88. Proceedings German Workshop on Artificial Intelligence, Springer.

    Google Scholar 

  • Kipper, B. (1991). Semantisch-pragmatische Analyse von Modalverben in natürlichsprachlichen Dialog-und Beratungssystemen. Diplom-Arbeit, Fachbereich Informatik, Universität des Saarlandes.

    Google Scholar 

  • McCarthy, J. & Hayes, P. J. (1969). Some Philosophical Problems from the Standpoint of Artificial Intelligence. In D. Michie & B. Meltzer (eds.), Machine Intelligence 4: 468–502. Edinburgh: Edinburgh University Press.

    Google Scholar 

  • Morgenstern, L. (1987). Knowledge Preconditions for Actions and Plans. In Proceedings of the International Joint Conference on Artificial Intelligence IJCAI-87, 867–874. Milano, Italy.

    Google Scholar 

  • Nessen, E. (1987). SC-UM-User Modeling in the SINIX Consultant. Memo No. 18, Fachbereich Informatik, Universität des Saarlandes.

    Google Scholar 

  • Sacerdoti, E. D. (1977). A Structure for Plans and Behavior. Elsevier, New York, Oxford, Amsterdam.

    MATH  Google Scholar 

  • Schmolze, J. G. and Lipkis, T. A. (1983). Classification in the KL-ONE Knowledge Representation System. In Proceedings of the International Joint Conference on Artificial Intelligence IJCAI-83, 830–332. Karlsruhe, FRG.

    Google Scholar 

  • Sommer, P. (1991). SCooPS. Entwurf und Realisierung einer hierarchischen Planrepräsentation für Kommandosprachen. Diplom-Arbeit, Fachbereich Informatik, Universität des Saarlandes.

    Google Scholar 

  • Thies, M. A. & Berger, F. (1992). Planbasierte graphische Hilfe in objektorientierten Benutzer-oberfiachen. DFKI Research Report RR-92-13, DFKI, Saarbrücken.

    Google Scholar 

  • Thies, M. A. & Fehrle, T. & Berger, F. (1992). Intelligent User Support in Graphical User Interfaces: 1. InCome: A System to Navigate through Interactions and Plans 2. Plan-Based Graphical Help in Object-Oriented User Interfaces. DFKI Research Report RR-92-14, DFKI, Saarbrücken.

    Google Scholar 

  • Wilensky, R., Arens, Y. & Chin, D. (1984). Talking to UNIX in English: An Overview of UC. Communications of the ACM 27(6): 574–593.

    Article  Google Scholar 

  • Weichel, M. (1991). SCooPS. Ein objekt-orientierter Plangenerator für Kommandosequenzen. Diplom-Arbeit, Fachbereich Informatik, Universität des Saarlandes.

    Google Scholar 

  • Wahlster, W., Hecking, M. & Kemke, C. (1988). SC-Ein intelligentes Hilfesystem für SINIX. In GoHan, Paul & Schmitt (eds.), Innovative Informationsinfrastrukturen. Springer.

    Google Scholar 

  • Wilensky, R. (1984). Talking to UNIX in English: An Overview of an On-line UNIX-Consultant. AI Magazine 5(1): 29–39.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technische Fakultät, AG Neuroinformatik, Universität Bielefeld, Postfach 100131, D-33501, Bielefeld, Germany

    Christel Kemke

Authors
  1. Christel Kemke
    View author publications

    You can also search for this author in PubMed Google Scholar

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

Kemke, C. (2000). What Do You Know about Mail? Knowledge Representation in the SINIX Consultant. 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_12

Download citation

  • DOI: https://doi.org/10.1007/978-94-010-0874-7_12

  • 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

Search

Navigation