arXiv Open Access 2023

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic

Antoine Martina Alexander Steen

Lihat Sumber

Abstrak

An approach for encoding abstract dialectical frameworks and their semantics into classical higher-order logic is presented. Important properties and semantic relationships are formally encoded and proven using the proof assistant Isabelle/HOL. This approach allows for the computer-assisted analysis of abstract dialectical frameworks using automated and interactive reasoning tools within a uniform logic environment. Exemplary applications include the formal analysis and verification of meta-theoretical properties, and the generation of interpretations and extensions under specific semantic constraints.

Topik & Kata Kunci

cs.LO cs.AI

Penulis (2)

Antoine Martina

Alexander Steen

Format Sitasi

APA MLA BibTeX

Martina, A., Steen, A. (2023). An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic. https://arxiv.org/abs/2312.08375

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓