Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic

Résumé

This paper describes a new format for representing Tarskian-style interpretations for formulae in typed first-order logic, using the TPTP TF0 language. It further describes a technique and an implemented tool for verifying models using this representation, and a tool for visualizing interpretations. The research contributes to the advancement of automated reasoning technology for model finding, which has several applications, including verification.
Fichier principal
Vignette du fichier
ModelVerification.pdf (2.76 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04317596 , version 1 (01-12-2023)

Licence

Paternité

Identifiants

Citer

Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack Mckeown. Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. LPAR 2023 - 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Jun 2023, Manizales, Colombia. ⟨10.29007/1rhx⟩. ⟨hal-04317596⟩
8 Consultations
8 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More