[Semantics] How to handle state / deontics - Githubissues

smucclaw / lam4

A functional (and hopefully in the near future, solver-aided) DSL for the law

MIT License

1 stars 0 forks source link

[Semantics] How to handle state / deontics #46

Open ym-han opened 2 months ago

ym-han commented 2 months ago

Alloy x State:

Evaluating State Modeling Techniques in Alloy
Towards an Operational Semantics for Alloy
Dash: Declarative Behavioural Modelling in Alloy (Alloy + transition systems)
dash+ implementation: https://github.com/WatForm/org.alloytools.alloy/tree/dashplus

Modelling contracts

The SLEEC group

Getir-Yaman, S., Burholt, C., Jones, M., Calinescu, R., Cavalcanti, A.: Specification and Validation of Normative Rules for Autonomous Agents
Normative Requirements Operationalization with Large Language Models

Joe's work

The Schneider group line of work:

Contract Automata: An Operational View of Contracts Between Interactive Parties
Stephen Fenech Conflict Analysis of Deontic Contracts

Camilleri x Schneider

A framework for conflict analysis of normative texts written in controlled natural language
Paper 2 of Camilleri's Contracts and Computation Formal modelling and analysis for normative natural language presents a normative DSL, and discusses how to translate contracts to timed automata