{"id":"https://openalex.org/W2087573816","doi":"https://doi.org/10.1145/2685328.2685332","title":"On the projection problem in active knowledge bases with incomplete information","display_name":"On the projection problem in active knowledge bases with incomplete information","publication_year":2014,"publication_date":"2014-12-19","ids":{"openalex":"https://openalex.org/W2087573816","doi":"https://doi.org/10.1145/2685328.2685332","mag":"2087573816"},"language":"en","primary_location":{"id":"doi:10.1145/2685328.2685332","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2685328.2685332","pdf_url":null,"source":{"id":"https://openalex.org/S4210187303","display_name":"AI Matters","issn_l":"2372-3483","issn":["2372-3483"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"AI Matters","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://publications.rwth-aachen.de/record/82797","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002932153","display_name":"Vaishak Belle","orcid":"https://orcid.org/0000-0001-5573-8465"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Vaishak Belle","raw_affiliation_strings":["University of Toronto"],"affiliations":[{"raw_affiliation_string":"University of Toronto","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5002932153"],"corresponding_institution_ids":["https://openalex.org/I185261750"],"apc_list":null,"apc_paid":null,"fwci":0.844,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.81858014,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"1","issue":"2","first_page":"14","last_page":"16"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9836999773979187,"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/T12288","display_name":"Optimization and Search Problems","score":0.9595000147819519,"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/citation","display_name":"Citation","score":0.8117095232009888},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6344849467277527},{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.6136341094970703},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.5158652663230896},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.37910133600234985},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.12701258063316345}],"concepts":[{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.8117095232009888},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6344849467277527},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.6136341094970703},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.5158652663230896},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.37910133600234985},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.12701258063316345}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2685328.2685332","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2685328.2685332","pdf_url":null,"source":{"id":"https://openalex.org/S4210187303","display_name":"AI Matters","issn_l":"2372-3483","issn":["2372-3483"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"AI Matters","raw_type":"journal-article"},{"id":"pmh:oai:publications.rwth-aachen.de:82797","is_oa":true,"landing_page_url":"https://publications.rwth-aachen.de/record/82797","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Aachen : Publikationsserver der RWTH Aachen University XIV, 200 S. : graph. Darst. (2012). = Aachen, Techn. Hochsch., Diss., 2012","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:publications.rwth-aachen.de:82797","is_oa":true,"landing_page_url":"https://publications.rwth-aachen.de/record/82797","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Aachen : Publikationsserver der RWTH Aachen University XIV, 200 S. : graph. Darst. (2012). = Aachen, Techn. Hochsch., Diss., 2012","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":142,"referenced_works":["https://openalex.org/W4983232","https://openalex.org/W15206906","https://openalex.org/W48073604","https://openalex.org/W48715203","https://openalex.org/W58736221","https://openalex.org/W78682067","https://openalex.org/W81942528","https://openalex.org/W95858325","https://openalex.org/W97390191","https://openalex.org/W105409620","https://openalex.org/W111190586","https://openalex.org/W130404319","https://openalex.org/W145304015","https://openalex.org/W158740256","https://openalex.org/W169098792","https://openalex.org/W176012066","https://openalex.org/W183418742","https://openalex.org/W193724012","https://openalex.org/W205680633","https://openalex.org/W224243095","https://openalex.org/W575651505","https://openalex.org/W1218394713","https://openalex.org/W1244411803","https://openalex.org/W1275153498","https://openalex.org/W1479728228","https://openalex.org/W1483599409","https://openalex.org/W1489183362","https://openalex.org/W1496815773","https://openalex.org/W1497596523","https://openalex.org/W1506378440","https://openalex.org/W1518744800","https://openalex.org/W1526328753","https://openalex.org/W1534557881","https://openalex.org/W1536217426","https://openalex.org/W1537435730","https://openalex.org/W1540325391","https://openalex.org/W1541434994","https://openalex.org/W1546528131","https://openalex.org/W1549008998","https://openalex.org/W1549449731","https://openalex.org/W1551338644","https://openalex.org/W1552562496","https://openalex.org/W1552797176","https://openalex.org/W1555519929","https://openalex.org/W1558832481","https://openalex.org/W1569731694","https://openalex.org/W1570783318","https://openalex.org/W1572729891","https://openalex.org/W1586173270","https://openalex.org/W1589982562","https://openalex.org/W1597144780","https://openalex.org/W1601833083","https://openalex.org/W1654133466","https://openalex.org/W1683212044","https://openalex.org/W1693457958","https://openalex.org/W1741528175","https://openalex.org/W1852523103","https://openalex.org/W1854255459","https://openalex.org/W1965552673","https://openalex.org/W1966552757","https://openalex.org/W1970430141","https://openalex.org/W1973391999","https://openalex.org/W1989783863","https://openalex.org/W1991972474","https://openalex.org/W1993512664","https://openalex.org/W1998575874","https://openalex.org/W2000108089","https://openalex.org/W2004226183","https://openalex.org/W2009810952","https://openalex.org/W2010155022","https://openalex.org/W2011992362","https://openalex.org/W2013766526","https://openalex.org/W2020149918","https://openalex.org/W2021693981","https://openalex.org/W2025270539","https://openalex.org/W2031253214","https://openalex.org/W2032206951","https://openalex.org/W2032728598","https://openalex.org/W2036368098","https://openalex.org/W2038809129","https://openalex.org/W2039160606","https://openalex.org/W2041994626","https://openalex.org/W2041998877","https://openalex.org/W2045474169","https://openalex.org/W2057361103","https://openalex.org/W2057503265","https://openalex.org/W2062285040","https://openalex.org/W2062897452","https://openalex.org/W2067483357","https://openalex.org/W2067887313","https://openalex.org/W2070368455","https://openalex.org/W2077500377","https://openalex.org/W2085317013","https://openalex.org/W2087144687","https://openalex.org/W2087573816","https://openalex.org/W2088979754","https://openalex.org/W2096149397","https://openalex.org/W2100973247","https://openalex.org/W2101757655","https://openalex.org/W2104384626","https://openalex.org/W2105486835","https://openalex.org/W2105505307","https://openalex.org/W2106172458","https://openalex.org/W2109100253","https://openalex.org/W2113547509","https://openalex.org/W2117832390","https://openalex.org/W2120848913","https://openalex.org/W2121375212","https://openalex.org/W2128888217","https://openalex.org/W2128924604","https://openalex.org/W2133560004","https://openalex.org/W2136584020","https://openalex.org/W2138162238","https://openalex.org/W2140209760","https://openalex.org/W2143556329","https://openalex.org/W2146819619","https://openalex.org/W2147520802","https://openalex.org/W2149420462","https://openalex.org/W2151965800","https://openalex.org/W2154114149","https://openalex.org/W2155581733","https://openalex.org/W2157342732","https://openalex.org/W2157688865","https://openalex.org/W2159080219","https://openalex.org/W2161931079","https://openalex.org/W2163230101","https://openalex.org/W2274179933","https://openalex.org/W2336123333","https://openalex.org/W2338756529","https://openalex.org/W2401156401","https://openalex.org/W2401714029","https://openalex.org/W2569226415","https://openalex.org/W2569901565","https://openalex.org/W2610670723","https://openalex.org/W2899987233","https://openalex.org/W2912970842","https://openalex.org/W2913204878","https://openalex.org/W2913261402","https://openalex.org/W2954333904","https://openalex.org/W3021539726","https://openalex.org/W3103056503","https://openalex.org/W3144889436"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655","https://openalex.org/W2359140296"],"abstract_inverted_index":{"The":[0],"problem":[1,42],"of":[2,30,61,72,84,97,106,109,116,171,178,195,224,269,354,413],"projection":[3,117,244,310,348],"has":[4,32],"been":[5,33],"identified":[6],"as":[7,168],"a":[8,28,107,169,220,230,319,383,393],"fundamental":[9],"reasoning":[10,49,111,147,273,283],"concern":[11],"in":[12,36,113,198,267,364],"dynamical":[13],"domains,":[14],"where":[15,128],"we":[16,101,191,227,242,290,302,336,367],"are":[17,303,334,361],"to":[18,132,175,229,247,264,279,305,318,325,340,382,399,404],"determine":[19,137],"whether":[20],"or":[21],"not":[22,136,157],"some":[23,37],"conditions":[24,307],"will":[25,262],"hold":[26],"after":[27],"sequence":[29],"actions":[31,52,173,326],"performed":[34],"starting":[35],"initial":[38,63,286,295,387],"state.":[39],"Solving":[40],"the":[41,45,54,58,62,77,82,88,95,98,103,114,129,133,141,193,199,207,248,270,285,294,316,322,338,365,372,379,386],"requires,":[43],"at":[44,124,162],"very":[46],"least,":[47],"effectively":[48],"about":[50,140,148,154,274,284,371,385,402],"how":[51,347],"transform":[53],"world,":[55],"and":[56,152,206,214,256,276,344],"inferring":[57],"logical":[59],"consequences":[60],"knowledge":[64,275,403],"base":[65],"(KB).":[66],"For":[67],"various":[68],"reasons,":[69],"tractability":[70],"one":[71],"them,":[73],"applications":[74],"often":[75],"make":[76],"closed-world":[78],"assumption,":[79],"thereby":[80],"limiting":[81],"scope":[83],"these":[85,356],"systems":[86],"for":[87,251],"real":[89],"world.":[90,142],"In":[91],"this":[92,188],"thesis,":[93],"using":[94],"language":[96],"situation":[99,249],"calculus,":[100],"investigate":[102,243],"computational":[104],"properties":[105],"number":[108],"unsolved":[110],"tasks":[112],"context":[115],"with":[118,165,187,392],"incomplete":[119,126,179,225],"information.":[120],"We":[121,159],"first":[122],"look":[123,161],"inherently":[125],"KBs,":[127,226],"information":[130],"provided":[131],"agent":[134],"may":[135,145,203],"every":[138],"fact":[139],"Projection,":[143],"then,":[144],"involve":[146],"what":[149,155,211],"is":[150,156,297,409],"believed":[151],"also,":[153],"believed.":[158],"then":[160,345,410],"physical":[163],"agents":[164,197,363],"unreliable":[166],"hardware,":[167],"result":[170,395],"which":[172,309,408],"lead":[174],"certain":[176],"kinds":[177],"knowledge.":[180],"Intuitively,":[181],"beliefs":[182,202,343],"should":[183,209],"be":[184,263,312,350,375],"(periodically)":[185],"synchronized":[186],"noise.":[189],"Finally,":[190,358],"consider":[192],"presence":[194],"other":[196],"environment,":[200],"whose":[201],"differ":[204],"arbitrarily,":[205],"formalism":[208],"incorporate":[210],"others":[212],"sense":[213],"learn":[215],"during":[216],"actions.":[217],"To":[218],"enable":[219],"precise":[221],"mathematical":[222],"treatment":[223],"appeal":[228],"seminal":[231],"proposal":[232],"by":[233,314,352,377],"Levesque,":[234],"called":[235],"only":[236,252],"knowing.":[237],"Building":[238],"on":[239],"existing":[240],"work,":[241],"wrt":[245],"extensions":[246],"calculus":[250],"knowing,":[253],"noisy":[254],"hardware":[255],"multiple":[257],"agents.":[258],"Our":[259],"central":[260],"contribution":[261],"show":[265,291,346,368],"that,":[266],"spite":[268],"additional":[271],"expressivity,":[272],"action":[277],"reduces":[278],"non-":[280],"epistemic":[281],"non-dynamic":[282],"KB.":[287,388],"More":[288],"precisely,":[289],"that":[292,327,369,396],"when":[293,332,359,414],"KB":[296,317],"an":[298],"arbitrary":[299],"first-order":[300,405],"theory,":[301],"able":[304],"identify":[306],"under":[308],"can":[311,349,374],"solved":[313],"progressing":[315],"sentence":[320],"reflecting":[321],"changes":[323],"due":[324],"have":[328],"already":[329],"occurred.":[330],"Moreover,":[331],"effectors":[333],"unreliable,":[335],"allow":[337],"system":[339],"maintain":[341],"probabilistic":[342],"addressed":[351],"means":[353],"updating":[355],"beliefs.":[357],"there":[360],"many":[362],"picture,":[366],"queries":[370,401],"future":[373],"resolved":[376],"regressing":[378],"query":[380],"backwards":[381],"formula":[384],"Only":[389],"knowing":[390],"comes":[391],"significant":[394],"allows":[397],"us":[398],"reduce":[400],"theorem-proving":[406],"tasks,":[407],"made":[411],"use":[412],"solving":[415],"projection.":[416]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}