Solon: translating text to deontic defeasible logic using LLM-based and formal techniques modulated by human-machine interaction

Other Transaction IDV Awarded Last action

Contract number
HR00112590099
Awardee
Awarding agency
Task orders
0

Award facts

Last date to order
Not on record
IDV ceiling
$1,999,992.00
Contracting staff
NAICS code
Not on record
Set-aside
No set-aside
Competition
Competed Program Solicitation
Pricing
Other

Award details come from SAM.gov/FPDS.

About this IDV

The Defense Advanced Research Projects Agency awarded a multiple-award Other Transaction IDV to Sri International with a ceiling of $1,999,992, effective February 10, 2025. This OT vehicle sits outside the Federal Acquisition Regulation and operates under DARPA's authority to pursue innovative research and development.

The effort, titled SOLON: Translating Text to Deontic Defeasible Logic Using LLM-Based and Formal Techniques Modulated by Human-Machine Interaction, focuses on developing artificial intelligence and formal logic capabilities to convert natural language text into deontic defeasible logical frameworks through a combination of large language models and human-in-the-loop interaction methods. Sri International, a nonprofit research organization headquartered in Menlo Park, California, brings multidisciplinary scientific and technical expertise across defense, computing, and advanced technologies to support the research initiative.

The multiple-award structure enables DARPA to issue task orders across competing awardees for related prototype development and research activities within the SOLON scope. No place of performance or specific period of performance is defined in the source material at the vehicle level; those details typically emerge at task order issuance.

Transactions

Action Obligated Date
Exercise an Option P00005 $499,972
Other Administrative Action P00004 · Dcdrdd - human-AI communication for deontic reasoning devops (codord) $0
Funding Only Action P00003 $200,011
Funding Only Action P00002 · Human-AI communication for deontic reasoning devops (codord) solon: translating text to deontic defeasible logic using LLM-based and formal techniques modulated… $400,018
Other Administrative Action P00001 $0
Original award $400,018

Quick answers

Who was awarded contract HR00112590099?

HR00112590099 was awarded to Sri International by Defense Advanced Research Projects Agency (Department of Defense) on February 10, 2025.

How much is contract HR00112590099 worth?

HR00112590099's own ceiling is $1,999,992.

Was contract HR00112590099 competed?

The extent of competition for HR00112590099 was competed.

On GovTribe

See this IDV's full record

  • Every order and transaction
  • The awardee's other awards and teaming partners
  • Similar IDVs and recompete opportunities
  • Ask GovTribe AI about this IDV