Skip to main content
SpringerLink
Log in

Knowledge Representation for Automated Reasoning

  • Conference paper
Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2010)

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

Abstract

The issue of knowledge representation has been one of the main problems of artificial intelligence since its first attempts at automated reasoning. Two streams of the evolution of knowledge representation tools may be observed. The first one, developed mainly at academia, results in theoretically sound, but usually inefficient systems. The second one, related to software developers, puts high emphasis on pragmatism and often remains resistant to adopting new results of the theoretical research. None of them has achieved the goal of developing a satisfactory solution, yet. Since over the last few years knowledge representation has gained more attention, particularly in the context of the Semantic Web, it seems reasonable to make a short review of the evolution of knowledge representation systems.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

  1. Bobrow, D.G., Winograd, T.A.: An overview of KRL, a Knowledge Representation Language. Cognitive Science 1, 3–46 (1977)

    Article  Google Scholar 

  2. Brachman, R.J., Schmolze, J.G.: An overview of the KL-ONE knowledge representation system. Cognitive Science: A Multidisciplinary Journal 9, 171–216 (1985)

    Article  Google Scholar 

  3. Buchanan, B.G., Shortliffe, E.H. (eds.): Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley, Reading (1984)

    Google Scholar 

  4. Colmerauer, A., Roussel, P.: The birth of PROLOG. In: Bergin, T.J., Gibson, R.G. (eds.) Programming Languages. ACM Press, Addison-Wesley (1996)

    Google Scholar 

  5. Davis, R., Shrobe, H., Szolovits, P.: What is a Knowledge Representation? AI Magazine 14, 17–33 (1993)

    Google Scholar 

  6. Donini, F., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems 10, 227–252 (1998)

    Article  Google Scholar 

  7. Józefowska, J., Ławrynowicz, A., Łukaszewski, T.: The role of semantics in mining frequent patterns from knowledge bases in description logics with rules. Theory and Practice of Logic Programming (to appear)

    Google Scholar 

  8. Kowalski, R.A., Kuehner, D.: Linear resolution with selection funtion. Artificial Intelligence 2, 227–260 (1971)

    Article  MATH  MathSciNet  Google Scholar 

  9. Lenat, D.B., Guha, R.V., Pittman, K., Pratt, D., Shepherd, M.: Cyc: toward programs with common sense. Communications of the ACM 33, 30–49 (1990)

    Article  Google Scholar 

  10. Lindsay, R.K., Buchanan, B.G., Feigenbaum, E.A., Lederberg, J.: Applications of Artificial Intelligence for Organic Chemistry: The Dendral Project. McGraw Hill, New York (1980)

    Google Scholar 

  11. Miller, G.A.: WordNet: a lexical database for English. Communications of the ACM 38, 39–41 (1995)

    Article  Google Scholar 

  12. Minsky, M.: A framework for representing knowledge. In: Winston, P. (ed.) The psychology of computer vision. McGraw-Hill, New York (1975)

    Google Scholar 

  13. Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 549–563. Springer, Heidelberg (2004)

    Google Scholar 

  14. Nilsson, N.J.: The Quest for Artificial Intelligence. Cambridge University Press, Cambridge (2010)

    Google Scholar 

  15. Patterson, K., Nestor, P.J., Rogers, T.T.: Where do you know what you know? The representation of semantic knowledge in the human brain. Nature Reviews 8, 976–987 (2007)

    Article  Google Scholar 

  16. Robinson, J.A.: A machine-oriented logic based on the resolution principle. Journal of the ACM 12, 23–41 (1965)

    Article  MATH  Google Scholar 

  17. Shank, R.C.: Conceptual Information Processing. Elsevier, New York (1975)

    Google Scholar 

  18. Winograd, T.: Procedures as a representation of data in a computer program for understanding natural language. Cognitive Psychology 3, 1–191 (1972)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computing Science, Poznań University of Technology, ul. Piotorowo 2, 60-965, Poznań, Poland

    Joanna Józefowska

Authors
  1. Joanna Józefowska
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Gdynia Maritime University, 81-221, Gdynia, Poland

    Piotr Jędrzejowicz

  2. Institute of Informatics, Wroclaw University of Technology, Str. Wyb. Wyspianskiego 27, 50-370, Wroclaw, Poland

    Ngoc Thanh Nguyen

  3. University of Brighton, BN2 4GJ, Brighton, United Kingdom

    Robert J. Howlet

  4. University of South Australia, Mawson Lakes, 5095, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Józefowska, J. (2010). Knowledge Representation for Automated Reasoning. In: Jędrzejowicz, P., Nguyen, N.T., Howlet, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2010. Lecture Notes in Computer Science(), vol 6070. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13480-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-13480-7_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-13479-1

  • Online ISBN: 978-3-642-13480-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation