| authors |
Turk, ˇ. |
| year |
1993 |
| title |
Some New Opportunities for Logic Programming in Engineering |
| source |
Interner Bericht, Institut für Massivbau und Baustofftechnologie, Universität Karlsruhe (TH), Germany |
| pages |
26 strani |
| summary |
Logic programming specialises in setting the rules which define relations between objects. Conceptual (or information) models try to capture just that which is why it is suggested in this report to use logic programming for a semantic representation of conceptual models. Such representation simplifies post processing of the models and enables a proof of correctness. Application of logic programming to design tasks, especially ones that require synthesis is better explored but has not been applied to many engineering design tasks. The report outlines some ideas on how to implement it in a reinforcement layout application as an alternative to rule based expert systems. Prolog is a logic programming language and was extended in this research to provide for the representation of data and logic of thesauri and conceptual models. |
| keywords |
product modelling, Prolog, logic programming, construction IT, CIC |
| topic |
information:project:product models |
| | SLOVENSKO |
|---|
| kljucne besede |
modeliranje produktov, Prolog, logično programiranje, gradbena informatika |
| tip |
Ostala dokumentirana strokovna dejavnost po presoji strokovnih komisij (do 20 točk) (4.6) |
| tipc |
Elaborat, predstudija (2.13) |
| langauge |
en |
| cobiss |
149089 |
| last changed |
2002/12/30 22:09 |
