Start
bdi-models-and-systems-reducing-the-gap
bdi-models-and-systems-reducing-the-gap - Skill Dossier
bdi-models-and-systems-reducing-the-gap
Implement executable BDI reasoning with explicit negation, paraconsistent revision, trigger-based commitment updates, and abduction. Use for runtime agent semantics and conflicting desires. NOT for purely axiomatic modal logic, black-box planners, or classical logic without operational semantics.
Uncategorized
Allowed Tools
ReadWriteEditGlobGrep
Skills use the open SKILL.md standard — the same file works across all platforms.
Install all 463+ skills as a plugin
claude plugin marketplace add curiositech/windags-skills
claude plugin install windags-skills
Claude activates bdi-models-and-systems-reducing-the-gap automatically when your task matches its description.