Skip to main content
SpringerLink
Log in

A terminological language for representing complex knowledge

  • Knowledge Representation
  • Conference paper
  • First Online:
Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 1992)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 604))

Abstract

This paper describes the current implementation of KRAM, a hybrid system for knowledge representation that is part of a project whose task is to build a realistic model of how agents interact with each other and with the external world: the simulation should be embodied in a cooperative and user-friendly interface for an information system.

The focus of the paper is on the terminological component, TERM-KRAM, that supplies the meaning of all the concepts that are necessary to model man-machine interaction. The assertional component enables the users to make statements about external entities.

TERM-KRAM exhibits some specific features that make it especially suitable for representing actions and complex objects. Moreover, the system can be used for a wide range of applications, in particular those in which it is desirable either to offer explanation to users or to model agents and/or their behaviour, e.g., man-machine interaction, cognitive modelling, planning and help systems.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brachman, R.J., Levesque, H.J., Competence in Knowledge Representation. Proceedings of the 2nd AAAI, 1982, 189–292.

    Google Scholar 

  2. Brachman, R.J., Schmolze, J.G., An Overview of the KL-ONE Knowledge Representation System. Fairchild Technical Report No.655, September 1984.

    Google Scholar 

  3. Brachman, R.J., Levesque, H.J., A Fundamental Trade-off in Knowledge Representation and Reasoning. In: Brachman, R.J., Levesque, H.J. (eds.), Reading in Knowledge Representation. Morgan Kaufmann, 1985, 41–70.

    Google Scholar 

  4. Cesta, A., Romano, G., Explanations in an Intelligent Help System. Bullinger, H.J., (ed.), Human Aspects in Computing (Proceedings of the 4th International Conference on Human-Computer Interaction). Elsevier, 1991, 925–929.

    Google Scholar 

  5. D'Aloisi, D., Castelfranchi, C., Tuozzi, A., Structures in an Assertional Box. In: Jaakkola, H., Linnainmaa, S., (eds.), Scandinavian Conference on Artificial Intelligence-89 (Proceedings of the 2nd SCAI). IOS Press 1989, 131–142.

    Google Scholar 

  6. D'Aloisi, D., Maga, G., Terminological Representation and Reasoning in TERM-KRAM. FUB Technical Report 5T05091, December 1991.

    Google Scholar 

  7. D'Alosi, D., Castelfranchi, C., Propositional and Terminological Knowledge Representations. To appear in: Working Notes of the AAAI Spring Symposium “Propositional Knowledge Representation”, Stanford (CA), March 25–27, 1992.

    Google Scholar 

  8. Donini, F.M., Lenzerini, M., Nardi, D., Hollunder, B., Nutt, W., The Complexity of Concept Languages. Proceeding of the Second International Conference on Principles of Knowledge Representation and Reasoning, 1991.

    Google Scholar 

  9. Doyle, J., Patil, R.S., Two theses of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services. Artificial Intelligence, 48, 1991, 261–297.

    Article  Google Scholar 

  10. Lakoff, G., Irregularity in Syntax. New York, Holt, Reinhart, and Winston, 1970.

    Google Scholar 

  11. McAllester, D.A., Reasoning Utility Package: User's Manual. Massachusetts Institute of Technology, Artificial Intelligence Laboratory, AI Memo No.667, 1982.

    Google Scholar 

  12. Nebel, B., Reasoning and Revision in Hybrid Representation Systems. Springer-Verlag, 1990.

    Google Scholar 

  13. Nebel, B., Terminological Reasoning is Inherently Intractable. Artificial Intelligence, 43, 1990, 235–249.

    Article  Google Scholar 

  14. Patel-Schneider, P.F., Undecidability of Subsumption in NIKL. Artificial Intelligence, 39, 2, 1989.

    Article  Google Scholar 

  15. Schmolze, J.G., Terminological Knowledge Representation Systems Supporting n-ary terms. Proceedings of First International Conference on Principles of Knowledge Representation and Reasoning, 1989, 432–443.

    Google Scholar 

  16. Smoliar, S.W., Swartout, W., A Report from the Frontiers of Knowledge Representation. DRAFT, UCS Information Science Institute, Marina del Rey, CA, October 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fondazione Ugo Bordoni, Via B.Castiglione 59, I-00142, Rome, Italy

    Daniela D'Aloisi

Authors
  1. Daniela D'Aloisi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Fevzi Belli Franz Josef Radermacher

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

D'Aloisi, D. (1992). A terminological language for representing complex knowledge. In: Belli, F., Radermacher, F.J. (eds) Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. IEA/AIE 1992. Lecture Notes in Computer Science, vol 604. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0025004

Download citation

  • DOI: https://doi.org/10.1007/BFb0025004

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55601-5

  • Online ISBN: 978-3-540-47251-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation