Operationale Semantikdefinition für konzeptuelles Regelwissen
- In: Forum Bauinformatik 2005 : junge Wissenschaftler forschen / [Lehrstuhl Bauinformatik, Brandenburgische Technische Universität Cottbus. Frank Schley ... (Hrsg.)]. - Cottbus : Techn. Universität 2005. S. 1-10 ISBN 3-934934-11-0 Mittels eines operationalen Ansatzes zur Semantikdefinition wird am Bei-spiel des konzeptuellen Gebäudeentwurfs ein Regelsystem formalisiert. Dazu werdenzwei Teile, zum einen das Regelwissen, zum anderen ein konzeptueller Entwurfsplan zunächst informell eingeführt und dann formal beschrieben. Darauf aufbauend wird die Grundlage für eine Konsistenzprüfung des konzeptuellen Entwurfs gegen das Regel-wissen formal angeben
| Author: | Bodo Kraft, Daniel Retkowitz |
|---|---|
| DOI: | https://doi.org/10.21269/285 |
| Document Type: | Conference Proceeding |
| Language: | German |
| Year of Completion: | 2005 |
| Publishing Institution: | Fachhochschule Aachen |
| Contributing Corporation: | Lehrstuhl für Informatik III, RWTH Aachen |
| Date of the Publication (Server): | 2010/11/15 |
| Tag: | Bauingenieurwesen; CAD CAD; civil engineering |
| GND Keyword: | CAD |
| Source: | Forum Bauinformatik 2005 : junge Wissenschaftler forschen / [Lehrstuhl Bauinformatik, Brandenburgische Technische Universität Cottbus. Frank Schley ... (Hrsg.)] |
| Institutes: | FH Aachen / Fachbereich Medizintechnik und Technomathematik |
| Dewey Decimal Classification: | 6 Technik, Medizin, angewandte Wissenschaften / 62 Ingenieurwissenschaften / 620 Ingenieurwissenschaften und zugeordnete Tätigkeiten |
