Logic programming for process planning in the domain of sheet metal forming with progressive dies

Vosniakos, GC; Segredou, I; Giannakakis, T

dc.contributor.author	Vosniakos, GC	en
dc.contributor.author	Segredou, I	en
dc.contributor.author	Giannakakis, T	en
dc.date.accessioned	2014-03-01T01:22:37Z
dc.date.available	2014-03-01T01:22:37Z
dc.date.issued	2005	en
dc.identifier.issn	0956-5515	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/16621
dc.subject	progressive dies	en
dc.subject	sheet metal bending	en
dc.subject	cutting and piercing	en
dc.subject	DfM	en
dc.subject	logic programming	en
dc.subject.classification	Computer Science, Artificial Intelligence	en
dc.subject.classification	Engineering, Manufacturing	en
dc.subject.other	AUTOMATED DESIGN	en
dc.subject.other	SYSTEM	en
dc.subject.other	PARTS	en
dc.subject.other	COMPONENTS	en
dc.subject.other	FEATURES	en
dc.subject.other	TOOLS	en
dc.title	Logic programming for process planning in the domain of sheet metal forming with progressive dies	en
heal.type	journalArticle	en
heal.identifier.primary	10.1007/s10845-005-1659-0	en
heal.identifier.secondary	http://dx.doi.org/10.1007/s10845-005-1659-0	en
heal.language	English	en
heal.publicationDate	2005	en
heal.abstract	In this work an intelligent system pertaining to sheet metal part and process design has been developed, storing knowledge and prescribing ways to use this knowledge according to the "programming in logic" paradigm. The sheet metal parts covered by the software are those having U shape and being manufactured by bending (folding), cutting and piercing with particular emphasis on progressive dies. The use envisaged and corresponding parts of the system are: checking the part design for manufacturability, planning process phases, and checking the configuration of press tools involved. Particular attention is paid to the presentation of knowledge that has been gathered from handbooks and verified / enhanced in industry. This is first presented in natural language and then its formal representation in Prolog is described and explained by examples. Part design and press tool checking knowledge is relatively straightforward to represent and structure 'linearly'. Process planning knowledge is based on patterns that are captured in lists and activated in a case-by-case fashion exploiting the power of Prolog. Validation of the system was conducted using examples from industry.	en
heal.publisher	SPRINGER	en
heal.journalName	JOURNAL OF INTELLIGENT MANUFACTURING	en
dc.identifier.doi	10.1007/s10845-005-1659-0	en
dc.identifier.isi	ISI:000230723800007	en
dc.identifier.volume	16	en
dc.identifier.issue	4-5	en
dc.identifier.spage	479	en
dc.identifier.epage	497	en