An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915918122057728 |
|---|---|
| author | Martina, Antoine Steen, Alexander |
| author_facet | Martina, Antoine Steen, Alexander |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_08375 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic Martina, Antoine Steen, Alexander Logic in Computer Science Artificial Intelligence 68T27, 68V15, 03B16 I.2.3; I.2.4; F.4.1 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. |
| title | An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic |
| topic | Logic in Computer Science Artificial Intelligence 68T27, 68V15, 03B16 I.2.3; I.2.4; F.4.1 |
| url | https://arxiv.org/abs/2312.08375 |