Logic-based 2D geometric modeling in a CAD environment

Logic-based 2D geometric modeling in a CAD environment

This paper examines the use of predicate logic for deductive construction of geometric models. The process of logical inference and its use for geometric modeling is examined. The logic-based definition of a retaining wall is presented, the implementation of a logic-based CAD system using a commerci...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Engineering with computers 1998-01, Vol.14 (2), p.123-138
1. Verfasser: Lakmazaheri, Sivand
Format: Artikel
Sprache:eng
Schlagworte:
CAD
Computational geometry
Computer aided design
Computer programs
Computer simulation
Formal logic
Mathematical models
Predicate logic
Retaining walls
Software
Studies
Two dimensional
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper examines the use of predicate logic for deductive construction of geometric models. The process of logical inference and its use for geometric modeling is examined. The logic-based definition of a retaining wall is presented, the implementation of a logic-based CAD system using a commercial software is briefly discussed and its use is illustrated.
ISSN:0177-0667
1435-5663
DOI:10.1007/BF01213586