Start
bdi-models-and-systems-reducing-the-gap-paper
bdi-models-and-systems-reducing-the-gap-paper - Skill Dossier
bdi-models-and-systems-reducing-the-gap-paper
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 544 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-paper automatically when your task matches its description.