Abstract:LLM-based agents have recently emerged as promising tools for solving challenging problems without the need for task-specific finetuned models that can be expensive to procure. Currently, the design and implementation of such agents is ad hoc, as the wide variety of tasks that LLM-based agents may be applied to naturally means there can be no one-size-fits-all approach to agent design. In this work we aim to alleviate the difficulty of designing and implementing new agents by proposing a minimalistic, high-level generation framework that simplifies the process of building agents. The framework we introduce allows the user to specify desired agent behaviors in Linear Temporal Logic (LTL). The declarative LTL specification is then used to construct a constrained decoder that guarantees the LLM will produce an output exhibiting the desired behavior. By designing our framework in this way, we obtain several benefits, including the ability to enforce complex agent behavior, the ability to formally validate prompt examples, and the ability to seamlessly incorporate content-focused logical constraints into generation. In particular, our declarative approach, in which the desired behavior is simply described without concern for how it should be implemented or enforced, enables rapid design, implementation and experimentation with different LLM-based agents. We demonstrate how the proposed framework can be used to implement recent LLM-based agents, and show how the guardrails our approach provides can lead to improvements in agent performance. In addition, we release our code for general use.

Implementing Agent-Based Systems via Computability Logic CL2

Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions

Extending and Automating Basic Probability Theory with Propositional Computability Logic

Implementing Dynamic Programming in Computability Logic Web

ATCL: Formalization Tool for Commitment-Based Agent Organization

On the system CL12 of computability logic

Computational Logic Foundations of KGP Agents

CoCo-Agent: A Comprehensive Cognitive MLLM Agent for Smartphone GUI Automation

A logical basis for constructive systems

Making Agents' Abilities Explicit

ChatLogo: A Large Language Model-Driven Hybrid Natural-Programming Language Interface for Agent-based Modeling and Programming

Building Cooperative Embodied Agents Modularly with Large Language Models

Cognitive Architectures for Language Agents

AgentKit: Structured LLM Reasoning with Dynamic Graphs

Ontology-Based Multi-Agent System for Automatic Process

Comprehensive Cognitive LLM Agent for Smartphone GUI Automation

CoAct: A Global-Local Hierarchy for Autonomous Agent Collaboration

Formally Specifying the High-Level Behavior of LLM-Based Agents

Logic Agent: Enhancing Validity with Logic Rule Invocation

Synergistic Simulations: Multi-Agent Problem Solving with Large Language Models

CoCo Matrix: Taxonomy of Cognitive Contributions in Co-writing with Intelligent Agents