Statically determinate trusses programmed in logic

Koumousis Vlasis, K; Georgiou Panos, G

dc.contributor.author	Koumousis Vlasis, K	en
dc.contributor.author	Georgiou Panos, G	en
dc.date.accessioned	2014-03-01T01:09:04Z
dc.date.available	2014-03-01T01:09:04Z
dc.date.issued	1992	en
dc.identifier.issn	08873801	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/10818
dc.subject.other	Computer aided analysis	en
dc.subject.other	Computer programming	en
dc.subject.other	Computer programming languages	en
dc.subject.other	Computer software	en
dc.subject.other	Logic programming	en
dc.subject.other	Structural analysis	en
dc.subject.other	Statically determinate trusses	en
dc.subject.other	Turbo Prolog	en
dc.subject.other	Trusses	en
dc.title	Statically determinate trusses programmed in logic	en
heal.type	journalArticle	en
heal.identifier.primary	10.1061/(ASCE)0887-3801(1992)6:4(435)	en
heal.identifier.secondary	http://dx.doi.org/10.1061/(ASCE)0887-3801(1992)6:4(435)	en
heal.publicationDate	1992	en
heal.abstract	Classical methods of structural analysis play an important role in the understanding of the behavior of structures because, during the process of solution, the conditions of equilibrium and compatibility are used explicitly. Computationally, these methods are problem dependent and, thus, are not suitable for algorithmic programming. Logic programming can be used to implement classical methods of structural analysis. This approach can help students understand the conditions of equilibrium and compatibility for structures and, at the same time, formulate the problem on a modern base from which design considerations can be tackled by using artificial intelligence methods and expert systems. The analysis of statically determinate trusses is employed to demonstrate the logic approach. The goal of solving a truss problem is achieved through the same subgoals followed when solving the truss problem by hand calculations. The procedure can be traced in a transparent way and alternative paths of solution can be determined. A program written in Turbo Prolog is presented and the logic approach is illustrated with some examples.	en
heal.journalName	Journal of Computing in Civil Engineering	en
dc.identifier.doi	10.1061/(ASCE)0887-3801(1992)6:4(435)	en
dc.identifier.volume	6	en
dc.identifier.issue	4	en
dc.identifier.spage	435	en
dc.identifier.epage	455	en