Explore two cutting-edge projects on human-machine interaction in this conference talk by David Harel. Delve into "The Human-or-Machine Issue," examining how knowledge of an agent's nature (human or machine) affects everyday interactions, and its implications for human behavior and system development. Discover a proposed systematic programming methodology that combines scenario-based programming, AI-based software development assistance, and iterative requirements articulation with testing and verification. Analyze the common themes of trust, validity, and dynamic knowledge construction in human-AI interactions across both projects. Gain insights into the evolving role of computers in various application areas and the challenges of ensuring productive human-machine collaborations.
Overview
Syllabus
[VMCAI'24] Two Projects on Human Interaction with AI
Taught by
ACM SIGPLAN