Feed aggregator
This week with NSF Director Panchanathan
MRR: Taking a groundbreaking technology from basic research to commercialization
2024/10/05 DART and Coordinated Robotics Take Top Spots in the DARPA Triage Challenge Event 1
Creating the largest, most comprehensive picture of neural connections to date
NSF, NIH and FDA support research in digital twin technology for biomedical applications
Scientists discover new way of predicting where and when rivers suddenly change course and flood
Impact of NSF commitment to basic research reflected in 2024 Golden Goose winners
Spanish cave's submerged land bridge reveals that humans colonized the western Mediterranean earlier than thought
Not just a bunch of hot air: Plant responses to higher temperatures change depending on how hot it gets
NSF and international partners to invest $82M in Six 2024 Global Centers
Statement by NSF Director Sethuraman Panchanathan
This week with NSF Director Panchanathan
U.S. National Science Foundation and Department of Commerce announce a new $30M funding opportunity, funded by the CHIPS & Science Act, to prepare talent for semiconductor jobs nationwide
NSF and Quad partners launch AI-ENGAGE to encourage collaboration on emerging technologies and agriculture
2024/09/27 Teaching AI What it Should and Shouldn’t Do
DARPA announced its new Human-AI Communications for Deontic Reasoning Devops program, or CODORD for short. Deontics, a philosophical term, refers to obligations, permissions, and prohibitions. Devops refers to the combination of software development and IT operations, including development that continues during operations.
CODORD seeks to enable communication of deontic knowledge from humans via natural language (e.g., spoken or written English, French, German, etc.) automatically into a highly expressive logical programming language. If successful, CODORD will vastly reduce the cost and time needed to transfer massive amounts of human-generated knowledge about obligations, permissions, and prohibitions into logical languages that an AI can understand and reason rigorously with to provide decision support.