Skip to main content

The Phos Conceptual Language for Knowledge Representation

  • Chapter
Engineering Systems with Intelligence

Part of the book series: Microprocessor-Based and Intelligent Systems Engineering ((ISCA,volume 9))

Abstract

The role of a Knowledge Representation Language, as Brachman and Levesque described, is to support the explicit encoding of knowledge in a well specified way. Moreover, as they describe, “a representation system must provide access to facts implicit in the knowledge base. In other words, a representation component must perform automatic inferences for its users…”.

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover 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

  1. G. Abrett, M.H. Burstein, “The KREME knowledge editing environment”, Int.J. Man-Machine Studies 27, pp 103–126.

    Google Scholar 

  2. G. Berg_Gross, M. Price, “Acquiring and Managing Knowledge Using a Conceptual Structures Approach: Introduction and Framework” IEEE Transactions on Systems, Man and Cybernetics, Vol 19, No 3, pp 513–527 (1989)

    Article  Google Scholar 

  3. R.J. Brachman, “What’s in a concept:structural fundations for semantic networks”, Int.J. Man_Machine Studies, 9, pp 127–152 (1977)

    Article  Google Scholar 

  4. R.J. Brachman, H. Levesque, eds “Readings in Knowledge Representation”, Morgan Kaufmann 1985.

    Google Scholar 

  5. B. Chandrasekaran, M. Tanner, J. Josephson, “Explaining Control Strategies in Problem Solving” IEEE Expert, pp 9–24 (1989).

    Google Scholar 

  6. P. Cohen, J. DeLisio, D. Hart, “A Declarative Representation of Control Knowledge”, IEEE Trans. on Systems, Mam and Cybernetics, Vol 19, No 3, pp 546–557 (1989)

    Article  Google Scholar 

  7. R. Fikes, T. Kehler, “The Role of Frame_Based Representation in Reasoning”, Communications of the ACM, Vol 28, No 9, pp 904–920 (1985).

    Article  Google Scholar 

  8. M. Georgeff, A. Lansky, “Procedural Knowledge”, Proceedings of IEEE Vol 74, No 10, pp 1383–1398 (1986)

    Article  Google Scholar 

  9. H. Levesque, J. Mylopoulos, “A Procedural Semantics for Semantic Networks”, Editor N.V. Findler, Associative Networks, Academic Press pp 93–120 (1979).

    Google Scholar 

  10. Lenat, Feighanbaum, “On the thresholds of Knowledge”, Artificial Intelligence, 47, pp 185–250, (1991).

    Article  MathSciNet  Google Scholar 

  11. M. Moser, “An overview of NIKL, the new implementation of KL-ONE”, Bolt Benarek and Newman Inc. Report No 4842, pp 233–260.

    Google Scholar 

  12. W.A. Woods, “Important Issues in Knowledge Representation”, Proceedings of the IEEE, Vol 74, No 10, pp 1322–1334 (1986).

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Vouros, G.A., Spyropoulos, C.D. (1991). The Phos Conceptual Language for Knowledge Representation. In: Tzafestas, S.G. (eds) Engineering Systems with Intelligence. Microprocessor-Based and Intelligent Systems Engineering, vol 9. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-2560-4_4

Download citation

  • DOI: https://doi.org/10.1007/978-94-011-2560-4_4

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-5130-9

  • Online ISBN: 978-94-011-2560-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics