本文へ移動
cccskills
無料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.

curiositech/port-daddy
インストール方法を見る

含まれるファイル（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（原文）

インストールする前に、エージェントに与えられる指示の中身を確認できます。

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.

レビュー

まだレビューはありません。使ってみた感想をお寄せください。

ログインしてレビューを書く

同じリポジトリのスキル

概要と使いどころ

2000s-visualization-expert

無料

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.

日本語の概要は準備中です。原文の説明を表示しています。

curiositech/port-daddy22026年10月12日 更新

2026-legal-research-agent

無料

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

日本語の概要は準備中です。原文の説明を表示しています。

curiositech/port-daddy22026年10月12日 更新

3d-cv-labeling-2026

無料

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).

日本語の概要は準備中です。原文の説明を表示しています。

curiositech/port-daddy22026年10月12日 更新

a-discussion-of-decision-making-applied

無料

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.

日本語の概要は準備中です。原文の説明を表示しています。

curiositech/port-daddy22026年10月12日 更新

a-naturalistic-study-of-insight

無料

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.

日本語の概要は準備中です。原文の説明を表示しています。

curiositech/port-daddy22026年10月12日 更新

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

無料

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.

日本語の概要は準備中です。原文の説明を表示しています。

curiositech/port-daddy22026年10月12日 更新

curiositech のスキルをすべて見る

このスキルの問題を報告する