GENETICA: A Computer Language that Supports General Formal Expression with Evolving Data Structures

Virirakis, L

dc.contributor.author	Virirakis, L	en
dc.date.accessioned	2014-03-01T01:19:01Z
dc.date.available	2014-03-01T01:19:01Z
dc.date.issued	2003	en
dc.identifier.issn	1089-778X	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/15323
dc.subject	Evolutionary designing	en
dc.subject	Formal logic	en
dc.subject	Genetic algorithms	en
dc.subject	Genetic programming (GP)	en
dc.subject	Problem solving	en
dc.subject.classification	Computer Science, Artificial Intelligence	en
dc.subject.classification	Computer Science, Theory & Methods	en
dc.subject.other	Computer aided design	en
dc.subject.other	Computer programming languages	en
dc.subject.other	Data structures	en
dc.subject.other	Formal logic	en
dc.subject.other	Optimization	en
dc.subject.other	Problem solving	en
dc.subject.other	Evolutionary designing	en
dc.subject.other	Genetic algorithms	en
dc.title	GENETICA: A Computer Language that Supports General Formal Expression with Evolving Data Structures	en
heal.type	journalArticle	en
heal.identifier.primary	10.1109/TEVC.2003.816581	en
heal.identifier.secondary	http://dx.doi.org/10.1109/TEVC.2003.816581	en
heal.language	English	en
heal.publicationDate	2003	en
heal.abstract	This paper presents a general problem-solving method combining the principles of artificial intelligence and evolutionary computation. The problem-solving method is based on the computer language GENETICA, which stands for ""Genetic Evolution of Novel Entities Through the Interpretation of Composite Abstractions."" GENETICAs programming environment includes a computational system that evolves data abstractions, viewed as genotypes of data generation scenarios for a GENETICA program, with respect to either confirmation or optimization goals. A problem can be formulated as a GENETICA program, while the solution is represented as a data structure resulting from an evolved data generation scenario. This approach to problem solving offers: 1) generality, since it concerns virtually any problem stated in formal logic; 2) effectiveness, since formally expressed problem-solving knowledge can be incorporated in the problem statement; and 3) creativity, since unpredictable solutions can be obtained by evolved data structures. It is shown that domain specific languages, including genetic programming ones, that inherit GENETICAs features can be developed in GENETICA. The language G-CAD, specialized to problem solving in the domain of architectural design, is presented as a case study followed by experimental results.	en
heal.publisher	IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC	en
heal.journalName	IEEE Transactions on Evolutionary Computation	en
dc.identifier.doi	10.1109/TEVC.2003.816581	en
dc.identifier.isi	ISI:000185906600004	en
dc.identifier.volume	7	en
dc.identifier.issue	5	en
dc.identifier.spage	456	en
dc.identifier.epage	481	en