본문으로 건너뛰기
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.

리뷰

아직 리뷰가 없습니다. 사용해 본 소감을 남겨 주세요.

댓글

로그인 없이 쓸 수 있습니다. 사용 후기, 질문, 작동하지 않은 환경 등을 편하게 남겨 주세요.

아직 댓글이 없습니다. 첫 댓글을 남겨 보세요.

보내면 바로 공개됩니다. 이메일 주소나 전화번호 같은 개인 정보는 쓰지 마세요. URL은 2개까지입니다.

0 / 1,000자

이 양식은 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의 스킬 모두 보기

이 스킬의 문제 신고