Formalizing and Reasoning about Contracts between Agents
summary
Proposes LC, an extension of action language B that encodes contracts as public clauses plus private mappings to requirements from the NIST CPS concern tree, and computes whether clauses are feasible, violated, or mitigable by generating trajectories with Answer Set Programming. Demonstrates on a toy home‑building case (lumber delivery of 144 board feet by week 4, payment $122,000) with a working ASP implementation and a GUI in development; notes scaling and discretization limits for realistic supply chains.
AI-written summary · about
chapters (6)
- 0:00Start
- 0:21Introduction
- 4:01Contribution
- 4:51Facilitating Understanding of Supply Chain: the NIST CPS Framework
- 13:00Action Language B
- 19:53Formalizing Contracts: an Example
related talks
34mProgramming Languages for AI Programing Agents
30mFrom Constraints to Cognition: A Hybrid Framework for Adaptive, Explainable(…)
01h 43mBuilding LLM Agents (Hackathon)
46mDemystifying AI Agents
26mLanguage Model Agents Enable Semi-Formal Programming
26mContext Engineering: Practical Techniques for Improving Agent Quality Today
50mIntelligent Agents, the New Frontier of LLMs
44mBuilding Agentic AI Systems: From Transactions To Conversations