{"id":"https://openalex.org/W1919301070","doi":"https://doi.org/10.15439/2015f210","title":"Towards Machine Mind Evolution","display_name":"Towards Machine Mind Evolution","publication_year":2015,"publication_date":"2015-10-11","ids":{"openalex":"https://openalex.org/W1919301070","doi":"https://doi.org/10.15439/2015f210","mag":"1919301070"},"language":"en","primary_location":{"id":"doi:10.15439/2015f210","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2015f210","pdf_url":"https://annals-csis.org/proceedings/2015/pliks/210.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://annals-csis.org/proceedings/2015/pliks/210.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113487256","display_name":"J\u00e1n Koll\u00e1r","orcid":null},"institutions":[{"id":"https://openalex.org/I183764125","display_name":"Technical University of Ko\u0161ice","ror":"https://ror.org/05xm08015","country_code":"SK","type":"education","lineage":["https://openalex.org/I183764125"]}],"countries":["SK"],"is_corresponding":false,"raw_author_name":"J\u00e1n Koll\u00e1r","raw_affiliation_strings":["Department of Computers and Informatics, Technical University of Ko\u0161ice, Letn\u00e1 9, 042 00, Slovakia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computers and Informatics, Technical University of Ko\u0161ice, Letn\u00e1 9, 042 00, Slovakia","institution_ids":["https://openalex.org/I183764125"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037051905","display_name":"Michal Si\u010d\u00e1k","orcid":null},"institutions":[{"id":"https://openalex.org/I183764125","display_name":"Technical University of Ko\u0161ice","ror":"https://ror.org/05xm08015","country_code":"SK","type":"education","lineage":["https://openalex.org/I183764125"]}],"countries":["SK"],"is_corresponding":false,"raw_author_name":"Michal Si\u010d\u00e1k","raw_affiliation_strings":["Department of Computers and Informatics, Technical University of Ko\u0161ice, Letn\u00e1 9, 042 00, Slovakia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computers and Informatics, Technical University of Ko\u0161ice, Letn\u00e1 9, 042 00, Slovakia","institution_ids":["https://openalex.org/I183764125"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044954985","display_name":"Milan Spi\u0161iak","orcid":null},"institutions":[{"id":"https://openalex.org/I183764125","display_name":"Technical University of Ko\u0161ice","ror":"https://ror.org/05xm08015","country_code":"SK","type":"education","lineage":["https://openalex.org/I183764125"]}],"countries":["SK"],"is_corresponding":false,"raw_author_name":"Milan Spi\u0161iak","raw_affiliation_strings":["Department of Computers and Informatics, Technical University of Ko\u0161ice, Letn\u00e1 9, 042 00, Slovakia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computers and Informatics, Technical University of Ko\u0161ice, Letn\u00e1 9, 042 00, Slovakia","institution_ids":["https://openalex.org/I183764125"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I183764125"],"apc_list":null,"apc_paid":null,"fwci":2.3313,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.87619378,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"5","issue":null,"first_page":"985","last_page":"990"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8432154655456543},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.759783148765564},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5330238342285156},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4990980625152588},{"id":"https://openalex.org/keywords/machine-code","display_name":"Machine code","score":0.47660914063453674},{"id":"https://openalex.org/keywords/abstract-machine","display_name":"Abstract machine","score":0.4374263882637024},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4339746832847595},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.43372872471809387},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.419036328792572},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40470895171165466},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.35331010818481445}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8432154655456543},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.759783148765564},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5330238342285156},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4990980625152588},{"id":"https://openalex.org/C115168132","wikidata":"https://www.wikidata.org/wiki/Q55813","display_name":"Machine code","level":3,"score":0.47660914063453674},{"id":"https://openalex.org/C88977235","wikidata":"https://www.wikidata.org/wiki/Q787114","display_name":"Abstract machine","level":2,"score":0.4374263882637024},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4339746832847595},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.43372872471809387},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.419036328792572},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40470895171165466},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.35331010818481445},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.15439/2015f210","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2015f210","pdf_url":"https://annals-csis.org/proceedings/2015/pliks/210.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:doaj.org/article:f3749daa1ad74f1faa164178c3860dc8","is_oa":false,"landing_page_url":"https://doaj.org/article/f3749daa1ad74f1faa164178c3860dc8","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Annals of computer science and information systems, Vol 5, Pp 985-990 (2015)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.15439/2015f210","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2015f210","pdf_url":"https://annals-csis.org/proceedings/2015/pliks/210.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1919301070.pdf","grobid_xml":"https://content.openalex.org/works/W1919301070.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W1493111470","https://openalex.org/W1536325187","https://openalex.org/W1992536445","https://openalex.org/W1994188141","https://openalex.org/W2000650597","https://openalex.org/W2087055545","https://openalex.org/W2145162376","https://openalex.org/W2167971042","https://openalex.org/W2170429374","https://openalex.org/W2268379707","https://openalex.org/W2919679222","https://openalex.org/W4205684818","https://openalex.org/W4302402540"],"related_works":["https://openalex.org/W2112263414","https://openalex.org/W3004782279","https://openalex.org/W1602185604","https://openalex.org/W2028779182","https://openalex.org/W4242678340","https://openalex.org/W2140654465","https://openalex.org/W2129253059","https://openalex.org/W1488646450","https://openalex.org/W4296274916","https://openalex.org/W1504459189"],"abstract_inverted_index":{"We":[0,11,24,34,52,130],"introduce":[1],"the":[2,54,73,101,115,122,139,144],"principles":[3,29],"of":[4,8,20,30,37,58,63,90,96,103,107,117,134,151],"symbolization":[5],"and":[6,42,87,163,168],"conceptualization":[7],"perceived":[9],"reality.":[10],"show":[12,131],"them":[13],"as":[14,46],"processes":[15,27],"that":[16,132],"are":[17,112],"applicable":[18],"inside":[19],"a":[21,31,91,118,135],"computer":[22],"mind.":[23,33,119],"derive":[25],"those":[26],"from":[28,127],"human":[32],"present":[35,53],"process":[36],"higher":[38],"order":[39],"regular":[40],"abstraction":[41],"state":[43],"automata":[44],"acceptance":[45],"possible":[47],"machine":[48,59,92,136,145],"reality":[49],"realization":[50],"mechanism.":[51],"algorithm":[55,65],"for":[56,142],"evolution":[57],"mind":[60,93,146],"language.":[61,94,129],"Verification":[62],"this":[64,128],"is":[66,83,138,154],"presented":[67],"in":[68,84,114,148],"functional":[69],"language":[70,116,137,147],"Haskell.":[71],"On":[72],"output,":[74],"we":[75,158],"have":[76],"obtained":[77],"fine-grained":[78],"parallel":[79],"nonredundant":[80],"structure.":[81],"It":[82,153],"super-combinator":[85],"form":[86],"represents":[88],"elements":[89,97,104],"Count":[95],"applications":[98],"highly":[99],"exceeds":[100],"count":[102],"themselves.":[105,173],"Instead":[106],"accumulating":[108],"acquired":[109],"information,":[110],"they":[111],"dissolved":[113],"Vice":[120],"versa,":[121],"information":[123],"can":[124,159],"be":[125],"reconstructed":[126],"non-redundancy":[133],"decisive":[140],"criterion":[141],"restructuring":[143],"each":[149],"moment":[150],"communication.":[152],"like":[155],"that,":[156],"so":[157],"achieve":[160],"more":[161],"powerful":[162],"abstract":[164],"communication":[165],"between":[166,171],"humans":[167],"computers":[169,172],"or":[170]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}