{"id":"https://openalex.org/W2518879582","doi":"https://doi.org/10.1515/jagi-2016-0002","title":"Learning and Reasoning in Unknown Domains","display_name":"Learning and Reasoning in Unknown Domains","publication_year":2016,"publication_date":"2016-09-27","ids":{"openalex":"https://openalex.org/W2518879582","doi":"https://doi.org/10.1515/jagi-2016-0002","mag":"2518879582"},"language":"en","primary_location":{"id":"doi:10.1515/jagi-2016-0002","is_oa":true,"landing_page_url":"https://doi.org/10.1515/jagi-2016-0002","pdf_url":"https://content.sciendo.com/downloadpdf/journals/jagi/7/1/article-p104.pdf","source":{"id":"https://openalex.org/S4210180872","display_name":"Journal of Artificial General Intelligence","issn_l":"1946-0163","issn":["1946-0163"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310313990","host_organization_name":"De Gruyter","host_organization_lineage":["https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Artificial General Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://content.sciendo.com/downloadpdf/journals/jagi/7/1/article-p104.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088093796","display_name":"Claes Stranneg\u00e5rd","orcid":"https://orcid.org/0000-0003-4571-9759"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]},{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Claes Stranneg\u00e5rd","raw_affiliation_strings":["Department of Applied Information Technology, Chalmers University of Technology, Sweden and Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden","Department of Mathematical Sciences, Chalmers University of Technology, Sweden","Department of Applied Information Technology, Chalmers University of Technology, Sweden and","Department of Applied Information Technology, University of Gothenburg, Sweden"],"affiliations":[{"raw_affiliation_string":"Department of Applied Information Technology, Chalmers University of Technology, Sweden and Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912","https://openalex.org/I881427289"]},{"raw_affiliation_string":"Department of Mathematical Sciences, Chalmers University of Technology, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Applied Information Technology, Chalmers University of Technology, Sweden and","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Applied Information Technology, University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I881427289"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038546158","display_name":"Abdul Rahim Nizamani","orcid":null},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]},{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Abdul Rahim Nizamani","raw_affiliation_strings":["Department of Applied Information Technology, University of Gothenburg, Sweden","Department of Applied Information Technology, Chalmers University of Technology, Sweden and","Department of Mathematical Sciences, Chalmers University of Technology, Sweden","Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden"],"affiliations":[{"raw_affiliation_string":"Department of Applied Information Technology, University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I881427289"]},{"raw_affiliation_string":"Department of Applied Information Technology, Chalmers University of Technology, Sweden and","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Mathematical Sciences, Chalmers University of Technology, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I881427289"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046467772","display_name":"Jonas Juel","orcid":null},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]},{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Jonas Juel","raw_affiliation_strings":["Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden","Department of Applied Information Technology, University of Gothenburg, Sweden","Department of Mathematical Sciences, Chalmers University of Technology, Sweden","Department of Applied Information Technology, Chalmers University of Technology, Sweden and"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I881427289"]},{"raw_affiliation_string":"Department of Applied Information Technology, University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I881427289"]},{"raw_affiliation_string":"Department of Mathematical Sciences, Chalmers University of Technology, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Applied Information Technology, Chalmers University of Technology, Sweden and","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011058281","display_name":"Ulf Persson","orcid":null},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]},{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Ulf Persson","raw_affiliation_strings":["Department of Mathematical Sciences, Chalmers University of Technology, Sweden","Department of Applied Information Technology, Chalmers University of Technology, Sweden and","Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden","Department of Applied Information Technology, University of Gothenburg, Sweden"],"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, Chalmers University of Technology, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Applied Information Technology, Chalmers University of Technology, Sweden and","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I881427289"]},{"raw_affiliation_string":"Department of Applied Information Technology, University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I881427289"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5038546158"],"corresponding_institution_ids":["https://openalex.org/I66862912","https://openalex.org/I881427289"],"apc_list":null,"apc_paid":null,"fwci":0.8868,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.84594558,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"7","issue":"1","first_page":"104","last_page":"127"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9954000115394592,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9954000115394592,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9937000274658203,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9860000014305115,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/alice","display_name":"Alice (programming language)","score":0.8574682474136353},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6305058598518372},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.620965301990509},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5968272089958191},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5696349740028381},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.502605676651001},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.46369919180870056},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33086422085762024},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2986057996749878},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26761263608932495}],"concepts":[{"id":"https://openalex.org/C2778222013","wikidata":"https://www.wikidata.org/wiki/Q1136926","display_name":"Alice (programming language)","level":2,"score":0.8574682474136353},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6305058598518372},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.620965301990509},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5968272089958191},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5696349740028381},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.502605676651001},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.46369919180870056},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33086422085762024},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2986057996749878},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26761263608932495},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1515/jagi-2016-0002","is_oa":true,"landing_page_url":"https://doi.org/10.1515/jagi-2016-0002","pdf_url":"https://content.sciendo.com/downloadpdf/journals/jagi/7/1/article-p104.pdf","source":{"id":"https://openalex.org/S4210180872","display_name":"Journal of Artificial General Intelligence","issn_l":"1946-0163","issn":["1946-0163"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310313990","host_organization_name":"De Gruyter","host_organization_lineage":["https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Artificial General Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:publications.lib.chalmers.se:241528","is_oa":false,"landing_page_url":"http://publications.lib.chalmers.se/publication/241528-learning-and-reasoning-in-unknown-domains","pdf_url":null,"source":{"id":"https://openalex.org/S4377196470","display_name":"Chalmers Publication Library (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text.Article.Journal.PeerReviewed"},{"id":"pmh:oai:research.chalmers.se:241528","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/241528","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1515/jagi-2016-0002","is_oa":true,"landing_page_url":"https://doi.org/10.1515/jagi-2016-0002","pdf_url":"https://content.sciendo.com/downloadpdf/journals/jagi/7/1/article-p104.pdf","source":{"id":"https://openalex.org/S4210180872","display_name":"Journal of Artificial General Intelligence","issn_l":"1946-0163","issn":["1946-0163"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310313990","host_organization_name":"De Gruyter","host_organization_lineage":["https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Artificial General Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2518879582.pdf","grobid_xml":"https://content.openalex.org/works/W2518879582.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W71529944","https://openalex.org/W102878842","https://openalex.org/W112537198","https://openalex.org/W186617629","https://openalex.org/W230787598","https://openalex.org/W266616360","https://openalex.org/W419646410","https://openalex.org/W601995591","https://openalex.org/W1450766598","https://openalex.org/W1484196467","https://openalex.org/W1502316182","https://openalex.org/W1515750560","https://openalex.org/W1528233644","https://openalex.org/W1560798743","https://openalex.org/W1603086384","https://openalex.org/W1979321496","https://openalex.org/W1988106090","https://openalex.org/W2001771035","https://openalex.org/W2026067321","https://openalex.org/W2046525774","https://openalex.org/W2106602338","https://openalex.org/W2145482038","https://openalex.org/W2181400269","https://openalex.org/W2399421249","https://openalex.org/W2573855267","https://openalex.org/W6602917766","https://openalex.org/W6609851229","https://openalex.org/W6631369821","https://openalex.org/W6632152418","https://openalex.org/W6637441467","https://openalex.org/W6676088818","https://openalex.org/W6826730104","https://openalex.org/W7042343549"],"related_works":["https://openalex.org/W13634261","https://openalex.org/W4250462479","https://openalex.org/W56937029","https://openalex.org/W3163509751","https://openalex.org/W958050847","https://openalex.org/W2396405675","https://openalex.org/W175051304","https://openalex.org/W1549730417","https://openalex.org/W1548499332","https://openalex.org/W1994524667"],"abstract_inverted_index":{"Abstract":[0],"In":[1,35],"the":[2,40,56,70],"story":[3],"Alice":[4,8,24,101,117,132],"in":[5,18,65,160],"Wonderland":[6,29,94],",":[7],"fell":[9],"down":[10],"a":[11,19,52,66,103,148],"rabbit":[12],"hole":[13],"and":[14,33,79,100,141,154,166],"suddenly":[15],"found":[16],"herself":[17],"strange":[20],"world":[21],"called":[22],"Wonderland.":[23,116],"gradually":[25],"developed":[26],"knowledge":[27],"about":[28,87],"by":[30,109,122,137],"observing,":[31],"learning,":[32],"reasoning.":[34],"this":[36],"paper":[37],"we":[38,58,92],"present":[39],"system":[41,145],"A":[42],"lice":[43],"I":[44],"n":[45],"W":[46],"onderland":[47],"that":[48,106,126],"operates":[49],"analogously.":[50],"As":[51],"theoretical":[53],"basis":[54],"of":[55,63,72,113,124,151],"system,":[57],"define":[59],"several":[60],"basic":[61,85],"concepts":[62],"logic":[64,165],"generalized":[67,89],"setting,":[68],"including":[69],"notions":[71],"domain,":[73],"proof,":[74],"consistency,":[75],"soundness,":[76],"completeness,":[77],"decidability,":[78],"compositionality.":[80],"We":[81],"also":[82],"prove":[83],"some":[84],"theorems":[86],"those":[88],"notions.":[90],"Then":[91],"model":[93],"as":[95,102,163],"an":[96],"arbitrary":[97],"symbolic":[98,152],"domain":[99],"cognitive":[104,129],"architecture":[105],"learns":[107],"autonomously":[108],"observing":[110],"random":[111],"streams":[112],"facts":[114],"from":[115],"is":[118],"able":[119],"to":[120],"reason":[121],"means":[123],"computations":[125],"use":[127],"bounded":[128],"resources.":[130],"Moreover,":[131],"develops":[133],"her":[134],"belief":[135],"set":[136],"continuously":[138],"forming,":[139],"testing,":[140],"revising":[142],"hypotheses.":[143],"The":[144],"can":[146],"learn":[147],"wide":[149],"class":[150],"domains":[153,162],"challenge":[155],"average":[156],"human":[157],"problem":[158],"solvers":[159],"such":[161],"propositional":[164],"elementary":[167],"arithmetic.":[168]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}