Toward Programming Languages for Reasoning - Humans, Symbolic Systems, and AI Agents

Explore a thought-provoking conference talk from Onward! 2023 that delves into the future of programming languages and their role in reasoning for humans, symbolic systems, and AI agents. Discover how integration, composition, mechanization, and AI-assisted development are shaping the next generation of programming languages. Learn about the Bosque platform and language, which proposes a radical simplification approach to address the challenges of reasoning about code and semantics. Gain insights into how this novel approach can potentially revolutionize software development, improve quality, and democratize programmatic automation. Examine the common themes in reasoning across human developers, symbolic tools, and AI agents, and understand why many mainstream languages inadvertently make this task more difficult. This 30-minute presentation by Mark Marron from the University of Kentucky offers a compelling vision for the future of programming languages and their impact on various aspects of software development.

[Onward23] Toward Programming Languages for Reasoning -- Humans, Symbolic Systems, and AI ...