Introduction
What is knowledge?
In a very generic way, knowledge can be defined as information (which can be expressed in the form of propositions) from the environment.
What is knowledge representation?
Again, in simple words, can be defined as symbols used to represent the propositions.
What is knowledge representation and reasoning?
One way to define it is as the manipulation of symbols encoding propositions to produce representations of new propositions.
The question of representing knowledge is a key issue in artificial intelligence: how can human knowledge of all kinds be represented by a computer language, and in such a way that computers can use this knowledge for purposes of reasoning? Modern computer applications have led to generalized use of knowledge representations in various contexts, including information search, simulation, web semantic ontology description.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Coppin, B.: Artificial intelligence illuminated. Jones and Bartlett, USA (2004)
http://www.onlinefreeebooks.net/free-ebooks-computer-programming-technology/artificial-intelligence/artificial-intelligence-course-material-pdf.html (accessed on December 22, 2010)
Robinson, J.A.: Logic, Form and Function: The Mechanization of Deductive Reasoning. Elsevier Science, Amsterdam (1980)
Burckert, H.J.: A Resolution Principle for a Logic With Restricted Quantifiers. Springer, Heidelberg (1992)
Jardine, L., Silverthorne, M. (eds.): Francis Bacon: The New Organon. Cambridge University Press, Cambridge (2002)
Büning, H.K., Lettmann, T.: Propositional Logic: Deduction and Algorithms. Cambridge University Press, Cambridge (1999)
Epstein, R.L.: Predicate Logic: The Semantic Foundations of Logic. Wadsworth Publishing, Belmont (2000)
Epstein, R.L.: Propositional Logics: The Semantic Foundations of Logic. Wadsworth Publishing, Belmont (2000)
Kelly, J.: The Essence of Logic. Prentice-Hall, Englewood Cliffs (1997)
Pospesel, H.: Introduction to Logic: Propositional Logic. Prentice-Hall, Englewood Cliffs (1999)
Reeves, S., Clarke, M.: Logic for Computer Science. Addison-Wesley, Reading (1993)
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Grosan, C., Abraham, A. (2011). Knowledge Representation and Reasoning. In: Intelligent Systems. Intelligent Systems Reference Library, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21004-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-21004-4_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21003-7
Online ISBN: 978-3-642-21004-4
eBook Packages: EngineeringEngineering (R0)