Aspects of modelling and simulation of genetic algorithms : a formal approach

dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.authorSandqvist, Sam
dc.contributor.departmentDepartment of Computer Science and Engineeringen
dc.contributor.departmentTietotekniikan osastofi
dc.contributor.labLaboratory for Theoretical Computer Scienceen
dc.date.accessioned2011-12-20T10:46:08Z
dc.date.available2011-12-20T10:46:08Z
dc.date.issued2002-11-01
dc.description.abstractGenetic algorithms (GAs) are widely used in solving search and optimisation problems involving very large search spaces, or very many variables where closed form solutions are impractical due to the very size of the problems. This dissertation combines the two salient features of GAs, namely the temporal aspect of the evolutionary approach to solving problems at the heart of the GA, and the stochastic aspect of evolution arising from its reliance on basically random generation of new individuals with stringent selection in determining survival. The work centres around describing the formal modelling of GAs using a logical approach based on standard first-order logic combined with temporal logic and with probabilistic logic. These logics are combined into a unified logic, temporal-probabilistic logic (TPL) which is formulated in this work. The GA is then described using TPL as the main tool, and the working of the GA is detailed from its components to the actual processes by formulating a model of the GA. Several important parameters are described and analysed, as is the important mechanism of selection. A simple axiomatisation of the GA using TPL is described as well. Also presented are simulation of the workings of the genetic algorithm based on high-level Petri nets and experimentation with a genetic algorithm package providing experimental evidence centring on the various selection mechanisms for some of the theoretical results.en
dc.description.versionrevieweden
dc.format.extent179
dc.format.mimetypeapplication/pdf
dc.identifier.isbn951-22-6082-4
dc.identifier.issn1457-7615
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/1214
dc.identifier.urnurn:nbn:fi:tkk-000053
dc.language.isoenen
dc.publisherHelsinki University of Technologyen
dc.publisherTeknillinen korkeakoulufi
dc.relation.ispartofseriesResearch reports / Helsinki University of Technology, Laboratory for Theoretical Computer Scienceen
dc.relation.ispartofseries74en
dc.subject.keywordgenetic algorithmen
dc.subject.keywordtemporal logicen
dc.subject.keywordprobabilistic logicen
dc.subject.keywordmodellingen
dc.subject.keywordsimulationen
dc.subject.keywordPetri neten
dc.subject.otherComputer scienceen
dc.titleAspects of modelling and simulation of genetic algorithms : a formal approachen
dc.typeG4 Monografiaväitöskirjafi
dc.type.dcmitypetexten
dc.type.ontasotVäitöskirja (monografia)fi
dc.type.ontasotDoctoral dissertation (monograph)en

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
isbn9512260824.pdf
Size:
1.05 MB
Format:
Adobe Portable Document Format