Система на ТПТП

Система на TPTP — это онлайн-интерфейс к нескольким автоматизированным системам доказательства теорем и другим инструментам автоматизированного рассуждения .Он позволяет пользователям запускать системы либо для решения задач из последних выпусков библиотеки задач TPTP , либо для решения проблем, заданных пользователем в синтаксисе TPTP.

Систему поддерживает Джефф Сатклифф из Университета Майами . В ноябре 2010 года в нем было представлено более 50 систем, включая средства доказательства теорем и средства поиска моделей. ^[1] Система на TPTP может либо запускать системы, выбранные пользователем, либо автоматически выбирать системы на основе проблемных функций и запускать их параллельно. ^[2]

Ссылки

^ Сатклифф, Джефф. «Система на ТПТП» . Проверено 4 ноября 2010 г.
^ Сатклифф, Джефф; Д. Сейфанг (1999). «Умный селективный параллелизм соревнований ATP». Материалы двенадцатой Международной конференции Флоридского общества исследований искусственного интеллекта : 341–345.

Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее .

[1] Сатклифф, Джефф. «Система на ТПТП» . Проверено 4 ноября 2010 г.

[2] Сатклифф, Джефф; Д. Сейфанг (1999). «Умный селективный параллелизм соревнований ATP». Материалы двенадцатой Международной конференции Флоридского общества исследований искусственного интеллекта : 341–345.

[1]

[2]