ПОСТРОЕНИЕ ОБУЧАЮЩЕГО СРЕДСТВА (НА ОСНОВЕ АЛГОРИТМА ПРОВЕРКИ ПРОТИВОРЕЧИВОСТИ МНОЖЕСТВА ДИЗЪЮНКТОВ)

Autor: Стась Андрей Николаевич, Карташов Денис Васильевич
Jazyk: English<br />Russian
Rok vydání: 2017
Předmět:
Zdroj: Vestnik Tomskogo Gosudarstvennogo Pedagogičeskogo Universiteta, Iss 12, Pp 184-187 (2017)
Druh dokumentu: article
ISSN: 1609-624X
DOI: 10.23951/1609-624X-2017-12-184-187
Popis: Рассмотрена реализация алгоритма проверки множества дизъюнктов. Используется автоматная грамматика для описания языка представления дизъюнктов, метод резолюции для проверки их противоречивости и поиск в глубину для автоматизации стратегии OL-опровержения. Данный алгоритм может применяться при автоматической проверке доказуемости или недоказуемости теоремы на основе множества некоторых аксиом. Пошаговая детализация данного алгоритма может быть использована в качестве дополнительного средства при обучении методу резолюции и поиску в пространстве состояний, а также основам формальных языков.
Databáze: Directory of Open Access Journals