Design tasks typically deal with incomplete information and involve flexible reasoning patterns for which sophisticated control strategies are needed. As a result, the reasoning patterns are highly dynamic and non-monotonic. The logical framework introduced provides formal semantics of state descriptions of design processes based on (compositional) partial models and formal semantics of the reasoning behaviour based on (compositional) partial temporal models.
|Title of host publication||Advances in Formal Design Methods for CAD, Proceedings of the Second International Workshop on Formal Methods in Design|
|Number of pages||24|
|ISBN (Print)||978-1-4757-4428-6, 978-0-387-34925-1|
|Publication status||Published - 1996|