The TPTP Format for Interpretations
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914618329268224 |
|---|---|
| author | Sutcliffe, Geoff Steen, Alexander Fontaine, Pascal Kondylidou, Lydia |
| author_facet | Sutcliffe, Geoff Steen, Alexander Fontaine, Pascal Kondylidou, Lydia |
| contents | This paper describes the TPTP format for representing interpretations. It provides a background survey that helped ensure that the representation format is adequate for different types of interpretations: Tarskian, Herbrand, and Kripke interpretations. The needs of applications that use models are considered. The syntax and semantics of the format are expounded in detail, with multiple examples. Verification of models is discussed. Some tools that support processing the format are noted. The properties of interpretations represented in the format are discussed. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_06108 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The TPTP Format for Interpretations Sutcliffe, Geoff Steen, Alexander Fontaine, Pascal Kondylidou, Lydia Logic in Computer Science This paper describes the TPTP format for representing interpretations. It provides a background survey that helped ensure that the representation format is adequate for different types of interpretations: Tarskian, Herbrand, and Kripke interpretations. The needs of applications that use models are considered. The syntax and semantics of the format are expounded in detail, with multiple examples. Verification of models is discussed. Some tools that support processing the format are noted. The properties of interpretations represented in the format are discussed. |
| title | The TPTP Format for Interpretations |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2406.06108 |