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 |
Externí odkaz: |
|