A logical theory of design

F.M. Brazier; P.H.G. van Langen; J. Treur

doi:10.1007/978-0-387-34925-1_14

A logical theory of design

F.M. Brazier, P.H.G. van Langen, J. Treur

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Abstract

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.

Original language	English
Title of host publication	Advances in Formal Design Methods for CAD, Proceedings of the Second International Workshop on Formal Methods in Design
Editors	J.S. Gero
Publisher	Chapman Hall
Pages	243-266
Number of pages	24
ISBN (Print)	978-1-4757-4428-6, 978-0-387-34925-1
DOIs	https://doi.org/10.1007/978-0-387-34925-1_14
Publication status	Published - 1996

Bibliographical note

Brazier.ea:96*7

Access to Document

10.1007/978-0-387-34925-1_14

Persistent URL (handle)

Copy link address

Cite this

@inproceedings{dda07250528443be8b1bbdfb629230f2,

title = "A logical theory of design",

abstract = "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.",

author = "F.M. Brazier and {van Langen}, P.H.G. and J. Treur",

note = "Brazier.ea:96*7 ",

year = "1996",

doi = "10.1007/978-0-387-34925-1_14",

language = "English",

isbn = "978-1-4757-4428-6",

pages = "243--266",

editor = "J.S. Gero",

booktitle = "Advances in Formal Design Methods for CAD, Proceedings of the Second International Workshop on Formal Methods in Design",

publisher = "Chapman Hall",

}

TY - GEN

T1 - A logical theory of design

AU - Brazier, F.M.

AU - van Langen, P.H.G.

AU - Treur, J.

N1 - Brazier.ea:96*7

PY - 1996

Y1 - 1996

N2 - 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.

AB - 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.

U2 - 10.1007/978-0-387-34925-1_14

DO - 10.1007/978-0-387-34925-1_14

M3 - Conference contribution

SN - 978-1-4757-4428-6

SN - 978-0-387-34925-1

SP - 243

EP - 266

BT - Advances in Formal Design Methods for CAD, Proceedings of the Second International Workshop on Formal Methods in Design

A2 - Gero, J.S.

PB - Chapman Hall

ER -

A logical theory of design

Abstract

Bibliographical note

Access to Document

Persistent URL (handle)

Fingerprint

Cite this