Blawx: User-friendly Goal-Directed Answer Set Programming for Rules as Code
summary
Blawx is a web prototype that encodes statutes into goal-directed answer set programs using goal-directed ASP and a block-based UI, implemented with Blockly + s(CASP). The workflow converts the Old Age Security Act into section-level ontology and rules, lets non-programmers run scenarios and abduce facts, and returns two concrete models for section 31a (eligible and not eligible) with natural-language explanations linked to source text. It’s alpha, computationally slow in abduction, and available at dev.blocks.com.
AI-written summary · about
chapters (6)
- 0:00Blawx introduction
- 1:05Blawx background
- 3:55Blawx interface demo
- 8:44Testing encodings in Blawx
- 10:28Reasoning results
- 12:14Blawx status and future
related talks
30mJury-trial Story Construction and Analysis using Goal-directed Answer Set Progra...
30mFrom Constraints to Cognition: A Hybrid Framework for Adaptive, Explainable(…)
26mGrappling with the Bitter Lesson
45mThe Humans Are Dead, We Are All Bots Now
16mUser Interaction Models for Disambiguation in Programming by Example
51mRolePl-AI
53mLeveraging Autonomous Agents on the Web
26mAI-powered Code Review