Skip to main content

O-Open Declarative

Overview​

O-Open Declarative is an architectural principle within the SOCIAL framework for Human-Robot Interaction (HRI). The principle states that socially intelligent systems should expose their reasoning, intentions, constraints, and behavioral policies through transparent declarative structures rather than opaque procedural execution.

The goal is to transform robotic systems from black-box reactive machines into inspectable, explainable, and socially negotiable agents.

Instead of embedding behavior exclusively inside hidden code paths, the architecture promotes explicit semantic representations that can be queried, modified, validated, synchronized, and socially interpreted.

This principle is foundational for Explainable HRI, adaptive autonomy, collaborative debugging, and long-term trust between humans and embodied AI systems.


Motivation

Human social interaction relies heavily on shared declarative understanding.

Humans continuously communicate:

  • Intentions
  • Expectations
  • Rules
  • Constraints
  • Social commitments
  • Beliefs
  • Uncertainty
  • Permissions
  • Responsibilities

Traditional robotic systems often hide these structures internally inside procedural logic, state machines, or neural networks.

This creates several problems:

  • Low explainability
  • Difficult debugging
  • Poor human trust
  • Hidden policy conflicts
  • Brittle autonomy
  • Limited collaborative adaptation
  • Unsafe emergent behavior
  • Weak social negotiation capabilities

O-Open Declarative addresses these limitations by externalizing semantic reasoning into explicit declarative representations.


Core Principle

Behavioral meaning should be represented declaratively whenever possible.

Formally:

Behavior = Policies + Context + Constraints + Intent

rather than:

Behavior = Hidden Execution Path

The system should expose:

  • What it knows
  • What it assumes
  • What it intends
  • What it cannot do
  • Why it made a decision
  • Which policy produced the outcome

Declarative Architecture

The SOCIAL framework models reasoning as explicit semantic structures flowing through HIFs (HRI Interaction Frames).

Examples include:

  • Facts
  • Queries
  • Intentions
  • Constraints
  • Social policies
  • Pending goals
  • Confidence values
  • Safety states
  • Interaction contracts

These structures remain inspectable and modifiable throughout the pipeline.


Relationship to HRI_DB

The HRI_DB acts as a transparent declarative world model.

Instead of storing opaque internal state, the database maintains editable semantic representations such as:

{
"person": "Bob",
"location": "Kitchen",
"confidence": 0.92,
"source": "vision_tracker"
}

This allows:

  • Human inspection
  • Policy validation
  • Contradiction detection
  • Context synchronization
  • Explainable reasoning
  • LLM-compatible semantic querying

The database becomes not only memory storage, but also a shared semantic negotiation layer.


Declarative Policies

Policies are represented as explicit λ-based semantic operators.

Examples:

Policy TypePurpose
Synchronization PoliciesTemporal alignment
Safety PoliciesPrevent dangerous actions
Social PoliciesEnforce etiquette
Escalation PoliciesControl reasoning escalation
Resource PoliciesManage computational budgets
Autonomy PoliciesRegulate agent independence

This enables policies to be:

  • Audited
  • Replaced
  • Tuned
  • Simulated
  • Learned
  • Contextually switched

without rewriting core architecture.


Example

Traditional Hidden Logic​

if battery < 10:
stop_task()

Open Declarative Representation​

{
"constraint": "low_battery",
"battery_threshold": 10,
"active_task": "deliver_medicine",
"policy": "safety_override",
"decision": "pause_task",
"reason": "insufficient energy reserve"
}

The second form enables:

  • Human understanding
  • Policy auditing
  • Alternative reasoning
  • Negotiation
  • Simulation
  • Adaptive autonomy

Declarative Social Interaction

Social interaction itself becomes declarative.

Example:

{
"social_goal": "request_assistance",
"interaction_window": "open",
"target_person": "Bob",
"priority": "medium",
"social_style": "polite",
"timing_policy": "non_interruptive"
}

This separates:

  • What the robot wants
  • Why it wants it
  • When it may act
  • How it should behave

Relationship to Escalation Switches

Escalation Switches (ES) operationalize declarative reasoning.

Rather than hiding transitions between heuristics, symbolic reasoning, and LLMs, the architecture represents escalation itself as a policy-driven declarative process.

Example:

Confidence < Threshold
→ Escalate to Higher Semantic Expert

This creates:

  • Predictable reasoning chains
  • Explainable fallback behavior
  • Resource-aware cognition
  • Safer autonomy

Open Declarative Autonomy

An autonomous system should expose its own internal agency state.

Examples include:

  • Current autonomy level
  • Active constraints
  • Safety overrides
  • Confidence levels
  • Mission priorities
  • Resource limitations
  • Integrity scores

This is implemented within the SOCIAL framework through mechanisms such as:

  • SIAH (System Integrity & Agency Handler)
  • CEU (Consistency Evaluator & Updater)
  • TPR (Task Prerequisite Resolver)

The result is adjustable and inspectable autonomy rather than opaque self-governance.


Advantages

Explainability​

Humans can inspect why actions occurred.

Trust​

Transparent reasoning improves long-term acceptance.

Modularity​

Policies become composable semantic units.

Adaptability​

Declarative structures are easier to modify dynamically.

LLM Compatibility​

Declarative knowledge integrates naturally with generative reasoning systems.

Safety​

Hidden unsafe transitions become observable.


Relation to Existing Paradigms

O-Open Declarative intersects with several existing paradigms:

ParadigmRelation
Declarative ProgrammingBehavior defined through semantic constraints
Knowledge GraphsExplicit relational semantics
Cognitive ArchitecturesSymbolic reasoning layers
Explainable AI (XAI)Human-readable reasoning
Rule EnginesPolicy-based execution
Semantic WebStructured machine-readable meaning

However, O-Open Declarative differs by focusing specifically on:

  • Social transparency
  • Embodied interaction
  • Real-time contextual negotiation
  • Human-readable autonomy
  • Hybrid symbolic-generative reasoning

Design Implications

Systems implementing O-Open Declarative should avoid:

  • Hidden procedural policies
  • Non-traceable LLM decisions
  • Opaque internal state
  • Hard-coded social rules
  • Uninspectable autonomy

Instead, systems should prefer:

  • Explicit semantic representations
  • Editable world models
  • Policy-driven execution
  • Explainable escalation chains
  • Structured interaction contracts
  • Declarative safety layers

SOCIAL Perspective

Within the SOCIAL framework, O-Open Declarative supports all other principles by making the system's state, assumptions, policies, constraints, and decisions explicit rather than hidden inside opaque execution paths.

  • S — Separated Contexts: Declarative representation makes each context domain inspectable on its own. Human context, scene context, robot context, task context, memory context, and safety context can expose their own facts, assumptions, confidence values, and update history without collapsing into a single opaque state.

  • O — Open Declarative: This is the primary principle. The system should represent important behavioral meaning through explicit structures such as HIF properties, policy objects, HRI_DB records, validation results, autonomy states, and pending task descriptions.

  • C — Clear Cognition: Cognition becomes clearer when intermediate reasoning products are represented declaratively. Instead of hiding interpretation, grounding, validation, and escalation inside code, the architecture exposes what was inferred, why it was inferred, and which uncertainty remains.

  • I — Interpretable Gates: Gates become interpretable only when their inputs, policies, thresholds, and outcomes are explicit. A gate decision such as pass, modify, block, clarify, or escalate should be represented as structured semantic data rather than as an invisible control transition.

  • A — Adaptive Autonomy: Autonomy can be adjusted safely only when the system exposes its current autonomy state, active constraints, confidence, risk level, required permissions, and reason for changing agency level.

  • L — Layered Validation: Validation layers require declarative artifacts to inspect. Perceptual confidence, semantic assumptions, task prerequisites, social constraints, safety limits, and autonomy boundaries should be represented explicitly so that each validation layer can evaluate them.

In this sense, O-Open Declarative provides the transparency discipline that makes SOCIAL architectures inspectable, correctable, auditable, and suitable for human-facing embodied AI.​

Future Research Directions

Potential future research areas include:

  • Self-explaining robotic agents
  • Declarative LLM orchestration
  • Formal policy verification
  • Human-editable robotic cognition
  • Dynamic social rule injection
  • Semantic autonomy contracts
  • Cross-agent declarative synchronization
  • Explainable embodied planning

Conclusion

O-Open Declarative provides a transparent semantic foundation for socially intelligent embodied systems.

By externalizing reasoning into explicit declarative structures, the architecture achieves:

  • Higher explainability
  • Better trustworthiness
  • Safer autonomy
  • Improved adaptability
  • Stronger human collaboration
  • More controllable AI behavior

The principle moves HRI systems away from opaque procedural execution toward inspectable socially-aware cognitive infrastructures.