2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 прогр реал преобр формата TPTP или DFG в пренексную форму
Сообщение05.10.2014, 12:20 


08/03/11
273
Здравствуйте !

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

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

 Профиль  
                  
 
 Re: прогр реал преобр формата TPTP или DFG в пренексную форму
Сообщение05.10.2014, 17:24 
Заслуженный участник


27/04/09
28128
TPTP — этот? Так там формулы не обязательно логики первого порядка будут.

 Профиль  
                  
 
 Re: прогр реал преобр формата TPTP или DFG в пренексную форму
Сообщение06.10.2014, 07:57 


08/03/11
273
Да, интересуют только формулы первопорядковой логики c равенством.

 Профиль  
                  
 
 Re: прогр реал преобр формата TPTP или DFG в пренексную форму
Сообщение06.10.2014, 15:20 
Заслуженный участник


27/04/09
28128
Ну, грамматика такого подмножества языка будет попроще, можно и своим кодом разбирать. Может, напишете парскер быстрее, чем дождётесь другого ответа. :-)

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 4 ] 

Модераторы: Karan, Toucan, PAV, maxal, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group