Abstract (may include machine translation)
Translations of legal contracts into formal specifications that can be used for assisted reasoning are currently gaining considerable attention in AI and law. Yet, the conceptual intricacy of some of the normative notions involved in legal contracts continues to provide significant challenges to formalization; in accordance with this, there is a need for developing general logic frameworks which allow for an appropriate analysis of the fundamental components of a contractual situation. In the present work, we focus on the representation of decisional and operational roles played by possibly distinct contracting parties. We provide a flexible framework, which extends term-modal logic, where such roles can be effectively formalized and emphasized.
| Original language | English |
|---|---|
| Pages (from-to) | 57-63 |
| Number of pages | 7 |
| Journal | CEUR Workshop Proceedings |
| Volume | 3904 |
| State | Published - 2025 |
| Event | 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024 - Bolzano, Italy Duration: 28 Nov 2024 → 29 Nov 2024 |
Keywords
- Formal specification of legal contracts
- decision and operation
- logics in computer science
- normative roles
- term-modal logic