2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 прогр реал преобр формата TPTP или DFG в пренексную форму
Сообщение05.10.2014, 12:20 
Здравствуйте !

Подскажите существующую програмную реализацию для преобразования формулы логики первого
порядка из формата TPTP или DFG в пренексную форму (без сколемизации).

С уважением Александр Дорин

 
 
 
 Re: прогр реал преобр формата TPTP или DFG в пренексную форму
Сообщение05.10.2014, 17:24 
TPTP — этот? Так там формулы не обязательно логики первого порядка будут.

 
 
 
 Re: прогр реал преобр формата TPTP или DFG в пренексную форму
Сообщение06.10.2014, 07:57 
Да, интересуют только формулы первопорядковой логики c равенством.

 
 
 
 Re: прогр реал преобр формата TPTP или DFG в пренексную форму
Сообщение06.10.2014, 15:20 
Ну, грамматика такого подмножества языка будет попроще, можно и своим кодом разбирать. Может, напишете парскер быстрее, чем дождётесь другого ответа. :-)

 
 
 [ Сообщений: 4 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group