Skip to content
cccskills
FreePublished on GitHub

bdi-agent-interpreters

Implement an executable BDI agent cycle with events, context-guarded plans, intention stacks, selection functions, and belief revision. Use when designing or debugging AgentSpeak-style runtimes or concrete BDI program semantics. NOT for high-level BDI adoption, organizational modeling, norms, or hypertree team planning.

The English summary is being prepared. Showing the original description.

curiositech/port-daddy
See how to install

Files included (133)

  • SKILL.md4.1 KB
  • sources/agentspeak-bdi/_book_identity.json3.6 KB
  • sources/agentspeak-bdi/_raw_response.md103.1 KB
  • sources/agentspeak-bdi/CHANGELOG.md467 B
  • sources/agentspeak-bdi/diagrams/01_flowchart_decision-points.md687 B
  • sources/agentspeak-bdi/provenance.json1.1 KB
  • sources/agentspeak-bdi/references/agent-vs-logic-programs-key-distinctions.md11.6 KB
  • sources/agentspeak-bdi/references/agentspeak-and-multi-agent-coordination.md9.8 KB
  • sources/agentspeak-bdi/references/bdi-architecture-for-agent-orchestration.md10.6 KB
  • sources/agentspeak-bdi/references/bdi-mental-architecture-for-agent-systems.md6.6 KB
  • sources/agentspeak-bdi/references/belief-grounding-and-context-checking.md710 B
  • sources/agentspeak-bdi/references/belief-management-and-world-modeling.md10.9 KB
  • sources/agentspeak-bdi/references/bridging-theory-practice-gap-in-agent-systems.md5.8 KB
  • sources/agentspeak-bdi/references/closing-theory-practice-gap-in-agent-systems.md10.4 KB
  • sources/agentspeak-bdi/references/context-sensitive-plans-as-agent-knowledge.md10.6 KB
  • sources/agentspeak-bdi/references/event-driven-reactivity-in-bdi-systems.md3.0 KB
  • sources/agentspeak-bdi/references/failure-modes-in-bdi-systems.md10.2 KB
  • sources/agentspeak-bdi/references/intention-management-and-goal-decomposition.md12.8 KB
  • sources/agentspeak-bdi/references/intention-stacks-and-hierarchical-decomposition.md1.6 KB
  • sources/agentspeak-bdi/references/multi-agent-coordination-without-central-control.md4.6 KB
  • sources/agentspeak-bdi/references/operational-semantics-as-interpreter-specification.md1.9 KB
  • sources/agentspeak-bdi/references/plans-as-context-sensitive-event-triggered-recipes.md349 B
  • sources/agentspeak-bdi/references/proof-theory-and-verifiable-agent-behavior.md12.8 KB
  • sources/agentspeak-bdi/references/selection-functions-as-agent-policy.md12.0 KB
  • sources/agentspeak-bdi/references/selection-functions-as-policy-locus.md9.9 KB
  • sources/agentspeak-bdi/SKILL.md14.1 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/_book_identity.json3.6 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/_raw_response.md103.3 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/CHANGELOG.md653 B
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/diagrams/01_transition-cycle.md298 B
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/diagrams/02_environment-adapter.md390 B
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/diagrams/INDEX.md216 B
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/provenance.json1.1 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/agent-vs-logic-programs-key-distinctions.md11.6 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/agentspeak-and-multi-agent-coordination.md9.8 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/bdi-architecture-for-agent-orchestration.md10.6 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/bdi-mental-architecture-for-agent-systems.md6.6 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/belief-grounding-and-context-checking.md710 B
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/belief-management-and-world-modeling.md10.9 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/bridging-theory-practice-gap-in-agent-systems.md5.8 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/closing-theory-practice-gap-in-agent-systems.md10.4 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/context-sensitive-plans-as-agent-knowledge.md10.6 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/event-driven-reactivity-in-bdi-systems.md3.0 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/evidence-scope.md702 B
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/failure-modes-in-bdi-systems.md10.2 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/INDEX.md3.3 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/intention-management-and-goal-decomposition.md12.8 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/intention-stacks-and-hierarchical-decomposition.md1.6 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/multi-agent-coordination-without-central-control.md4.6 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/operational-semantics-as-interpreter-specification.md1.9 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/plans-as-context-sensitive-event-triggered-recipes.md349 B
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/proof-theory-and-verifiable-agent-behavior.md12.8 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/selection-functions-as-agent-policy.md12.0 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/selection-functions-as-policy-locus.md9.9 KB
  • sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/SKILL.md8.1 KB
  • sources/agentspeak-l-bdi-architecture/_book_identity.json3.6 KB
  • sources/agentspeak-l-bdi-architecture/_raw_response.md103.3 KB
  • sources/agentspeak-l-bdi-architecture/CHANGELOG.md653 B
  • sources/agentspeak-l-bdi-architecture/diagrams/01_interpreter-boundary.md331 B
  • sources/agentspeak-l-bdi-architecture/diagrams/02_protocol-receipt-boundary.md409 B
  • sources/agentspeak-l-bdi-architecture/diagrams/INDEX.md265 B
  • sources/agentspeak-l-bdi-architecture/provenance.json1.1 KB
  • sources/agentspeak-l-bdi-architecture/references/agent-vs-logic-programs-key-distinctions.md11.6 KB
  • sources/agentspeak-l-bdi-architecture/references/agentspeak-and-multi-agent-coordination.md9.8 KB
  • sources/agentspeak-l-bdi-architecture/references/bdi-architecture-for-agent-orchestration.md10.6 KB
  • sources/agentspeak-l-bdi-architecture/references/bdi-mental-architecture-for-agent-systems.md6.6 KB
  • sources/agentspeak-l-bdi-architecture/references/belief-grounding-and-context-checking.md710 B
  • sources/agentspeak-l-bdi-architecture/references/belief-management-and-world-modeling.md10.9 KB
  • sources/agentspeak-l-bdi-architecture/references/bridging-theory-practice-gap-in-agent-systems.md5.8 KB
  • sources/agentspeak-l-bdi-architecture/references/closing-theory-practice-gap-in-agent-systems.md10.4 KB
  • sources/agentspeak-l-bdi-architecture/references/context-sensitive-plans-as-agent-knowledge.md10.6 KB
  • sources/agentspeak-l-bdi-architecture/references/event-driven-reactivity-in-bdi-systems.md3.0 KB
  • sources/agentspeak-l-bdi-architecture/references/evidence-scope.md674 B
  • sources/agentspeak-l-bdi-architecture/references/failure-modes-in-bdi-systems.md10.2 KB
  • sources/agentspeak-l-bdi-architecture/references/intention-management-and-goal-decomposition.md12.8 KB
  • sources/agentspeak-l-bdi-architecture/references/intention-stacks-and-hierarchical-decomposition.md1.6 KB
  • sources/agentspeak-l-bdi-architecture/references/multi-agent-coordination-without-central-control.md4.6 KB
  • sources/agentspeak-l-bdi-architecture/references/operational-semantics-as-interpreter-specification.md1.9 KB
  • sources/agentspeak-l-bdi-architecture/references/plans-as-context-sensitive-event-triggered-recipes.md349 B
  • sources/agentspeak-l-bdi-architecture/references/proof-theory-and-verifiable-agent-behavior.md12.8 KB
  • sources/agentspeak-l-bdi-architecture/references/selection-functions-as-agent-policy.md12.0 KB
  • sources/agentspeak-l-bdi-architecture/references/selection-functions-as-policy-locus.md9.9 KB
  • sources/agentspeak-l-bdi-architecture/SKILL.md13.1 KB
  • sources/bdi-agent-design-mora/_book_identity.json3.6 KB
  • sources/bdi-agent-design-mora/_raw_response.md98.5 KB
  • sources/bdi-agent-design-mora/CHANGELOG.md212 B
  • sources/bdi-agent-design-mora/diagrams/01_stateDiagram-v2_bdi_agent_mental_state_lifecyc.md2.5 KB
  • sources/bdi-agent-design-mora/diagrams/02_flowchart_deliberation_&_revision_proced.md1.4 KB
  • sources/bdi-agent-design-mora/diagrams/03_timeline_agent_execution_timeline_with_.md1.4 KB
  • sources/bdi-agent-design-mora/diagrams/INDEX.md993 B
  • sources/bdi-agent-design-mora/references/abduction-as-intention-feasibility-check.md15.4 KB
  • sources/bdi-agent-design-mora/references/computational-commitment-through-revision-constraints.md13.5 KB
  • sources/bdi-agent-design-mora/references/desires-as-search-space-not-commands.md13.5 KB
  • sources/bdi-agent-design-mora/references/event-calculus-as-operational-time-and-action-model.md4.3 KB
  • sources/bdi-agent-design-mora/references/evidence-scope.md677 B
  • sources/bdi-agent-design-mora/references/INDEX.md1.5 KB
  • sources/bdi-agent-design-mora/references/preference-over-consistency-restoring-revisions.md14.6 KB
  • sources/bdi-agent-design-mora/references/revision-mechanisms-as-non-monotonic-deliberation.md15.7 KB
  • sources/bdi-agent-design-mora/references/triggers-and-attention-in-committed-agents.md15.1 KB
  • sources/bdi-agent-design-mora/SKILL.md17.6 KB
  • sources/bdi-models-and-systems-reducing-the-gap-paper/_book_identity.json3.6 KB
  • sources/bdi-models-and-systems-reducing-the-gap-paper/_raw_response.md98.8 KB
  • sources/bdi-models-and-systems-reducing-the-gap-paper/CHANGELOG.md635 B
  • sources/bdi-models-and-systems-reducing-the-gap-paper/diagrams/01_stateDiagram-v2_bdi_agent_mental_state_lifecyc.md2.5 KB
  • sources/bdi-models-and-systems-reducing-the-gap-paper/diagrams/02_flowchart_deliberation_&_revision_proced.md1.4 KB
  • sources/bdi-models-and-systems-reducing-the-gap-paper/diagrams/03_timeline_agent_execution_timeline_with_.md1.4 KB
  • sources/bdi-models-and-systems-reducing-the-gap-paper/references/abduction-as-intention-feasibility-check.md15.4 KB
  • sources/bdi-models-and-systems-reducing-the-gap-paper/references/computational-commitment-through-revision-constraints.md13.5 KB
  • sources/bdi-models-and-systems-reducing-the-gap-paper/references/desires-as-search-space-not-commands.md13.5 KB
  • sources/bdi-models-and-systems-reducing-the-gap-paper/references/event-calculus-as-operational-time-and-action-model.md4.3 KB
  • sources/bdi-models-and-systems-reducing-the-gap-paper/references/paper-scope-and-conformance.md2.1 KB
  • sources/bdi-models-and-systems-reducing-the-gap-paper/references/preference-over-consistency-restoring-revisions.md14.6 KB
  • sources/bdi-models-and-systems-reducing-the-gap-paper/references/revision-mechanisms-as-non-monotonic-deliberation.md15.7 KB
  • sources/bdi-models-and-systems-reducing-the-gap-paper/references/triggers-and-attention-in-committed-agents.md15.1 KB
  • sources/bdi-models-and-systems-reducing-the-gap-paper/SKILL.md11.5 KB
  • sources/bdi-models-and-systems-reducing-the-gap/_book_identity.json3.6 KB
  • sources/bdi-models-and-systems-reducing-the-gap/_raw_response.md98.5 KB
  • sources/bdi-models-and-systems-reducing-the-gap/CHANGELOG.md635 B
  • sources/bdi-models-and-systems-reducing-the-gap/diagrams/01_stateDiagram-v2_bdi_agent_mental_state_lifecyc.md2.5 KB
  • sources/bdi-models-and-systems-reducing-the-gap/diagrams/02_flowchart_deliberation_&_revision_proced.md1.4 KB
  • sources/bdi-models-and-systems-reducing-the-gap/diagrams/03_timeline_agent_execution_timeline_with_.md1.4 KB
  • sources/bdi-models-and-systems-reducing-the-gap/diagrams/INDEX.md729 B
  • sources/bdi-models-and-systems-reducing-the-gap/references/abduction-as-intention-feasibility-check.md15.4 KB
  • sources/bdi-models-and-systems-reducing-the-gap/references/computational-commitment-through-revision-constraints.md13.5 KB
  • sources/bdi-models-and-systems-reducing-the-gap/references/desires-as-search-space-not-commands.md13.5 KB
  • sources/bdi-models-and-systems-reducing-the-gap/references/event-calculus-as-operational-time-and-action-model.md4.3 KB
  • sources/bdi-models-and-systems-reducing-the-gap/references/INDEX.md1.2 KB
  • sources/bdi-models-and-systems-reducing-the-gap/references/paper-scope-and-conformance.md2.3 KB
  • sources/bdi-models-and-systems-reducing-the-gap/references/preference-over-consistency-restoring-revisions.md14.6 KB
  • sources/bdi-models-and-systems-reducing-the-gap/references/revision-mechanisms-as-non-monotonic-deliberation.md15.7 KB
  • sources/bdi-models-and-systems-reducing-the-gap/references/triggers-and-attention-in-committed-agents.md15.1 KB
  • sources/bdi-models-and-systems-reducing-the-gap/SKILL.md8.0 KB
  • sources/INDEX.md22.0 KB

SKILL.md (original)

Review the instructions the agent will receive before you install.

BDI Agent Interpreters

Use this skill when a BDI design needs executable semantics. Specify the cycle so that two implementations would make the same transition given the same events and policy inputs.

Interpreter contract

  1. Define an event vocabulary: external observations, goal adoption/drop, action results, and failure.
  2. Define the belief store and any observation-update adapter, including contradiction handling and whether absence means false or unknown. Name when an imported paper leaves belief update outside its model.
  3. Give plans a trigger, context guard, and body. A plan is applicable only if its guard is satisfied under the current belief semantics.
  4. Make selection functions explicit: event selection, applicable-plan choice, and intention scheduling. Record whether policy must be deterministic, fair, or priority based.
  5. Define intention lifecycle: adopt, suspend, resume, succeed, fail, and abandon. Test a failed subgoal and a changed context mid-plan.
  6. Keep a trace of each selected event, plan, and transition so that an unexpected action can be reconstructed.
flowchart LR
  E[Event queue] --> S[Select event]
  S --> M[Match plans]
  M --> G[Evaluate context guards]
  G --> C[Select plan]
  C --> I[Update intention stack]
  I --> X[Execute one step]
  X --> E

Design boundaries

  • bdi-agent-architecture owns the choice to use beliefs, desires, intentions, and the reconsideration policy at the model level.
  • AgentSpeak-style plans are context-sensitive recipes; they do not themselves prove achievement. Name the interpreter, selection functions, and environment adapter. A local transition does not establish message delivery, distributed agreement, authority, or an external effect.
  • For Móra et al. conformance, keep paper-defined explicit negation, Event Calculus, abductive feasibility, and preference-guided intention revision separate from a locally designed observation-update adapter and effect enforcement.
  • Belief revision with inconsistent information is a separate policy choice. Do not assume an imported paraconsistent or abductive method is required for every implementation.
  • For organizational accommodation use bdi-organizational-modeling; for obligations and prohibitions use bdi-normative-reasoning.

Source-bound checks

  • Read sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/references/evidence-scope.md and its transition/environment diagrams when tracing a running interpreter.
  • Read sources/agentspeak-l-bdi-architecture/references/evidence-scope.md and its interpreter/protocol diagrams when a local agent interacts with other services.
  • Read sources/bdi-models-and-systems-reducing-the-gap-paper/references/paper-scope-and-conformance.md before claiming conformance to the cited BDI paper.
  • Read sources/bdi-agent-design-mora/references/evidence-scope.md before applying paraconsistent revision to policy or authorization decisions.

Source bundles

All original files remain under sources/<original-name>/. Read sources/agentspeak-bdi/ and sources/agentspeak-l-bdi-architecture/ for AgentSpeak design; sources/agentspeak-l-bdi-agents-speak-out-in-a-logical-computable/ for the second literature import; sources/bdi-models-and-systems-reducing-the-gap/, sources/bdi-models-and-systems-reducing-the-gap-paper/, and sources/bdi-agent-design-mora/ for operational revision variants. Compare duplicate claims before reuse; verify source-dependent results against the primary papers.

Reviews

No reviews yet. Tell others what you thought.

Comments

No login needed. Share how it worked for you, ask a question, or note where it did not run.

No comments yet. Be the first to write one.

Comments are published right away. Do not include personal information such as email addresses or phone numbers. Up to 2 URLs.

0 / 1,000 characters

This form is protected by reCAPTCHA, and the Google Privacy Policy and Terms of Service apply.

More skills from this repository

2000s-visualization-expert

Free

Expert in 2000s-era music visualization (Milkdrop, AVS, Geiss) and modern WebGL implementations. Specializes in Butterchurn integration, Web Audio API AnalyserNode FFT data, GLSL shaders for audio-reactive visuals, and psychedelic generative art. Activate on "Milkdrop", "music visualization", "WebGL visualizer", "Butterchurn", "audio reactive", "FFT visualization", "spectrum analyzer". NOT for simple bar charts/waveforms (use basic canvas), video editing, or non-audio visuals.

The English summary is being prepared. Showing the original description.

curiositech/port-daddy3Updated Oct 19, 2026

2026-legal-research-agent

Free

Expert legal research agent for finding and scraping expungement data state by state. Knows authoritative sources, URL patterns, Firecrawl configuration, and 2026 legal landscape.

The English summary is being prepared. Showing the original description.

curiositech/port-daddy3Updated Oct 19, 2026

3d-cv-labeling-2026

Free

Expert in 3D computer vision labeling tools, workflows, and AI-assisted annotation for LiDAR, point clouds, and sensor fusion. Covers SAM4D/Point-SAM, human-in-the-loop architectures, and vertical-specific training strategies. Activate on '3D labeling', 'point cloud annotation', 'LiDAR labeling', 'SAM 3D', 'SAM4D', 'sensor fusion annotation', '3D bounding box', 'semantic segmentation point cloud'. NOT for 2D image labeling (use clip-aware-embeddings), general ML training (use ml-engineer), video annotation without 3D (use computer-vision-pipeline), or VLM prompt engineering (use prompt-engineer).

The English summary is being prepared. Showing the original description.

curiositech/port-daddy3Updated Oct 19, 2026

a-discussion-of-decision-making-applied

Free

Apply crisis decision-making research to agent routing, uncertainty triage, and coordination failure analysis in time-pressured systems. Use when diagnosing handoff failures, analytical paralysis, or expert judgment under incomplete information. NOT for routine coding, simple CRUD design, or static single-agent tasks with complete information.

The English summary is being prepared. Showing the original description.

curiositech/port-daddy3Updated Oct 19, 2026

a-naturalistic-study-of-insight

Free

Use for insight, reframing, contradiction, impasse, and anomaly-driven problem solving when execution effort no longer helps. NOT for routine optimization, error correction, or well-specified tasks with known solution paths.

The English summary is being prepared. Showing the original description.

curiositech/port-daddy3Updated Oct 19, 2026

a-task-analysis-of-pier-side-ship-handli

Free

Apply cognitive task analysis to expert work that depends on perceptual cues, branching judgment, and recurring monitoring loops. Use when decomposing expert capability into agent structure, simulation design, or validation interviews. NOT for ordinary step-by-step SOP capture or simple pipelines with no tacit cue layer.

The English summary is being prepared. Showing the original description.

curiositech/port-daddy3Updated Oct 19, 2026

See all skills by curiositech

Report a problem with this skill