The paper addresses an issue of knowledge representation (KR) in the intelligent systems. The most widely-used techniques of KR are considered, including first-order logic, type theories, semantic networks, frames, scripts, production rules and ontologies. Each technique is investigated for the presence of advantages and limitations of its application on practical and theoretical levels. The relationship between different approaches of knowledge representation is discussed.
1. Глибовець М. М., Олецький О. В. Штучний інтелект. – К.: КМ Академія, 2002. – 366 с.
2. Sowa J. Semantic networks. – [Електронний ресурс]: http://www. jfsowa.com/pubs/semnet.htm.
3. C. Schank R., Abelson R.. Scripts, Plans, Goals and Understanding: an Inquiry into Human Knowledge Structures. – Lawrence Erlbaum Associates, 1977 – 256pp.
4. Литвин В. В. Задачі оптимізації структури та змісту онтології та методи їх розв’язування / В. В. Литвин // Вісник НУ “Львівська політехніка”. Серія: Інформаційні системи та мережі. –2011. – № 715 – C. 203–214.
5. The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. – https://homotopytypetheory.org/book, 2013. – 475 p.
6. Brachman R., Levesque H. Knowledge Representation and Reasoning. – Morgan Kaufmann Publishers, 2004. – 381 pp.
7. Väänänen J. Lindström’s theorem. – [Електронний ресурс]: http://www.math.helsinki.fi/logic/opetus/lt/lindstrom_ theorem1.pdf.
8. Stanford Encyclopedia of Philosophy. Type Theory. – [Електронний ресурс]: https://plato. stanford.edu/entries/type-theory.
9. Wadler P. Propositions as Types // Communications of the ACM. – 2015. – Vol. 58, No 2. – p. 75–-84.
10. Semantic Network. – [Електронний ресурс]: https://upload.wikimedia.org/wikipedia/commons/6/67/Semantic_Net.svg.
11. McKeown K. Semantic Nets, Frames, World Representation. – [Електронний ресурс]: www1.cs.columbia.edu/~kathy/cs4701/ documents/frames.ppt.
12. Luger G. Artificial Intelligence, 6th Edition. – Pearson, 2008. – 784 p.
13. Durkin J. Expert Systems: Design and Development, 1st edition. – Macmillan Coll Div, 1994. – 800 p.
14. Floridi L. Philosophy of Computing and Information. – Blackwell, 2003. – 388pp.
15. Audi R. The Cambridge Dictionary of Philosophy, 2nd edition. – Cambridge University Press, 1999. – 1039 pp.
16. Литвин В. В. Оцінка новизни знань під час автоматичної розбудови онтологій / В. В. Литвин, А. С. Мельник, В. Я. Крайовський // Вісник НУ “Львівська політехніка”. Серія: Інформаційні системи та мережі. – 2011. – № 699 – с. 343-352.
17. Noy N., McGuinness D. Ontology Development 101: A Guide to Creating Your First Ontology. – [Електронний ресурс]: http://protege.stanford.edu/publications/ ontology_development/ontology101-noy-mcguinness.html.
18. Jean S., Pierra G., Ait-Ameur Y. Domain Ontologies: A Database-Oriented Analysis / Proceedings of Web Information Systems and Technologies 2006. – [Електронний ресурс]: http://www.lias- lab.fr/publications/7412/2006-WEBIST-Jean.pdf.
19. Jurisica I., Mylopoulos J., Yu E. Ontologies for Knowledge Management: An Information Systems Perspective. – Knowledge and Information Systems, Volume 6, No. 4. – 2004. – 380-401 pp.
20. Lehmann J., Völker J. An Introduction to Ontology Learning. – [Електронний ресурс]: http://jens-lehmann.org/ files/2014/pol_introduction.pdf.
21. Epstein R. Classical mathematical logic: the semantic foundations of logic. – Princeton University Press, 2006. – 544 p.
22. Harmelen F., Lifschitz V., Porter B. Handbook of Knowledge Representation. – Elsevier Science, 2007. – 1005 p.
23. Russell S., Norvig P. Artificial Intelligence. A Modern Approach. 3rd edition. – Prentice Hall, 2009. – 1152 pp.
24. Keserwani P., Mishra A. Selecting integrated approach for knowledge representation by comparative study of knowledge representation schemes // International Journal of Scientific and Research Publications. – 2013. – Vol. 3, Issue 2.
25. Нікольський Ю. В., Пасічник В. В., Щербина Ю. М. Системи штучного інтелекту. – Львів.: Магнолія-2006, 2010. – 279 с.
26. Stanford Encyclopedia of Philosophy. Church’s Type Theory. – [Електронний ресурс]: https://plato.stanford.edu/entries/type-theory-church.
27. Khosravi H. Knowledge Representation using first-order logic. – [Електронний ресурс]: http://www.cs.ubc.ca/~hkhosrav/ai/ slides/chapter8.pdf.
28. Hauskrecht M. Production systems. Frame-based representations. – [Електронний ресурс]: http://people.cs.pitt.edu/~milos/courses/cs2740/Lectures/class11.pdf.
29. Costea I. Scripts. – [Електрон- ний ресурс]: http://www. csun.edu /~icostea/SP08/MSE614/Week_5_Session/ Scripts handout Week5.rtf.
30. Kerber M., Knowledge Representation I. – [Електронний ресурс]: ftp://ftp.cs.bham.ac.uk/pub/ authors/ M. Kerber/ vTeaching/AI/l6.pdf.
31. Baader F., Calvanese D., McGuinness D., Nardi D., Patel- Schneider P. The Description Logic Handbook: Theory, Implementation, and Applications. – Cambridge University Press, 2003. – 505 p.
32. Baral C. Knowledge Representation, Reasoning and Declarative Problem Solving. – Cambridge University Press, 2003. – 544 p.
33. Davies J., Fensel D., Harmelen F. On- To-Knowledge: Content-Driven Knowledge-Management through Evolving Ontologies. – John Wiley & Sons, 2002. – 312 p.
34. Sowa J. Knowledge Representation: Logical, Philosophical, and Computational Foundations. – Blackwell, 1999. – 608 p.
35. Chater N., Oaksford M. The probabilistic mind: Prospects for Bayesian cognitive science. – Oxford University Press, 2008. – 534 p.
36. Tanwar P., Prasad T., Datta K. Hybrid technique for effective knowledge representation and a comparative study. – [Електронний ресурс]: https://arxiv.org/ftp/arxiv/ papers/1209/1209.3869.pdf.
37. Huyck C. Knowledge Representation, Semantic Nets, Frames, Scripts. – [Електронний ресурс]: http://www.cwa.mdx.ac.uk/bis2040/JohnLects/01bkb05p.ppt.
38. Bush V. As We May Think. – Atlantic Monthly, 1945. – 10 p.
39. Davies S., Allen S., Raphaelson J., Meng E., Engleman J., King R., Lewis C. Popcorn: the personal knowledge base / Proceedings of the 6th conference on Designing Interactive systems. – ACM, 2006. – 150–159 p.
40. Munn K., Smith J. Applied Ontology: An Introduction. – Ontos Verlag, 2009. – 342 p.