The TPTP Format for Interpretations

Abstract

This talk describes the (new) TPTP format for representing interpretations. The sources and properties of interpretations, which influenced the design of the format, are discussed. The format for Tarskian, Herbrand, and Kripke interpretations is described. Tools for verification and visualization of the interpretations are described.