跳到正文
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（原文）

安装前可以查看交给 AI 代理的指令内容。

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.

评价

还没有评价。欢迎分享你的使用感受。

评论

无需登录即可发表。欢迎分享使用感受、提问，或说明在哪些环境下无法运行。

还没有评论。来写第一条吧。

提交后会立即公开。请勿填写邮箱、电话等个人信息。URL 最多 2 个。

0 / 1000 字

此表单受 reCAPTCHA 保护，适用 Google 的隐私权政策和服务条款。

同一仓库的技能

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-daddy32026年10月19日 更新

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-daddy32026年10月19日 更新

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-daddy32026年10月19日 更新

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-daddy32026年10月19日 更新

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-daddy32026年10月19日 更新

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-daddy32026年10月19日 更新

查看 curiositech 的全部技能

报告此技能的问题