{"id":"https://openalex.org/W2103519081","doi":"https://doi.org/10.2991/978-94-91216-62-6_10","title":"Towards an Actual G\u00f6del Machine Implementation: a Lesson in Self-Reflective Systems","display_name":"Towards an Actual G\u00f6del Machine Implementation: a Lesson in Self-Reflective Systems","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W2103519081","doi":"https://doi.org/10.2991/978-94-91216-62-6_10","mag":"2103519081"},"language":"en","primary_location":{"id":"doi:10.2991/978-94-91216-62-6_10","doi":"https://doi.org/10.2991/978-94-91216-62-6_10","is_oa":false,"landing_page_url":"https://doi.org/10.2991/978-94-91216-62-6_10","pdf_url":null,"source":{"id":"https://openalex.org/S4210175616","display_name":"Atlantis thinking machines","issn_l":"1877-3273","issn":["1877-3273","1877-3281"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310315540","host_organization_name":"Atlantis Press","host_organization_lineage":["https://openalex.org/P4310315540"],"host_organization_lineage_names":["Atlantis Press"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Atlantis Thinking Machines","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W49673716","display_name":"Theoretical Foundations of Artificial General Intelligence"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014269289","display_name":"Bas R. Steunebrink","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I2614128279","display_name":"Dalle Molle Institute for Artificial Intelligence Research","ror":"https://ror.org/013355g38","country_code":"CH","type":"facility","lineage":["https://openalex.org/I15196421","https://openalex.org/I2614128279","https://openalex.org/I57201433"]},{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Bas R. Steunebrink","raw_affiliation_strings":["IDSIA and University of Lugano"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IDSIA and University of Lugano","institution_ids":["https://openalex.org/I2614128279","https://openalex.org/I57201433"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103536954","display_name":"J\u00c3 \u2044 rgen Schmidhuber","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I2614128279","display_name":"Dalle Molle Institute for Artificial Intelligence Research","ror":"https://ror.org/013355g38","country_code":"CH","type":"facility","lineage":["https://openalex.org/I15196421","https://openalex.org/I2614128279","https://openalex.org/I57201433"]},{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"J\u00c3\u00bcrgen Schmidhuber","raw_affiliation_strings":["IDSIA and University of Lugano"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IDSIA and University of Lugano","institution_ids":["https://openalex.org/I2614128279","https://openalex.org/I57201433"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1284,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.82583356,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"173","last_page":"195"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14381","display_name":"Psychiatry, Mental Health, Neuroscience","score":0.6089000105857849,"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"}},"topics":[{"id":"https://openalex.org/T14381","display_name":"Psychiatry, Mental Health, Neuroscience","score":0.6089000105857849,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.1160999983549118,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.06880000233650208,"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/artificial-general-intelligence","display_name":"artificial general intelligence","score":0.9150000214576721},{"id":"https://openalex.org/keywords/proof-search","display_name":"proof search","score":0.8610000014305115},{"id":"https://openalex.org/keywords/self-modification","display_name":"self-modification","score":0.6209999918937683},{"id":"https://openalex.org/keywords/implementation-barriers","display_name":"implementation barriers","score":0.699999988079071},{"id":"https://openalex.org/keywords/self-reflection","display_name":"self-reflection","score":0.5410000085830688}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4761752486228943},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.38714805245399475}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2991/978-94-91216-62-6_10","doi":"https://doi.org/10.2991/978-94-91216-62-6_10","is_oa":false,"landing_page_url":"https://doi.org/10.2991/978-94-91216-62-6_10","pdf_url":null,"source":{"id":"https://openalex.org/S4210175616","display_name":"Atlantis thinking machines","issn_l":"1877-3273","issn":["1877-3273","1877-3281"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310315540","host_organization_name":"Atlantis Press","host_organization_lineage":["https://openalex.org/P4310315540"],"host_organization_lineage_names":["Atlantis Press"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Atlantis Thinking Machines","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.300.247","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.300.247","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.idsia.ch/~juergen/selfreflection.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W158468099","https://openalex.org/W1486289337","https://openalex.org/W1528199841","https://openalex.org/W1626249333","https://openalex.org/W1977710006","https://openalex.org/W1982141330","https://openalex.org/W2011517902","https://openalex.org/W2030098725","https://openalex.org/W2073194447","https://openalex.org/W2074487796","https://openalex.org/W2078434561","https://openalex.org/W2089674328","https://openalex.org/W2101684037","https://openalex.org/W2107726111","https://openalex.org/W2114804254","https://openalex.org/W2148452608","https://openalex.org/W2152834103","https://openalex.org/W2155277832","https://openalex.org/W2492928155","https://openalex.org/W3145454088"],"related_works":["https://openalex.org/W4415695679","https://openalex.org/W158468099","https://openalex.org/W3151924600","https://openalex.org/W7100795383","https://openalex.org/W7109025151","https://openalex.org/W7213753858","https://openalex.org/W7115011386","https://openalex.org/W7204811552","https://openalex.org/W6949605798","https://openalex.org/W2740928856"],"abstract_inverted_index":{"Recently,":[0],"interest":[1],"has":[2],"been":[3],"revived":[4],"in":[5,8,61,88,95,138,144],"self-reflective":[6,135],"systems":[7],"the":[9,42,53,117,124],"context":[10],"of":[11,72,93,101,120],"Artificial":[12],"General":[13],"Intelligence":[14],"(AGI).":[15],"An":[16],"AGI":[17,97,136],"system":[18,137],"should":[19],"be":[20,24,80],"intelligent":[21],"enough":[22],"to":[23,26,63,116],"able":[25],"reason":[27],"about":[28],"its":[29,64],"own":[30],"program":[31],"code,":[32],"and":[33,122,140],"make":[34],"modifications":[35],"where":[36],"it":[37,74,78],"sees":[38],"fit,":[39],"improving":[40],"on":[41,131],"initial":[43],"code":[44],"written":[45],"by":[46],"human":[47],"programmers.":[48],"A":[49],"pertinent":[50],"example":[51],"is":[52],"G\u00f6del":[54,142],"Machine,":[55],"which":[56,73],"employs":[57],"a":[58,70,91,134,141],"proof":[59],"searcher\u2014":[60],"parallel":[62],"regular":[65],"problem":[66],"solves":[67],"duties\u2014to":[68],"find":[69],"self-rewrite":[71],"can":[75],"prove":[76],"that":[77],"will":[79],"beneficial.":[81],"Obviously":[82],"there":[83],"are":[84,103],"technical":[85],"challenges":[86],"involved":[87],"attaining":[89],"such":[90],"level":[92],"self-reflection":[94,121],"an":[96],"system,":[98],"but":[99],"many":[100],"them":[102],"not":[104],"widely":[105],"known":[106],"or":[107],"properly":[108],"appreciated.":[109],"In":[110],"this":[111],"chapter":[112],"we":[113],"go":[114],"back":[115],"theoretical":[118],"foundations":[119],"examine":[123],"(often":[125],"subtle)":[126],"issues":[127],"encountered":[128],"when":[129],"embarking":[130],"actually":[132],"implementing":[133],"general":[139],"Machine":[143],"particular.":[145]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-10-31T12:09:11.096373","created_date":"2016-06-24T00:00:00"}