{"690059":{"#nid":"690059","#data":{"type":"event","title":"SCS Visitor Seminar- Brendan Juba","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003ETalk Title:\u003C\/strong\u003E Learning Safe Action Models\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003ESpeaker:\u003C\/strong\u003E Brendan Juba, Associate Professor, Washington University\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EAbstract:\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EDomain-independent planning is a classical AI task. For a specified set of objects and predicates, with some initial valuation, an action model is given that describes a set of actions in terms of their preconditions and effects; that is, respectively, properties that the domain must satisfy for an action to execute (e.g., a conjunction), and the changes to the values of predicates that result from the execution. A goal property is also given in terms of the predicates and objects. The domain-independent planning task is then, given this initial valuation, action model, and goal, to output a straight-line program consisting of actions that results in the satisfaction of the goal.\u003C\/p\u003E\u003Cp\u003EHere, we focus on the task of learning an action model from example executions. We propose a formulation of this task in the spirit of distribution-free PAC learning, that permits an arbitrary domain-independent planner to safely use the action model we produce. Safety here means that we guarantee that any plan produced by the planner executes in the actual action model, i.e., the actual preconditions are satisfied at each step, and results in the satisfaction of the given goal in the actual action model. We show that there are polynomial-time algorithms for safe learning of action models expressible in the classical STRIPS formalism, for example. We will also show that many richer families of domains are not safely learnable.\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;Based on joint works with Hai Son Le, Argaman Mordoch, and Roni Stern.\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EBio:\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EBrendan Juba is an\u0026nbsp;Associate\u0026nbsp;Professor in the Department of Computer Science and Engineering at Washington University in St. Louis. His current research interests lie in theoretical approaches to artificial intelligence, founded on the theory of Algorithms and Computational Complexity.\u003C\/p\u003E\u003Cp\u003EWebsite: \u003Ca href=\u0022https:\/\/nam12.safelinks.protection.outlook.com\/?url=https%3A%2F%2Fwww.cse.wustl.edu%2F~bjuba%2F\u0026amp;data=05%7C02%7Cmusry8%40gtvault.onmicrosoft.com%7C454a1b7702714f6d931a08dea626ccf0%7C482198bbae7b4b258b7a6d7f32faa083%7C1%7C0%7C639130882756215636%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C\u0026amp;sdata=uUdMf2oPkWI12Rb9jg%2B7heph20osxzg0YwEJLJYR6CA%3D\u0026amp;reserved=0\u0022 title=\u0022Original URL:\u0026#13;https:\/\/www.cse.wustl.edu\/~bjuba\/\u0026#13;\u0026#13;Click to follow link.\u0022\u003Ehttps:\/\/www.cse.wustl.edu\/~bjuba\/\u003C\/a\u003E\u003C\/p\u003E","summary":"","format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003E\u003Cstrong\u003ETalk Title:\u003C\/strong\u003E Learning Safe Action Models\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003ESpeaker:\u003C\/strong\u003E Brendan Juba, Associate Professor, Washington University\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E","format":"limited_html"}],"field_summary_sentence":[{"value":"SCS Visitor Seminar- Brendan Juba, Associate Professor, Washington University"}],"uid":"36532","created_gmt":"2026-04-29 19:59:03","changed_gmt":"2026-04-29 20:01:28","author":"Morgan Usry","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2026-05-01T11:00:00-04:00","event_time_end":"2026-05-01T12:00:00-04:00","event_time_end_last":"2026-05-01T12:00:00-04:00","gmt_time_start":"2026-05-01 15:00:00","gmt_time_end":"2026-05-01 16:00:00","gmt_time_end_last":"2026-05-01 16:00:00","rrule":null,"timezone":"America\/New_York"},"location":"KACB 3109","extras":[],"groups":[{"id":"47223","name":"College of Computing"},{"id":"322011","name":"College of Computing Events"},{"id":"50875","name":"School of Computer Science"}],"categories":[],"keywords":[],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"194683","name":"Talk"}],"invited_audience":[{"id":"78761","name":"Faculty\/Staff"},{"id":"174045","name":"Graduate students"},{"id":"78751","name":"Undergraduate students"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}