Please use this identifier to cite or link to this item: http://ena.lp.edu.ua:8080/handle/ntb/41014
Title: Knowledge representation MODELS
Authors: Lenko, V. S.
Pasichnyk, V. V.
Shcherbyna, Y. M.
Affiliation: Lviv Polytechnic National University
Ivan Franko National University of Lviv
Bibliographic description (Ukraine): Lenko V. S. Knowledge representation MODELS / V. S. Lenko, V. V. Pasichnyk, Y. M. Shcherbyna // Вісник Національного університету «Львівська політехніка». Серія: Комп’ютерні науки та інформаційні технології. — Львів : Видавництво Львівської політехніки, 2017. — № 864. — С. 157–168.
Bibliographic description (International): Lenko V. S. Knowledge representation MODELS / V. S. Lenko, V. V. Pasichnyk, Y. M. Shcherbyna // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". Serie: Kompiuterni nauky ta informatsiini tekhnolohii. — Lviv : Vydavnytstvo Lvivskoi politekhniky, 2017. — No 864. — P. 157–168.
Is part of: Вісник Національного університету «Львівська політехніка». Серія: Комп’ютерні науки та інформаційні технології, 864, 2017
Journal/Collection: Вісник Національного університету «Львівська політехніка». Серія: Комп’ютерні науки та інформаційні технології
Issue: 864
Issue Date: 28-Mar-2017
Publisher: Видавництво Львівської політехніки
Place of the edition/event: Львів
UDC: 004.89
Keywords: knowledge representation
first-order logic
type theories
semantic networks
frames
scripts
production rules
ontologies
knowledge systems
Number of pages: 12
Page range: 157-168
Start page: 157
End page: 168
Abstract: 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.
URI: http://ena.lp.edu.ua:8080/handle/ntb/41014
Copyright owner: © Національний університет “Львівська політехніка”, 2017
© Lenko V., Pasichnyk V., Shcherbyna Y., 2017
URL for reference material: http://www
https://homotopytypetheory.org/book
http://www.math.helsinki.fi/logic/opetus/lt/lindstrom_
https://plato
https://upload.wikimedia.org/wikipedia/commons/6/67/Semantic_Net.svg
http://protege.stanford.edu/publications/
http://www.liaslab
http://jens-lehmann.org/
https://plato.stanford.edu/entries/type-theory-church
http://www.cs.ubc.ca/~hkhosrav/ai/
http://people.cs.pitt.edu/~milos/courses/cs2740/Lectures/class11.pdf
ftp://ftp.cs.bham.ac.uk/pub/
https://arxiv.org/ftp/arxiv/
http://www.cwa.mdx.ac.uk/bis2040/JohnLects/01bkb05p.ppt
References (Ukraine): 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, № 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.liaslab. 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.
References (International): 1. Hlybovets M. M., Oletskyi O. V. Shtuchnyi intelekt, K., KM Akademiia, 2002, 366 p.
2. Sowa J. Semantic networks, [Electronic resource]: 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. Lytvyn V. V. Zadachi optymizatsii struktury ta zmistu ontolohii ta metody yikh rozviazuvannia, V. V. Lytvyn, Visnyk NU "Lvivska politekhnika". Serie: Informatsiini systemy ta merezhi. –2011, No 715 – P. 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, [Electronic resource]: http://www.math.helsinki.fi/logic/opetus/lt/lindstrom_ theorem1.pdf.
8. Stanford Encyclopedia of Philosophy. Type Theory, [Electronic resource]: 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, [Electronic resource]: https://upload.wikimedia.org/wikipedia/commons/6/67/Semantic_Net.svg.
11. McKeown K. Semantic Nets, Frames, World Representation, [Electronic resource]: 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. Lytvyn V. V. Otsinka novyzny znan pid chas avtomatychnoi rozbudovy ontolohii, V. V. Lytvyn, A. S. Melnyk, V. Ya. Kraiovskyi, Visnyk NU "Lvivska politekhnika". Serie: Informatsiini systemy ta merezhi, 2011, No 699 – P. 343-352.
17. Noy N., McGuinness D. Ontology Development 101: A Guide to Creating Your First Ontology, [Electronic resource]: 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, [Electronic resource]: http://www.liaslab. 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, [Electronic resource]: 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. NikolskyiIu. V., Pasichnyk V. V., Shcherbyna Yu. M. Systemy shtuchnoho intelektu, Lviv., Mahnoliia-2006, 2010, 279 p.
26. Stanford Encyclopedia of Philosophy. Church’s Type Theory, [Electronic resource]: https://plato.stanford.edu/entries/type-theory-church.
27. Khosravi H. Knowledge Representation using first-order logic, [Electronic resource]: http://www.cs.ubc.ca/~hkhosrav/ai/ slides/chapter8.pdf.
28. Hauskrecht M. Production systems. Frame-based representations, [Electronic resource]: http://people.cs.pitt.edu/~milos/courses/cs2740/Lectures/class11.pdf.
29. Costea I. Scripts, [Electronic resource]: http://www. csun.edu /~icostea/SP08/MSE614/Week_5_Session/ Scripts handout Week5.rtf.
30. Kerber M., Knowledge Representation I, [Electronic resource]: 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, [Electronic resource]: https://arxiv.org/ftp/arxiv/ papers/1209/1209.3869.pdf.
37. Huyck C. Knowledge Representation, Semantic Nets, Frames, Scripts, [Electronic resource]: 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.
Content type: Article
Appears in Collections:Комп'ютерні науки та інформаційні технології. – 2017. – №864



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.