AUTOBUS links LLM agents to logic-based rules and enterprise knowledge graphs so companies can execute cross-functional initiatives in a deterministic, auditable way. An illustrative case study and reference implementation suggest faster time-to-market in a data-rich firm, but rigorous, generalizable evidence is lacking.

Main Finding

AUTOBUS is a neuro-symbolic architecture that integrates LLM-based AI agents, predicate-logic programming, and a business-semantics–centric enterprise knowledge graph to execute end-to-end business initiatives. By synthesizing task instructions, enterprise semantics, and available tools into executable logic programs, AUTOBUS yields deterministic, auditable outcomes while preserving the flexibility of LLM-driven interpretation. In data-rich organizations this design can materially accelerate time-to-market for cross-functional initiatives while keeping humans in the loop for governance and high-impact judgment.

Key Points

• Problem targeted
  • Traditional enterprise systems are siloed and rigid; LLMs provide rich language/semantic capabilities but lack deterministic, auditable execution for complex business logic.
• Concept
  • Model a business initiative as a network of tasks with explicit pre/post-conditions, required data, evaluation rules, and API-level actions.
  • Combine LLM agents (for translation and synthesis) with symbolic logic programs (for deterministic reasoning/execution) grounded in an enterprise knowledge graph (KG).
• Architecture components
  • Humans: define business semantics, compose task instructions, curate tools, and supervise ambiguous or high-stakes decisions.
  • Enterprise KG: typed, schema-governed representation of business entities/relationships; translated into logic facts and foundational rules.
  • LLM-based AI agents: synthesize task-specific logic programs from instructions, enterprise semantics, and tool descriptions.
  • Logic engine: executes generated logic programs (example implementation uses SWI-Prolog) to enforce constraints, coordinate tools, and trigger operational APIs.
  • Tooling layer: auxiliary AI agents, ML models, APIs, and runtime systems invoked by logic programs.
• Logic program structure
  • Three parts: (1) facts & foundational rules derived from KG, (2) task-specific rules generated by agents, (3) action/outcome predicates that invoke APIs or persist results.
  • Tasks are declaratively modeled using predicates such as task(T), requires(T, Data), precondition(T,P), postcondition(T,Q), holds(P,State), invoke(Action,Params).
• Human-AI collaboration
  • Humans supply semantics, policies, objectives, and oversight; AI generates logic that humans review for high-stakes/ambiguous cases.
• Scalability & engineering strategies
  • Task-scoped, on-demand grounding of the KG to avoid materializing the full enterprise graph.
  • Pushdown/compilation strategies: graph-native reasoners (e.g., PyReason) or compilation to SQL/declarative platforms (e.g., Logica) for larger datasets and parallel execution.
• Trust and governance
  • Designed for auditability and governance; acknowledges failure modes (LLM synthesis errors, stale data, downstream failures) and prescribes human oversight and semantic anchoring.
• Empirical demonstration
  • Presents a case study showing accelerated time-to-market in a data-rich organization; reference implementation available: https://github.com/cecilpang/autobus-paper.

Data & Methods

• Data model
  • Enterprise data organized as a business-semantics–centric knowledge graph (typed entities, relationships, constraints). Example KG triples are translated into Prolog facts (e.g., consumer(c123). subscribe(c123,s456). has_status(s456,active).).
  • Schema-level constraints and domain rules map to foundational logic rules (e.g., active_subscription/1, precondition/1).
• AI synthesis
  • LLM-based agents translate human-written task instructions into logic predicates and generate task-level rule fragments, selecting tools and specifying groundings.
• Logic programming & execution
  • Logic programs composed of KG-derived facts, generated task rules, and action/outcome predicates are executed by a logic engine (SWI-Prolog in the paper).
  • Execution enforces pre/post-conditions, identifies executable tasks (when holds/2 predicates evaluate true), runs parallel branches naturally, and handles iterative flows (repeat_until).
• Groundings & tooling
  • Ground facts come from KG plus runtime calls to tools/APIs/ML models and other agents for predicates needing live data.
  • Action predicates invoke operational services (API calls, persistence) to effect changes.
• Scalability approach
  • On-demand grounding (retrieve only task-relevant slice of KG), use indices and ontology constraints to prune search space, incremental updates on events.
  • Option to compile logic to backends optimized for scale (graph reasoners or SQL-declarative engines).
• Evaluation
  • The paper reports a case study (details and code in the repo) assessing time-to-market acceleration in a data-rich organization; a full-scale empirical/scalability evaluation remains future work.

Implications for AI Economics

• Productivity and time-to-market
  • By automating cross-functional initiatives and reducing friction between data, tools, and decision logic, AUTOBUS can shorten product/feature deployment cycles, increasing firm-level productivity and potentially raising output per worker.
• Task composition and labor
  • The system automates routine, cross-functional coordination and rule-based decision tasks while leaving strategic, ethical, and ambiguous decisions to humans. This suggests substitution of middle-manager/coordinator tasks but complementarity for high-skill oversight roles.
• Capital and data investments
  • Effective deployment requires investment in structured enterprise semantics (KGs), APIs, tooling, and governance. Firms with superior data infrastructure gain comparative advantage, potentially increasing returns to scale for data-rich incumbents.
• Organizational structure and competition
  • AUTOBUS encourages process-centric, cross-functional orchestration rather than siloed departmental workflows, which could reshape organizational design and competitive dynamics—firms that reorganize to exploit autonomous systems may outcompete slower adopters.
• Labor market and skill demands
  • Increased demand for roles in semantics engineering, AI governance, logic-programming integration, and domain expertise to maintain ontologies and supervise decisions. Routine coordination jobs may decline.
• Measurement, accountability, and regulation
  • Deterministic, auditable logic programs enable clearer measurement of algorithmic decisions and outcomes—this facilitates internal governance and may ease regulatory compliance. However, reliance on LLM synthesis steps introduces new points of risk that require explicit audit trails.
• Diffusion and inequality
  • Early adopters with high-quality enterprise data and technical capability stand to capture disproportionate gains, potentially widening productivity gaps across firms and industries.
• Policy considerations
  • Policymakers and firms should focus on standards for enterprise semantics, auditability, and human oversight requirements to balance innovation benefits with labor impacts and systemic risks.

Reference / artifact: authors provide a case-study reference implementation here: https://github.com/cecilpang/autobus-paper.