Notice ID: DARPA-PA-24-04-01
“The Defense Advanced Research Projects Agency (DARPA) Defense Sciences Office (DSO) is issuing a Disruption Opportunity (DO), inviting submissions of innovative basic or applied research concepts in the technical domain of knowledge authoring for deontic logical reasoning. This DO is issued under the Program Announcement for Disruptioneering, DARPA-PA-24-04. All awards will be made in the form of an Other Transaction (OT) for Prototype project. The total award value for the combined Phase 1 base and Phase 2 option is limited to $2,000,000. This total award value includes Government funding and performer cost share if required or proposed.”
Objective
CODORD performers will focus on developing new automatic techniques for translating deontic knowledge from NL into logical language. To constrain the problem, CODORD performers must concentrate specifically on generating deontic logical knowledge that is expressed in an opensource logical language that meets the four practical requirements stated above. A human knowledge author will input a sentence or other short passage of NL text, and the performer’s novel AI technique will then generate one or a few logical-language expressions (e.g., assertion statements or queries) as output. One or more human authors will then revise (i.e., review, test, and modify) that output. To revise it, an author might edit it directly in the logical language or might instead rerun the generating process by modifying its NL input; however, automating the revising process beyond such rerunning is out of scope for CODORD …
Not Yet a Premium Partner/Sponsor? Learn more about the OS AI Premium Corporate and Individual Plans here. Plans start at $250 annually.