TPTP: Różnice pomiędzy wersjami
Wygląd
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
Zgłoszono do usunięcia Znacznik: AjaxQuickDelete |
rozbudowa, , źródła/przypisy |
||
Linia 1: | Linia 1: | ||
{{DNU|artykuł|podstrona=2024:04:18:TPTP}} |
{{DNU|artykuł|podstrona=2024:04:18:TPTP}} |
||
'''TPTP''' ('''Thousands of Problems for Theorem Provers''') – biblioteka problemów dla systemów [[automatyczne dowodzenie twierdzeń|automatycznego dowodzenia twierdzeń]]<ref |
'''TPTP''' ('''Thousands of Problems for Theorem Provers''') – biblioteka problemów dla systemów [[automatyczne dowodzenie twierdzeń|automatycznego dowodzenia twierdzeń]]<ref name="Springer"/>. Obejmuje ponad 15 tysięcy [[problem abstrakcyjny|problemów abstrakcyjnych]]<ref name="TPTPmanual"/>. |
||
Biblioteka operuje własnym językiem ''Typed Higher-order Form'' (THF), który jest czytelny dla ludzi, łatwo [[Analizator składniowy|parsowalny]] dla komputerów i bazuje na [[Prolog (język programowania)|Prolog]]u. Są na niej oparte problemy rozwiązaywane podczas konkursu [[CADE ATP System Competition]]<ref name="Springer"/>. |
|||
{{fakt|data=2015-12|Najnowsza wersja (na sierpień 2006) zawiera 8984 problemów.}} |
|||
== Zobacz też == |
|||
* [[CASC]] |
|||
== Przypisy == |
== Przypisy == |
||
<references> |
|||
{{Przypisy}} |
|||
* <ref name="Springer">{{Cytuj | autor = Geoff Sutcliffe, Christoph Benzmueller, Chad E. Brown, Frank Theiss | tytuł = Progress in the Development of Automated Theorem Proving for Higher-order Logic | doi = 10.1007/978-3-642-02959-2_8 | język = en}}</ref> |
|||
* <ref name="TPTPmanual">{{Cytuj stronę | url = https://tptp.org/TPTP/TR/TPTPTR.shtml | tytuł = Inside the TPTP | opublikowany = tptp.org | język = en | data dostępu = 2024-04-19}}</ref> |
|||
</references> |
|||
[[Kategoria:Oprogramowanie naukowe]] |
[[Kategoria:Oprogramowanie naukowe]] |
Wersja z 23:45, 19 kwi 2024
TPTP (Thousands of Problems for Theorem Provers) – biblioteka problemów dla systemów automatycznego dowodzenia twierdzeń[1]. Obejmuje ponad 15 tysięcy problemów abstrakcyjnych[2].
Biblioteka operuje własnym językiem Typed Higher-order Form (THF), który jest czytelny dla ludzi, łatwo parsowalny dla komputerów i bazuje na Prologu. Są na niej oparte problemy rozwiązaywane podczas konkursu CADE ATP System Competition[1].
Przypisy
- ↑ a b Geoff Sutcliffe i inni, Progress in the Development of Automated Theorem Proving for Higher-order Logic, DOI: 10.1007/978-3-642-02959-2_8 (ang.).
- ↑ Inside the TPTP. tptp.org. [dostęp 2024-04-19]. (ang.).