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...
Gespeichert in:
| Veröffentlicht in: | Engineering with computers 1998-01, Vol.14 (2), p.123-138 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 138 |
|---|---|
| container_issue | 2 |
| container_start_page | 123 |
| container_title | Engineering with computers |
| container_volume | 14 |
| creator | Lakmazaheri, Sivand |
| description | 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. |
| doi_str_mv | 10.1007/BF01213586 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_919917550</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2418101961</sourcerecordid><originalsourceid>FETCH-LOGICAL-c351t-67be9ef13f0790fabb1488202f4828ee917a9bbd1ef71c883478d272f1ba9ced3</originalsourceid><addsrcrecordid>eNqF0U1Lw0AQBuBFFKzVi78geFAQoju72a-jtlaFghc9h00yW1KS3bqbCv57UyoIHvQ0l4d3mHkJOQd6A5Sq2_sFBQZcaHlAJlBwkQsp-SGZUFAqp1KqY3KS0ppS4JSaCZHLsGrrvLIJm4zNsxWGHofY1lkfGuxav8pan9lsdjfP0H-0Mfge_XBKjpztEp59zyl5Wzy8zp7y5cvj8-xumddcwJBLVaFBB9xRZaizVQWF1owyV2imEQ0oa6qqAXQKaq15oXTDFHNQWVNjw6fkap-7ieF9i2ko-zbV2HXWY9im0oAZM4Sg_0pVCFlICXKUl39KpoRSnLERXvyC67CNfry31Hr8H-d6t_d6j-oYUoroyk1sexs_S6DlrpPypxP-Bc9retw</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>881303380</pqid></control><display><type>article</type><title>Logic-based 2D geometric modeling in a CAD environment</title><source>SpringerLink Journals - AutoHoldings</source><creator>Lakmazaheri, Sivand</creator><creatorcontrib>Lakmazaheri, Sivand</creatorcontrib><description>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.</description><identifier>ISSN: 0177-0667</identifier><identifier>EISSN: 1435-5663</identifier><identifier>DOI: 10.1007/BF01213586</identifier><language>eng</language><publisher>Heidelberg: Springer Nature B.V</publisher><subject>CAD ; Computational geometry ; Computer aided design ; Computer programs ; Computer simulation ; Formal logic ; Mathematical models ; Predicate logic ; Retaining walls ; Software ; Studies ; Two dimensional</subject><ispartof>Engineering with computers, 1998-01, Vol.14 (2), p.123-138</ispartof><rights>Springer-Verlag 1998</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c351t-67be9ef13f0790fabb1488202f4828ee917a9bbd1ef71c883478d272f1ba9ced3</citedby><cites>FETCH-LOGICAL-c351t-67be9ef13f0790fabb1488202f4828ee917a9bbd1ef71c883478d272f1ba9ced3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,778,782,27907,27908</link.rule.ids></links><search><creatorcontrib>Lakmazaheri, Sivand</creatorcontrib><title>Logic-based 2D geometric modeling in a CAD environment</title><title>Engineering with computers</title><description>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.</description><subject>CAD</subject><subject>Computational geometry</subject><subject>Computer aided design</subject><subject>Computer programs</subject><subject>Computer simulation</subject><subject>Formal logic</subject><subject>Mathematical models</subject><subject>Predicate logic</subject><subject>Retaining walls</subject><subject>Software</subject><subject>Studies</subject><subject>Two dimensional</subject><issn>0177-0667</issn><issn>1435-5663</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1998</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><recordid>eNqF0U1Lw0AQBuBFFKzVi78geFAQoju72a-jtlaFghc9h00yW1KS3bqbCv57UyoIHvQ0l4d3mHkJOQd6A5Sq2_sFBQZcaHlAJlBwkQsp-SGZUFAqp1KqY3KS0ppS4JSaCZHLsGrrvLIJm4zNsxWGHofY1lkfGuxav8pan9lsdjfP0H-0Mfge_XBKjpztEp59zyl5Wzy8zp7y5cvj8-xumddcwJBLVaFBB9xRZaizVQWF1owyV2imEQ0oa6qqAXQKaq15oXTDFHNQWVNjw6fkap-7ieF9i2ko-zbV2HXWY9im0oAZM4Sg_0pVCFlICXKUl39KpoRSnLERXvyC67CNfry31Hr8H-d6t_d6j-oYUoroyk1sexs_S6DlrpPypxP-Bc9retw</recordid><startdate>19980101</startdate><enddate>19980101</enddate><creator>Lakmazaheri, Sivand</creator><general>Springer Nature B.V</general><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7SC</scope><scope>7TB</scope><scope>7XB</scope><scope>8AL</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>FR3</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>KR7</scope><scope>L6V</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M0N</scope><scope>M7S</scope><scope>P5Z</scope><scope>P62</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>Q9U</scope><scope>7TC</scope></search><sort><creationdate>19980101</creationdate><title>Logic-based 2D geometric modeling in a CAD environment</title><author>Lakmazaheri, Sivand</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c351t-67be9ef13f0790fabb1488202f4828ee917a9bbd1ef71c883478d272f1ba9ced3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1998</creationdate><topic>CAD</topic><topic>Computational geometry</topic><topic>Computer aided design</topic><topic>Computer programs</topic><topic>Computer simulation</topic><topic>Formal logic</topic><topic>Mathematical models</topic><topic>Predicate logic</topic><topic>Retaining walls</topic><topic>Software</topic><topic>Studies</topic><topic>Two dimensional</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Lakmazaheri, Sivand</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>Computer and Information Systems Abstracts</collection><collection>Mechanical & Transportation Engineering Abstracts</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>Computing Database (Alumni Edition)</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>Engineering Research Database</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>Civil Engineering Abstracts</collection><collection>ProQuest Engineering Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Computing Database</collection><collection>Engineering Database</collection><collection>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><collection>ProQuest Central Basic</collection><collection>Mechanical Engineering Abstracts</collection><jtitle>Engineering with computers</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Lakmazaheri, Sivand</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Logic-based 2D geometric modeling in a CAD environment</atitle><jtitle>Engineering with computers</jtitle><date>1998-01-01</date><risdate>1998</risdate><volume>14</volume><issue>2</issue><spage>123</spage><epage>138</epage><pages>123-138</pages><issn>0177-0667</issn><eissn>1435-5663</eissn><abstract>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.</abstract><cop>Heidelberg</cop><pub>Springer Nature B.V</pub><doi>10.1007/BF01213586</doi><tpages>16</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0177-0667 |
| ispartof | Engineering with computers, 1998-01, Vol.14 (2), p.123-138 |
| issn | 0177-0667 1435-5663 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_919917550 |
| source | SpringerLink Journals - AutoHoldings |
| subjects | CAD Computational geometry Computer aided design Computer programs Computer simulation Formal logic Mathematical models Predicate logic Retaining walls Software Studies Two dimensional |
| title | Logic-based 2D geometric modeling in a CAD environment |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-17T04%3A06%3A42IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Logic-based%202D%20geometric%20modeling%20in%20a%20CAD%20environment&rft.jtitle=Engineering%20with%20computers&rft.au=Lakmazaheri,%20Sivand&rft.date=1998-01-01&rft.volume=14&rft.issue=2&rft.spage=123&rft.epage=138&rft.pages=123-138&rft.issn=0177-0667&rft.eissn=1435-5663&rft_id=info:doi/10.1007/BF01213586&rft_dat=%3Cproquest_cross%3E2418101961%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=881303380&rft_id=info:pmid/&rfr_iscdi=true |