Attribute Grammars for Modeling Workflows and Planning Domains

Talk
Roman Bartak
Charles University, Prague
Time: 
09.20.2018 13:30 to 14:30
Location: 
AVW 4172

Attribute grammars extend context-free grammars (CFG) by attributes and constraints and hence increase expressive power (with respect to CFG) while keeping simplicity of grammar rules. We will show that attribute grammars can naturally model hierarchical workflows and planning domains and hence may serve as a unifying modeling framework. In this modeling framework, we can, for example, verify consistency of workflow models and validate that a given plan can be generated from an HTN (hierarchical task networks) model.