TPTP
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/07/02 00:24 UTC 版)
TPTP (Thousands of Problems for Theorem Provers)[1] とは自由に利用可能な自動定理証明のための問題集である。これは自動推論アルゴリズムの効率の評価のために使用される。 [2][3][4] 問題は一階述語論理や高階述語論理のためのシンプルなテキストベースの形式で表される。[5] TPTPはCASCの中で問題の収集元として使われている。
- ^ “The TPTP Problem Library for Automated Theorem Proving”. 2023年6月25日閲覧。
- ^ Hoder, Kryštof; Voronkov, Andrei (2009). “Comparing Unification Algorithms in First-Order Theorem Proving”. KI 2009: Advances in Artificial Intelligence. Lecture Notes in Computer Science. 5803. pp. 435–443. doi:10.1007/978-3-642-04617-9_55. ISBN 978-3-642-04616-2
- ^ Hurd, Joe (2003). First-Order Proof Tactics in Higher-Order Logic Theorem Provers.
- ^ Segre, Alberto Maria; Sturgill, David B. (1994). “Using Hundreds of Workstations to Solve First-Order Logic Problems”. AAAI-94 Proceedings..
- ^ Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff (2008). “THF0 – The Core of the TPTP Language for Higher-Order Logic”. Automated Reasoning. Lecture Notes in Computer Science. 5195. pp. 491–506. doi:10.1007/978-3-540-71070-7_41. ISBN 978-3-540-71069-1
[続きの解説]
「TPTP」の続きの解説一覧
- 1 TPTPとは
- 2 TPTPの概要
TPTP (Test & Performance Tools Platform)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/18 04:22 UTC 版)
「Eclipse (統合開発環境)」の記事における「TPTP (Test & Performance Tools Platform)」の解説
テスト、モニタリング、トレーシング、プロファイリングなどを可能にするプラグイン。
※この「TPTP (Test & Performance Tools Platform)」の解説は、「Eclipse (統合開発環境)」の解説の一部です。
「TPTP (Test & Performance Tools Platform)」を含む「Eclipse (統合開発環境)」の記事については、「Eclipse (統合開発環境)」の概要を参照ください。
ウィキペディア小見出し辞書の「TPTP」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- TPTPのページへのリンク
