DPCL: a Language Template for Normative Specifications

on YouTube ↗22m

" summary

DPCL presents a JSON-like DSL template that encodes Hohfeldian positions as reusable frames (power, duty, prohibition) and models events, qualifications and timeouts; it shows concrete encodings (library borrowing with lender power, borrower duty, timeout-triggered violation and optional fine) and implements conflict handling via conditional preferential ordering. Semantics are sketched as rewriting-rule semantics to cross-compile into target tools (e.g., routing or policy engines); a prototype interpreter is promised in the coming months but full formal semantics remain intentionally modeler-definable.

AI-written summary · about

" chapters (9)

1. 0:00DPCL: a Language Template for Normative Specifications
2. 3:28which normative concepts do we need?
3. 5:10what normative concepts "nean"?
4. 7:31DPCL: in a nutshell
5. 11:17DPCL: prohibition frame
6. 12:05DECL: conditioning rules
7. 13:43DPCL, example: library regulation
8. 14:56Rewriting example: all is about power!
9. 17:36Perspectives