Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
прогр реал преобр формата TPTP или DFG в пренексную форму
05.10.2014, 12:20
Здравствуйте !
Подскажите существующую програмную реализацию для преобразования формулы логики первого порядка из формата TPTP или DFG в пренексную форму (без сколемизации).
С уважением Александр Дорин
arseniiv
Re: прогр реал преобр формата TPTP или DFG в пренексную форму
05.10.2014, 17:24
Последний раз редактировалось arseniiv 05.10.2014, 17:25, всего редактировалось 1 раз.
TPTP — этот? Так там формулы не обязательно логики первого порядка будут.
alex_dorin
Re: прогр реал преобр формата TPTP или DFG в пренексную форму
06.10.2014, 07:57
Да, интересуют только формулы первопорядковой логики c равенством.
arseniiv
Re: прогр реал преобр формата TPTP или DFG в пренексную форму
06.10.2014, 15:20
Ну, грамматика такого подмножества языка будет попроще, можно и своим кодом разбирать. Может, напишете парскер быстрее, чем дождётесь другого ответа.