Reja: I. Kirish: Neyronning ramziy ai tizimi haqida ma’lumot

Foydalanilgan adabiyotlar ro’yhati:
1. Towell, Jeffrea Jude, W. Shavlik. "Bilimga asoslangan sun'iy neyron tarmoqlar." Sun'iy intellekt 70.1–2 (1994): 119–165.
2. Garcez, Artur S. d'Avila va Gerson Zaverucha. "Aloqaviy induktiv ta'lim va mantiqiy dasturlash tizimi." Amaliy razvedka 11.1 (1999): 59–77.
3. Tran, Son N. “Cheklangan boltsman mashinalarida taklifiy bilimlarni ko'rsatish”. CoRR (2017).
4. Rocktäschel, Tim va Sebastian Riedel. "Neyron teorema isbotlari bilan bilimlar bazasini o'rganish." Avtomatlashtirilgan bilimlar bazasini qurish bo'yicha 5-seminar materiallari. 2016 yil.
5. Yang, Fan, Jilin Yang va Uilyam V. Koen. "Ma'lumot bazasini fikrlash uchun mantiqiy qoidalarni differentsial o'rganish." Neyron axborotni qayta ishlash tizimlaridagi yutuqlar. 2017 yil.
6. Evans, Richard va Edvard Grefenstette. "Shovqinli ma'lumotlardan tushuntirish qoidalarini o'rganish." Sun'iy intellekt tadqiqotlari jurnali 61 (2018): 1–64.
7. Serafini, Lusiano va Artur d'Avila Garses. "Mantiqiy tensor tarmoqlari: ma'lumotlar va bilimlardan chuqur o'rganish va mantiqiy fikrlash". arXiv preprint arXiv:1606.04422 (2016).
8. Dong, Honghua va boshqalar. "Neyron mantiqiy mashinalar." arXiv preprint arXiv: 1904.11694 (2019).