Knowledge representation MODELS

Simple item page
dc.citation.epage168
dc.citation.issue864
dc.citation.journalTitleВісник Національного університету «Львівська політехніка». Серія: Комп’ютерні науки та інформаційні технології
dc.citation.spage157
dc.contributor.affiliationLviv Polytechnic National University
dc.contributor.affiliationIvan Franko National University of Lviv
dc.contributor.authorLenko, V. S.
dc.contributor.authorPasichnyk, V. V.
dc.contributor.authorShcherbyna, Y. M.
dc.coverage.placenameЛьвів
dc.date.accessioned2018-05-04T13:00:54Z
dc.date.available2018-05-04T13:00:54Z
dc.date.created2017-03-28
dc.date.issued2017-03-28
dc.description.abstractThe 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.
dc.format.extent157-168
dc.format.pages12
dc.identifier.citationLenko V. S. Knowledge representation MODELS / V. S. Lenko, V. V. Pasichnyk, Y. M. Shcherbyna // Вісник Національного університету «Львівська політехніка». Серія: Комп’ютерні науки та інформаційні технології. — Львів : Видавництво Львівської політехніки, 2017. — № 864. — С. 157–168.
dc.identifier.citationenLenko 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.
dc.identifier.urihttps://ena.lpnu.ua/handle/ntb/41014
dc.language.isoen
dc.publisherВидавництво Львівської політехніки
dc.relation.ispartofВісник Національного університету «Львівська політехніка». Серія: Комп’ютерні науки та інформаційні технології, 864, 2017
dc.relation.references1. Глибовець М. М., Олецький О. В. Штучний інтелект. – К.: КМ Академія, 2002. – 366 с.
dc.relation.references2. Sowa J. Semantic networks. – [Електронний ресурс]: http://www. jfsowa.com/pubs/semnet.htm.
dc.relation.references3. C. Schank R., Abelson R.. Scripts, Plans, Goals and Understanding: an Inquiry into Human Knowledge Structures. – Lawrence Erlbaum Associates, 1977 – 256pp.
dc.relation.references4. Литвин В. В. Задачі оптимізації структури та змісту онтології та методи їх розв’язування / В. В. Литвин // Вісник НУ “Львівська політехніка”. Серія: Інформаційні системи та мережі. –2011. – № 715 – C. 203–214.
dc.relation.references5. The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. – https://homotopytypetheory.org/book, 2013. – 475 p.
dc.relation.references6. Brachman R., Levesque H. Knowledge Representation and Reasoning. – Morgan Kaufmann Publishers, 2004. – 381 pp.
dc.relation.references7. Väänänen J. Lindström’s theorem. – [Електронний ресурс]: http://www.math.helsinki.fi/logic/opetus/lt/lindstrom_ theorem1.pdf.
dc.relation.references8. Stanford Encyclopedia of Philosophy. Type Theory. – [Електронний ресурс]: https://plato. stanford.edu/entries/type-theory.
dc.relation.references9. Wadler P. Propositions as Types // Communications of the ACM. – 2015. – Vol. 58, № 2. – p. 75–-84.
dc.relation.references10. Semantic Network. – [Електронний ресурс]: https://upload.wikimedia.org/wikipedia/commons/6/67/Semantic_Net.svg.
dc.relation.references11. McKeown K. Semantic Nets, Frames, World Representation. – [Електронний ресурс]: www1.cs.columbia.edu/~kathy/cs4701/ documents/frames.ppt.
dc.relation.references12. Luger G. Artificial Intelligence, 6th Edition. – Pearson, 2008. – 784 p.
dc.relation.references13. Durkin J. Expert Systems: Design and Development, 1st edition. – Macmillan Coll Div, 1994. – 800 p.
dc.relation.references14. Floridi L. Philosophy of Computing and Information. – Blackwell, 2003. – 388pp.
dc.relation.references15. Audi R. The Cambridge Dictionary of Philosophy, 2nd edition. – Cambridge University Press, 1999. – 1039 pp.
dc.relation.references16. Литвин В. В. Оцінка новизни знань під час автоматичної розбудови онтологій / В. В. Литвин, А. С. Мельник, В. Я. Крайовський // Вісник НУ “Львівська політехніка”. Серія: Інформаційні системи та мережі. – 2011. – № 699 – с. 343-352.
dc.relation.references17. 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.
dc.relation.references18. 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.
dc.relation.references19. 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.
dc.relation.references20. Lehmann J., Völker J. An Introduction to Ontology Learning. – [Електронний ресурс]: http://jens-lehmann.org/ files/2014/pol_introduction.pdf.
dc.relation.references21. Epstein R. Classical mathematical logic: the semantic foundations of logic. – Princeton University Press, 2006. – 544 p.
dc.relation.references22. Harmelen F., Lifschitz V., Porter B. Handbook of Knowledge Representation. – Elsevier Science, 2007. – 1005 p.
dc.relation.references23. Russell S., Norvig P. Artificial Intelligence. A Modern Approach. 3rd edition. – Prentice Hall, 2009. – 1152 pp.
dc.relation.references24. 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.
dc.relation.references25. НікольськийЮ. В., Пасічник В. В., Щербина Ю. М. Системи штучного інтелекту. – Львів.: Магнолія-2006, 2010. – 279 с.
dc.relation.references26. Stanford Encyclopedia of Philosophy. Church’s Type Theory. – [Електронний ресурс]: https://plato.stanford.edu/entries/type-theory-church.
dc.relation.references27. Khosravi H. Knowledge Representation using first-order logic. – [Електронний ресурс]: http://www.cs.ubc.ca/~hkhosrav/ai/ slides/chapter8.pdf.
dc.relation.references28. Hauskrecht M. Production systems. Frame-based representations. – [Електронний ресурс]: http://people.cs.pitt.edu/~milos/courses/cs2740/Lectures/class11.pdf.
dc.relation.references29. Costea I. Scripts. – [Електронний ресурс]: http://www. csun.edu /~icostea/SP08/MSE614/Week_5_Session/ Scripts handout Week5.rtf.
dc.relation.references30. Kerber M., Knowledge Representation I. – [Електронний ресурс]: ftp://ftp.cs.bham.ac.uk/pub/ authors/ M. Kerber/ vTeaching/AI/l6.pdf.
dc.relation.references31. 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.
dc.relation.references32. Baral C. Knowledge Representation, Reasoning and Declarative Problem Solving. – Cambridge University Press, 2003. – 544 p.
dc.relation.references33. Davies J., Fensel D., Harmelen F. On- To-Knowledge: Content-Driven Knowledge-Management through Evolving Ontologies. – John Wiley & Sons, 2002. – 312 p.
dc.relation.references34. Sowa J. Knowledge Representation: Logical, Philosophical, and Computational Foundations. – Blackwell, 1999. – 608 p.
dc.relation.references35. Chater N., Oaksford M. The probabilistic mind: Prospects for Bayesian cognitive science. – Oxford University Press, 2008. – 534 p.
dc.relation.references36. 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.
dc.relation.references37. Huyck C. Knowledge Representation, Semantic Nets, Frames, Scripts. – [Електронний ресурс]: http://www.cwa.mdx.ac.uk/bis2040/JohnLects/01bkb05p.ppt.
dc.relation.references38. Bush V. As We May Think. – Atlantic Monthly, 1945. – 10 p.
dc.relation.references39. 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.
dc.relation.references40. Munn K., Smith J. Applied Ontology: An Introduction. – Ontos Verlag, 2009. – 342 p.
dc.relation.referencesen1. Hlybovets M. M., Oletskyi O. V. Shtuchnyi intelekt, K., KM Akademiia, 2002, 366 p.
dc.relation.referencesen2. Sowa J. Semantic networks, [Electronic resource]: http://www. jfsowa.com/pubs/semnet.htm.
dc.relation.referencesen3. C. Schank R., Abelson R.. Scripts, Plans, Goals and Understanding: an Inquiry into Human Knowledge Structures, Lawrence Erlbaum Associates, 1977 – 256pp.
dc.relation.referencesen4. 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.
dc.relation.referencesen5. The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics, https://homotopytypetheory.org/book, 2013, 475 p.
dc.relation.referencesen6. Brachman R., Levesque H. Knowledge Representation and Reasoning, Morgan Kaufmann Publishers, 2004, 381 pp.
dc.relation.referencesen7. Väänänen J. Lindström’s theorem, [Electronic resource]: http://www.math.helsinki.fi/logic/opetus/lt/lindstrom_ theorem1.pdf.
dc.relation.referencesen8. Stanford Encyclopedia of Philosophy. Type Theory, [Electronic resource]: https://plato. stanford.edu/entries/type-theory.
dc.relation.referencesen9. Wadler P. Propositions as Types, Communications of the ACM, 2015, Vol. 58, No 2, p. 75–-84.
dc.relation.referencesen10. Semantic Network, [Electronic resource]: https://upload.wikimedia.org/wikipedia/commons/6/67/Semantic_Net.svg.
dc.relation.referencesen11. McKeown K. Semantic Nets, Frames, World Representation, [Electronic resource]: www1.cs.columbia.edu/~kathy/cs4701/ documents/frames.ppt.
dc.relation.referencesen12. Luger G. Artificial Intelligence, 6th Edition, Pearson, 2008, 784 p.
dc.relation.referencesen13. Durkin J. Expert Systems: Design and Development, 1st edition, Macmillan Coll Div, 1994, 800 p.
dc.relation.referencesen14. Floridi L. Philosophy of Computing and Information, Blackwell, 2003, 388pp.
dc.relation.referencesen15. Audi R. The Cambridge Dictionary of Philosophy, 2nd edition, Cambridge University Press, 1999, 1039 pp.
dc.relation.referencesen16. 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.
dc.relation.referencesen17. 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.
dc.relation.referencesen18. 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.
dc.relation.referencesen19. 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.
dc.relation.referencesen20. Lehmann J., Völker J. An Introduction to Ontology Learning, [Electronic resource]: http://jens-lehmann.org/ files/2014/pol_introduction.pdf.
dc.relation.referencesen21. Epstein R. Classical mathematical logic: the semantic foundations of logic, Princeton University Press, 2006, 544 p.
dc.relation.referencesen22. Harmelen F., Lifschitz V., Porter B. Handbook of Knowledge Representation, Elsevier Science, 2007, 1005 p.
dc.relation.referencesen23. Russell S., Norvig P. Artificial Intelligence. A Modern Approach. 3rd edition, Prentice Hall, 2009, 1152 pp.
dc.relation.referencesen24. 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.
dc.relation.referencesen25. NikolskyiIu. V., Pasichnyk V. V., Shcherbyna Yu. M. Systemy shtuchnoho intelektu, Lviv., Mahnoliia-2006, 2010, 279 p.
dc.relation.referencesen26. Stanford Encyclopedia of Philosophy. Church’s Type Theory, [Electronic resource]: https://plato.stanford.edu/entries/type-theory-church.
dc.relation.referencesen27. Khosravi H. Knowledge Representation using first-order logic, [Electronic resource]: http://www.cs.ubc.ca/~hkhosrav/ai/ slides/chapter8.pdf.
dc.relation.referencesen28. Hauskrecht M. Production systems. Frame-based representations, [Electronic resource]: http://people.cs.pitt.edu/~milos/courses/cs2740/Lectures/class11.pdf.
dc.relation.referencesen29. Costea I. Scripts, [Electronic resource]: http://www. csun.edu /~icostea/SP08/MSE614/Week_5_Session/ Scripts handout Week5.rtf.
dc.relation.referencesen30. Kerber M., Knowledge Representation I, [Electronic resource]: ftp://ftp.cs.bham.ac.uk/pub/ authors/ M. Kerber/ vTeaching/AI/l6.pdf.
dc.relation.referencesen31. 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.
dc.relation.referencesen32. Baral C. Knowledge Representation, Reasoning and Declarative Problem Solving, Cambridge University Press, 2003, 544 p.
dc.relation.referencesen33. Davies J., Fensel D., Harmelen F. On- To-Knowledge: Content-Driven Knowledge-Management through Evolving Ontologies, John Wiley & Sons, 2002, 312 p.
dc.relation.referencesen34. Sowa J. Knowledge Representation: Logical, Philosophical, and Computational Foundations, Blackwell, 1999, 608 p.
dc.relation.referencesen35. Chater N., Oaksford M. The probabilistic mind: Prospects for Bayesian cognitive science, Oxford University Press, 2008, 534 p.
dc.relation.referencesen36. 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.
dc.relation.referencesen37. Huyck C. Knowledge Representation, Semantic Nets, Frames, Scripts, [Electronic resource]: http://www.cwa.mdx.ac.uk/bis2040/JohnLects/01bkb05p.ppt.
dc.relation.referencesen38. Bush V. As We May Think, Atlantic Monthly, 1945, 10 p.
dc.relation.referencesen39. 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.
dc.relation.referencesen40. Munn K., Smith J. Applied Ontology: An Introduction, Ontos Verlag, 2009, 342 p.
dc.relation.urihttp://www
dc.relation.urihttps://homotopytypetheory.org/book
dc.relation.urihttp://www.math.helsinki.fi/logic/opetus/lt/lindstrom_
dc.relation.urihttps://plato
dc.relation.urihttps://upload.wikimedia.org/wikipedia/commons/6/67/Semantic_Net.svg
dc.relation.urihttp://protege.stanford.edu/publications/
dc.relation.urihttp://www.liaslab
dc.relation.urihttp://jens-lehmann.org/
dc.relation.urihttps://plato.stanford.edu/entries/type-theory-church
dc.relation.urihttp://www.cs.ubc.ca/~hkhosrav/ai/
dc.relation.urihttp://people.cs.pitt.edu/~milos/courses/cs2740/Lectures/class11.pdf
dc.relation.uriftp://ftp.cs.bham.ac.uk/pub/
dc.relation.urihttps://arxiv.org/ftp/arxiv/
dc.relation.urihttp://www.cwa.mdx.ac.uk/bis2040/JohnLects/01bkb05p.ppt
dc.rights.holder© Національний університет “Львівська політехніка”, 2017
dc.rights.holder© Lenko V., Pasichnyk V., Shcherbyna Y., 2017
dc.subjectknowledge representation
dc.subjectfirst-order logic
dc.subjecttype theories
dc.subjectsemantic networks
dc.subjectframes
dc.subjectscripts
dc.subjectproduction rules
dc.subjectontologies
dc.subjectknowledge systems
dc.subject.udc004.89
dc.titleKnowledge representation MODELS
dc.typeArticle

Files

Original bundle

Now showing 1 - 2 of 2
Thumbnail Image
Name:
2017n864_Lenko_V_S-Knowledge_representation_157-168.pdf
Size:
469.24 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
2017n864_Lenko_V_S-Knowledge_representation_157-168__COVER.png
Size:
448.24 KB
Format:
Portable Network Graphics
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
2.97 KB
Format:
Plain Text
Description:
Download

Collections

Комп'ютерні науки та інформаційні технології. – 2017. – №864