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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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
Bobrow, D.G., Winograd, T.A.: An overview of KRL, a Knowledge Representation Language. Cognitive Science 1, 3–46 (1977)
Brachman, R.J., Schmolze, J.G.: An overview of the KL-ONE knowledge representation system. Cognitive Science: A Multidisciplinary Journal 9, 171–216 (1985)
Buchanan, B.G., Shortliffe, E.H. (eds.): Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley, Reading (1984)
Colmerauer, A., Roussel, P.: The birth of PROLOG. In: Bergin, T.J., Gibson, R.G. (eds.) Programming Languages. ACM Press, Addison-Wesley (1996)
Davis, R., Shrobe, H., Szolovits, P.: What is a Knowledge Representation? AI Magazine 14, 17–33 (1993)
Donini, F., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems 10, 227–252 (1998)
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)
Kowalski, R.A., Kuehner, D.: Linear resolution with selection funtion. Artificial Intelligence 2, 227–260 (1971)
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)
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)
Miller, G.A.: WordNet: a lexical database for English. Communications of the ACM 38, 39–41 (1995)
Minsky, M.: A framework for representing knowledge. In: Winston, P. (ed.) The psychology of computer vision. McGraw-Hill, New York (1975)
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)
Nilsson, N.J.: The Quest for Artificial Intelligence. Cambridge University Press, Cambridge (2010)
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)
Robinson, J.A.: A machine-oriented logic based on the resolution principle. Journal of the ACM 12, 23–41 (1965)
Shank, R.C.: Conceptual Information Processing. Elsevier, New York (1975)
Winograd, T.: Procedures as a representation of data in a computer program for understanding natural language. Cognitive Psychology 3, 1–191 (1972)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)