@bastani/atomic 0.6.8-0 → 0.7.0-1

package/.agents/skills/bdi-mental-states/references/rdf-examples.md

@@ -1,315 +0,0 @@
-# BDI RDF Examples
-
-Complete RDF/Turtle examples for BDI mental state modeling.
-
-## Complete Cognitive Workflow
-
-```turtle
-@prefix bdi: <https://w3id.org/fossr/ontology/bdi/> .
-@prefix ex: <http://example.org/> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
-
-# ============================================================
-# PHASE 1: World State Perception
-# ============================================================
-
-ex:WorldState_traffic a bdi:WorldState ;
-    rdfs:comment "Heavy traffic on Route 101" ;
-    bdi:atTime "2026-01-04T08:30:00"^^xsd:dateTime ;
-    bdi:isPerceivedBy ex:Agent_commuter ;
-    bdi:triggers ex:BeliefProcess_assess_traffic .
-
-# ============================================================
-# PHASE 2: Belief Formation
-# ============================================================
-
-ex:BeliefProcess_assess_traffic a bdi:BeliefProcess ;
-    bdi:generates ex:Belief_traffic_delay ;
-    bdi:reasonsUpon ex:WorldState_traffic ;
-    bdi:isProcessedBy ex:Agent_commuter ;
-    bdi:atTime "2026-01-04T08:31:00"^^xsd:dateTime .
-
-ex:Belief_traffic_delay a bdi:Belief ;
-    rdfs:label "Traffic will cause 30-minute delay" ;
-    bdi:refersTo ex:WorldState_traffic ;
-    bdi:hasValidity ex:TimeInterval_morning_commute ;
-    bdi:hasPart ex:Belief_route_congested , ex:Belief_delay_duration ;
-    bdi:isJustifiedBy ex:Justification_traffic_report ;
-    bdi:motivates ex:Desire_arrive_on_time .
-
-ex:Belief_route_congested a bdi:Belief ;
-    rdfs:comment "Route 101 is congested" .
-
-ex:Belief_delay_duration a bdi:Belief ;
-    rdfs:comment "Delay estimated at 30 minutes" .
-
-ex:Justification_traffic_report a bdi:Justification ;
-    rdfs:label "Real-time traffic data from navigation system" ;
-    bdi:justifies ex:Belief_traffic_delay .
-
-# ============================================================
-# PHASE 3: Desire Formation
-# ============================================================
-
-ex:DesireProcess_plan_arrival a bdi:DesireProcess ;
-    bdi:generates ex:Desire_arrive_on_time ;
-    bdi:reasonsUpon ex:Belief_traffic_delay ;
-    bdi:isProcessedBy ex:Agent_commuter .
-
-ex:Desire_arrive_on_time a bdi:Desire ;
-    rdfs:label "I desire to arrive at work on time" ;
-    bdi:isMotivatedBy ex:Belief_traffic_delay ;
-    bdi:refersTo ex:WorldState_on_time_arrival .
-
-# ============================================================
-# PHASE 4: Intention Commitment
-# ============================================================
-
-ex:IntentionProcess_commit_route a bdi:IntentionProcess ;
-    bdi:generates ex:Intention_take_alternate_route ;
-    bdi:reasonsUpon ex:Desire_arrive_on_time ;
-    bdi:isProcessedBy ex:Agent_commuter .
-
-ex:Intention_take_alternate_route a bdi:Intention ;
-    rdfs:label "I will take alternate route via Highway 280" ;
-    bdi:fulfils ex:Desire_arrive_on_time ;
-    bdi:isSupportedBy ex:Belief_traffic_delay ;
-    bdi:specifies ex:Plan_alternate_commute ;
-    bdi:isJustifiedBy ex:Justification_time_optimization .
-
-ex:Justification_time_optimization a bdi:Justification ;
-    rdfs:label "Alternate route saves 20 minutes based on current conditions" ;
-    bdi:justifies ex:Intention_take_alternate_route .
-
-# ============================================================
-# PHASE 5: Planning
-# ============================================================
-
-ex:Planning_route_selection a bdi:Planning ;
-    bdi:reasonsUpon ex:Intention_take_alternate_route ;
-    bdi:defines ex:Plan_alternate_commute ;
-    bdi:atTime ex:TimeInterval_planning_phase .
-
-ex:Plan_alternate_commute a bdi:Plan ;
-    rdfs:label "Alternate commute via Highway 280" ;
-    bdi:addresses ex:Goal_arrive_by_9am ;
-    bdi:beginsWith ex:Task_exit_Route101 ;
-    bdi:endsWith ex:Task_arrive_parking ;
-    bdi:hasComponent ex:Task_exit_Route101 , ex:Task_merge_280 , 
-                     ex:Task_navigate_280 , ex:Task_arrive_parking .
-
-ex:Task_exit_Route101 a bdi:Task ;
-    rdfs:label "Exit Route 101 at Whipple Ave" ;
-    bdi:precedes ex:Task_merge_280 .
-
-ex:Task_merge_280 a bdi:Task ;
-    rdfs:label "Merge onto Highway 280 North" ;
-    bdi:precedes ex:Task_navigate_280 .
-
-ex:Task_navigate_280 a bdi:Task ;
-    rdfs:label "Continue on Highway 280 for 8 miles" ;
-    bdi:precedes ex:Task_arrive_parking .
-
-ex:Task_arrive_parking a bdi:Task ;
-    rdfs:label "Arrive at office parking garage" .
-
-ex:Goal_arrive_by_9am a bdi:Goal ;
-    rdfs:label "Arrive at work by 9:00 AM" .
-
-# ============================================================
-# PHASE 6: Plan Execution
-# ============================================================
-
-ex:PlanExecution_commute a bdi:PlanExecution ;
-    bdi:satisfies ex:Plan_alternate_commute ;
-    bdi:addresses ex:Goal_arrive_by_9am ;
-    bdi:isExecutedBy ex:Agent_commuter ;
-    bdi:hasComponent ex:Action_exit , ex:Action_merge , 
-                     ex:Action_drive_280 , ex:Action_park ;
-    bdi:atTime ex:TimeInterval_execution ;
-    bdi:bringsAbout ex:WorldState_arrived_on_time .
-
-ex:Action_exit a bdi:Action ;
-    bdi:isExecutionOf ex:Task_exit_Route101 ;
-    bdi:isPerformedBy ex:Agent_commuter ;
-    bdi:atTime "2026-01-04T08:35:00"^^xsd:dateTime .
-
-ex:Action_merge a bdi:Action ;
-    bdi:isExecutionOf ex:Task_merge_280 ;
-    bdi:isPerformedBy ex:Agent_commuter ;
-    bdi:atTime "2026-01-04T08:37:00"^^xsd:dateTime .
-
-ex:Action_drive_280 a bdi:Action ;
-    bdi:isExecutionOf ex:Task_navigate_280 ;
-    bdi:isPerformedBy ex:Agent_commuter ;
-    bdi:atTime "2026-01-04T08:40:00"^^xsd:dateTime .
-
-ex:Action_park a bdi:Action ;
-    bdi:isExecutionOf ex:Task_arrive_parking ;
-    bdi:isPerformedBy ex:Agent_commuter ;
-    bdi:bringsAbout ex:WorldState_arrived_on_time ;
-    bdi:atTime "2026-01-04T08:52:00"^^xsd:dateTime .
-
-# ============================================================
-# PHASE 7: Resulting World State
-# ============================================================
-
-ex:WorldState_arrived_on_time a bdi:WorldState ;
-    rdfs:comment "Agent arrived at work at 8:52 AM" ;
-    bdi:atTime "2026-01-04T08:52:00"^^xsd:dateTime .
-
-# ============================================================
-# TEMPORAL INTERVALS
-# ============================================================
-
-ex:TimeInterval_morning_commute a bdi:TimeInterval ;
-    bdi:hasStartTime "2026-01-04T08:30:00"^^xsd:dateTime ;
-    bdi:hasEndTime "2026-01-04T09:00:00"^^xsd:dateTime .
-
-ex:TimeInterval_planning_phase a bdi:TimeInterval ;
-    bdi:hasStartTime "2026-01-04T08:31:00"^^xsd:dateTime ;
-    bdi:hasEndTime "2026-01-04T08:34:00"^^xsd:dateTime .
-
-ex:TimeInterval_execution a bdi:TimeInterval ;
-    bdi:hasStartTime "2026-01-04T08:35:00"^^xsd:dateTime ;
-    bdi:hasEndTime "2026-01-04T08:52:00"^^xsd:dateTime .
-```
-
-## Multi-Agent Coordination Example
-
-```turtle
-@prefix bdi: <https://w3id.org/fossr/ontology/bdi/> .
-@prefix ex: <http://example.org/> .
-@prefix fipa: <http://www.fipa.org/specs/fipa00061/> .
-
-# Shared belief about project deadline
-ex:Agent_developer a bdi:Agent ;
-    bdi:hasMentalState ex:Belief_deadline_friday .
-
-ex:Agent_manager a bdi:Agent ;
-    bdi:hasMentalState ex:Belief_deadline_friday .
-
-ex:Belief_deadline_friday a bdi:Belief ;
-    rdfs:label "Project deadline is Friday 5 PM" ;
-    bdi:refersTo ex:WorldState_deadline ;
-    bdi:hasValidity ex:TimeInterval_project_week .
-
-ex:WorldState_deadline a bdi:WorldState ;
-    rdfs:comment "Project XYZ must be delivered by 2026-01-10T17:00:00" .
-
-# Agent-specific mental states
-ex:Agent_developer 
-    bdi:hasDesire ex:Desire_complete_coding ;
-    bdi:hasIntention ex:Intention_implement_features .
-
-ex:Desire_complete_coding a bdi:Desire ;
-    rdfs:label "Complete feature implementation" ;
-    bdi:isMotivatedBy ex:Belief_deadline_friday .
-
-ex:Intention_implement_features a bdi:Intention ;
-    rdfs:label "Implement features A, B, and C" ;
-    bdi:fulfils ex:Desire_complete_coding ;
-    bdi:specifies ex:Plan_development .
-
-ex:Agent_manager 
-    bdi:hasDesire ex:Desire_ensure_delivery ;
-    bdi:hasIntention ex:Intention_coordinate_team .
-
-ex:Desire_ensure_delivery a bdi:Desire ;
-    rdfs:label "Ensure on-time project delivery" ;
-    bdi:isMotivatedBy ex:Belief_deadline_friday .
-
-ex:Intention_coordinate_team a bdi:Intention ;
-    rdfs:label "Coordinate team activities" ;
-    bdi:fulfils ex:Desire_ensure_delivery ;
-    bdi:specifies ex:Plan_project_management .
-
-# FIPA communication
-ex:Message_M1 a fipa:ACLMessage ;
-    fipa:sender ex:Agent_manager ;
-    fipa:receiver ex:Agent_developer ;
-    fipa:content ex:Belief_deadline_friday ;
-    fipa:performative fipa:inform .
-```
-
-## Conflict Resolution Example
-
-```turtle
-@prefix bdi: <https://w3id.org/fossr/ontology/bdi/> .
-@prefix ex: <http://example.org/> .
-
-# Conflicting location beliefs
-ex:Belief_at_home a bdi:Belief ;
-    bdi:refersTo ex:WorldState_home ;
-    rdfs:comment "Agent is currently at home" .
-
-ex:Belief_at_office a bdi:Belief ;
-    bdi:refersTo ex:WorldState_office ;
-    rdfs:comment "Agent is at office" .
-
-# Conflicting intentions
-ex:Intention_work_from_home a bdi:Intention ;
-    bdi:isSupportedBy ex:Belief_at_home ;
-    rdfs:label "Work from home today" .
-
-ex:Intention_attend_meeting a bdi:Intention ;
-    bdi:isSupportedBy ex:Belief_at_office ;
-    rdfs:label "Attend in-person meeting" .
-
-# Justification for conflict resolution
-ex:Justification_location_conflict a bdi:Justification ;
-    rdfs:comment "Cannot simultaneously be at home and office" ;
-    bdi:justifies ex:Intention_resolution .
-
-# Resolved intention
-ex:Intention_resolution a bdi:Intention ;
-    rdfs:label "Attend meeting via video call from home" ;
-    bdi:fulfils ex:Desire_meeting_participation ;
-    bdi:isSupportedBy ex:Belief_at_home ;
-    bdi:isJustifiedBy ex:Justification_location_conflict .
-```
-
-## T2B2T Payment Processing Example
-
-```turtle
-@prefix bdi: <https://w3id.org/fossr/ontology/bdi/> .
-@prefix ex: <http://example.org/> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-
-# PHASE 1: Triples-to-Beliefs (External RDF → Internal Mental State)
-
-ex:WorldState_notification a bdi:WorldState ;
-    rdfs:comment "Push notification: Ghadeh requested $250 via Zelle" ;
-    bdi:atTime "2025-10-27T10:15:00"^^xsd:dateTime ;
-    bdi:triggers ex:BeliefProcess_BP1 .
-
-ex:BeliefProcess_BP1 a bdi:BeliefProcess ;
-    bdi:generates ex:Belief_payment_request ;
-    bdi:isProcessedBy ex:Agent_A .
-
-ex:Belief_payment_request a bdi:Belief ;
-    rdfs:label "Ghadeh requested $250" ;
-    bdi:refersTo ex:WorldState_notification ;
-    bdi:motivates ex:Desire_pay_Ghadeh .
-
-ex:Desire_pay_Ghadeh a bdi:Desire ;
-    rdfs:label "Pay Ghadeh $250" ;
-    bdi:isMotivatedBy ex:Belief_payment_request .
-
-ex:Intention_I1 a bdi:Intention ;
-    rdfs:label "Pay Ghadeh $250" ;
-    bdi:fulfils ex:Desire_pay_Ghadeh ;
-    bdi:specifies ex:Plan_payment .
-
-# PHASE 2: Beliefs-to-Triples (Mental State → External RDF)
-
-ex:PlanExecution_PE1 a bdi:PlanExecution ;
-    bdi:satisfies ex:Plan_payment ;
-    bdi:bringsAbout ex:WorldState_payment_complete .
-
-ex:WorldState_payment_complete a bdi:WorldState ;
-    rdfs:comment "Payment of $250 sent to Ghadeh via Zelle" ;
-    bdi:atTime "2025-10-27T10:20:00"^^xsd:dateTime .
-```
-