Loading…
Academic Journal
Особенности программной реализации логических задач на языке Prolog
Ольга Николаевна Половикова, Владислав Владиславович Ширяев, Николай Михайлович Оскорбин, Лариса Ленгардовна Смолякова
Известия Алтайского государственного университета, Iss 1(117), Pp 116-120 (2021)
Saved in:
| Title | Особенности программной реализации логических задач на языке Prolog |
|---|---|
| Authors | Ольга Николаевна Половикова, Владислав Владиславович Ширяев, Николай Михайлович Оскорбин, Лариса Ленгардовна Смолякова |
| Publication Year |
2021
|
| Source |
Известия Алтайского государственного университета, Iss 1(117), Pp 116-120 (2021)
|
| Description |
Одним из перспективных направлений использования языка Prolog является решение логических задач. В данном исследовании обозначен подход поиска ответа на основе процедуры генерации состояния и процедуры проверки. Представлены решение логической задачи, которое демонстрирует на практике предлагаемый подход, и способ задания процедуры для генерации состояний. В предложенном примере генерируется битовая цепочка, которая определяет код для буквы в решении прикладной задачи. Построение ответа средствами генерации кода с проверкой позволяет не хранить в базе знаний бинарное дерево всех возможных кодов. Процесс генерации новых состояний можно связать с обучением программы и с динамическим формированием базы знаний. Подход базируется на возможностях программных сред для добавления фактов и правил к уже имеющимся, которые были получены в качестве результатов работы программы либо ее этапов. В данном случае генерирующим правилом является вся программа. Анализ построенных и апробированных процедур динамической генерации состояний и генерации фактов позволяет говорить о применимости такого решения для определенных прикладных задач.
|
| Document Type |
article
|
| Language |
English
Russian |
| Publisher Information |
Altai State University, 2021.
|
| Subject Terms | |
