Формалізація списків у метамові нормальних форм знань
DOI:
https://doi.org/10.15407/dopovidi2017.10.018Ключові слова:
визначення, метамова нормальних форм знань, предикат, рекурсія, списокАнотація
Вперше запропоновано формалізацію предикатів на списках у метамові нормальних форм знань, базуючись на відомих описах цих понять на Прологу, які використовують списковий домен. Серед описаних предикатів: додавання елемента в список, видалення елемента, видалення повторів, приналежність елемента списку, пошук останнього елемента списку, пошук сусідніх елементів списку, конкатенація списків, реверс й ін.
Завантаження
Посилання
Abelson, H., Sussman, G. J. & Sussman, J. (1996). Structure and interpretation of computer programs. Cambridge: MIT Press.
Haskell 98. (2003). Language and Libraries. The Revised Report. Ed. S.P. Jones. Cambridge Academ.
Seibel, Peter. (2005). Practical Common Lisp. Apress. https://doi.org/10.1007/978-1-4302-0017-8
Bratko, Ivan. (2012). Prolog Programming for Artificial Intelligence. Third Edition. Addison-Wesley.
Adamenko, A. N. & Kuchukov, A. M. (2003). Logical Programming and Visual Prolog. St. Petersburg: BHVPetersburg (in Russian).
Clocksin, William., Mellish & Christopher, S. (2003). Programming in Prolog: Using the ISO Standard 5th Edition. Berlin etc.: Springer. https://doi.org/10.1007/978-3-642-55481-0
Kurgaev, A. & Grygoryev, S. (2015). The normal forms of knowledge. Dopov. Nac. acad. nauk Ukr. No. 11, pp. 36-43 (in Russian).
Kurgaev, A. & Grygoryev, S. (2016). Metalanguage of Normal Forms of Knowledge. Cybernetics and Systems Analysis. 52(6), pp. 839-848. https://doi.org/10.1007/s10559-016-9885-3
##submission.downloads##
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Авторське право (c) 2024 Доповіді Національної академії наук України
Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial 4.0 International License.
