RFC-021: AIGP-SGL — Symbolic Governance Language for Agentic and Autonomous AI — 10. Decision Semantics

AIGP Specification › RFC-021: AIGP-SGL — Symbolic Governance Language for Agentic and Autonomous AI › 10. Decision Semantics

10. Decision Semantics

AIGP-SGL decisions are explicit.

✓ if condition

A permit means the action may proceed only if all required conditions evaluate to true.

Example:

✓ if ⌘operator.present ∧ ⛶inside:zone.A

✕ if condition

A deny means the action must not proceed when the condition is true.

Example:

✕ if authority.expired == true

⊘ action_or_state

A prohibition defines an action or state that is not allowed under the governance intent.

Example:

⊘ enter:restricted_airspace

! required_behavior

An obligation defines a behavior that must accompany permission.

Example:

! record:sensor_state
! maintain:operator_link

↯ if condition

Escalation means the system must request human, supervisory, legal, safety, or command review.

Example:

↯ if ≈identity_confidence < 0.95

⏸ if condition

Pause means the system must temporarily stop action while preserving state.

Example:

⏸ if peer_conflict.detected == true

↩ if condition

Return means the system must return to a safe prior state, base, checkpoint, or approved zone.

Example:

↩ if comms.loss > 10s

⇣ if condition

Degrade means the system must reduce autonomy or capability.

Example:

⇣ if sensor.health == degraded

⊗ capability if condition

Inhibit means the system must disable or block a capability.

Example:

⊗ force_capability if ¬⌘human_confirmed