Шаповалова, С.І,
(Математичне та комп'ютерне моделювання. Серія: Технічні науки, 2020)
У статті запропоновано формалізацію представлення в Erlang продукційної моделі представлення знань та відповідне представлення продукційних правил, умовна частина яких відповідає логіці першого порядку. Метою роботи є ...