{"id":"https://openalex.org/W3037378061","doi":"https://doi.org/10.24963/kr.2020/24","title":"Revision by Conditionals: From Hook to Arrow","display_name":"Revision by Conditionals: From Hook to Arrow","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3037378061","doi":"https://doi.org/10.24963/kr.2020/24","mag":"3037378061"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2020/24","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/24","pdf_url":"https://proceedings.kr.org/2020/24/kr2020-0024-chandler-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2020/24/kr2020-0024-chandler-et-al.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066130935","display_name":"Jake Chandler","orcid":"https://orcid.org/0000-0003-1580-2228"},"institutions":[{"id":"https://openalex.org/I196829312","display_name":"La Trobe University","ror":"https://ror.org/01rxfrp27","country_code":"AU","type":"education","lineage":["https://openalex.org/I196829312"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Jake Chandler","raw_affiliation_strings":["La Trobe University",", La Trobe University"],"affiliations":[{"raw_affiliation_string":"La Trobe University","institution_ids":["https://openalex.org/I196829312"]},{"raw_affiliation_string":", La Trobe University","institution_ids":["https://openalex.org/I196829312"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063501905","display_name":"Richard Booth","orcid":"https://orcid.org/0000-0002-6647-6381"},"institutions":[{"id":"https://openalex.org/I79510175","display_name":"Cardiff University","ror":"https://ror.org/03kk7td41","country_code":"GB","type":"education","lineage":["https://openalex.org/I79510175"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Richard Booth","raw_affiliation_strings":["Cardiff University","*Cardiff University"],"affiliations":[{"raw_affiliation_string":"Cardiff University","institution_ids":["https://openalex.org/I79510175"]},{"raw_affiliation_string":"*Cardiff University","institution_ids":["https://openalex.org/I79510175"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5066130935"],"corresponding_institution_ids":["https://openalex.org/I196829312"],"apc_list":null,"apc_paid":null,"fwci":0.14685955,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53101776,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"233","last_page":"242"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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.9994999766349792,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9961000084877014,"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/T10028","display_name":"Topic Modeling","score":0.9882000088691711,"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/arrow","display_name":"Arrow","score":0.6974992752075195},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.691419243812561},{"id":"https://openalex.org/keywords/iterated-function","display_name":"Iterated function","score":0.6671525239944458},{"id":"https://openalex.org/keywords/hook","display_name":"Hook","score":0.6426223516464233},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.6072360873222351},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5478978157043457},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.5356622934341431},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4861742854118347},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3861251175403595},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3714529871940613},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2669559419155121},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.19107651710510254},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.09521311521530151},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06923961639404297}],"concepts":[{"id":"https://openalex.org/C2780339515","wikidata":"https://www.wikidata.org/wiki/Q3074698","display_name":"Arrow","level":2,"score":0.6974992752075195},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.691419243812561},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.6671525239944458},{"id":"https://openalex.org/C2777586403","wikidata":"https://www.wikidata.org/wiki/Q4243098","display_name":"Hook","level":2,"score":0.6426223516464233},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.6072360873222351},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5478978157043457},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.5356622934341431},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4861742854118347},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3861251175403595},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3714529871940613},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2669559419155121},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.19107651710510254},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.09521311521530151},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06923961639404297},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.24963/kr.2020/24","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/24","pdf_url":"https://proceedings.kr.org/2020/24/kr2020-0024-chandler-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},{"id":"pmh:oai:https://orca.cardiff.ac.uk:132903","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401195","display_name":"ORCA Online Research @Cardiff (Cardiff University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79510175","host_organization_name":"Cardiff University","host_organization_lineage":["https://openalex.org/I79510175"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:arXiv.org:2006.15811","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2006.15811","pdf_url":"https://arxiv.org/pdf/2006.15811","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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"},{"id":"mag:3037378061","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2006.15811v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2006.15811","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2006.15811","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.24963/kr.2020/24","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/24","pdf_url":"https://proceedings.kr.org/2020/24/kr2020-0024-chandler-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5699999928474426,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3037378061.pdf","grobid_xml":"https://content.openalex.org/works/W3037378061.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W8650970","https://openalex.org/W71714718","https://openalex.org/W89775008","https://openalex.org/W1542254017","https://openalex.org/W1878060157","https://openalex.org/W2002762659","https://openalex.org/W2003192160","https://openalex.org/W2004393085","https://openalex.org/W2007457223","https://openalex.org/W2021675560","https://openalex.org/W2049486611","https://openalex.org/W2060708063","https://openalex.org/W2073782732","https://openalex.org/W2077651660","https://openalex.org/W2095984361","https://openalex.org/W2117074289","https://openalex.org/W2133128885","https://openalex.org/W2149420462","https://openalex.org/W2318031348","https://openalex.org/W2473363636","https://openalex.org/W2883116389","https://openalex.org/W2920186917","https://openalex.org/W2952112751","https://openalex.org/W2954503825","https://openalex.org/W2973442115","https://openalex.org/W2982548064","https://openalex.org/W3027504319","https://openalex.org/W3101419665","https://openalex.org/W6600349719","https://openalex.org/W6602915406","https://openalex.org/W6631409921","https://openalex.org/W6651046210","https://openalex.org/W6651166695","https://openalex.org/W6651618780","https://openalex.org/W6674457980","https://openalex.org/W6677591975","https://openalex.org/W6679531892","https://openalex.org/W6720681257","https://openalex.org/W6760089140","https://openalex.org/W6778015548","https://openalex.org/W6785479648","https://openalex.org/W7048577349"],"related_works":["https://openalex.org/W3081104433","https://openalex.org/W128812405","https://openalex.org/W2461040877","https://openalex.org/W2124410197","https://openalex.org/W2951598866","https://openalex.org/W2361203061","https://openalex.org/W2952885104","https://openalex.org/W2062015890","https://openalex.org/W1498179015","https://openalex.org/W1965144202","https://openalex.org/W2890178860","https://openalex.org/W2120692608","https://openalex.org/W2128864495","https://openalex.org/W197125981","https://openalex.org/W1600613180","https://openalex.org/W25491312","https://openalex.org/W2156474728","https://openalex.org/W2101648797","https://openalex.org/W1565500697","https://openalex.org/W2973442115"],"abstract_inverted_index":{"The":[0,105],"belief":[1,98],"revision":[2,99,119,132],"literature":[3],"has":[4],"largely":[5],"focussed":[6],"on":[7],"the":[8,17,77,82,84,102,114],"issue":[9],"of":[10,19,23,40,46,66,80,107,116,129,146,151],"how":[11,81],"to":[12,28,36,53,62,101,142],"revise":[13],"one\u2019s":[14],"beliefs":[15],"in":[16,55],"light":[18],"information":[20,42],"regarding":[21,43],"matters":[22],"fact.":[24],"Here":[25],"we":[26],"turn":[27],"an":[29],"important":[30],"but":[31],"comparatively":[32],"neglected":[33],"issue:":[34],"How":[35],"model":[37],"agents":[38],"capable":[39],"acquiring":[41],"which":[44],"rules":[45],"inference":[47],"(\u2018Ramsey":[48],"Test":[49,123],"conditionals\u2019)":[50],"they":[51],"ought":[52],"use":[54],"reasoning":[56],"about":[57],"these":[58],"facts.":[59],"Our":[60],"approach":[61,109],"this":[63],"second":[64],"question":[65],"so-called":[67],"\u2018conditional":[68],"revision\u2019":[69],"is":[70,110,140],"distinctive":[71],"insofar":[72],"as":[73],"it":[74],"abstracts":[75],"from":[76],"controversial":[78],"details":[79],"address":[83],"\ufb01rst.":[85],"We":[86],"introduce":[87],"a":[88,117,121,130,144],"\u2018plug":[89],"and":[90],"play\u2019":[91],"method":[92],"for":[93],"uniquely":[94],"extending":[95],"any":[96],"iterated":[97],"operator":[100],"conditional":[103,118,124,137],"case.":[104],"\ufb02exibility":[106],"our":[108],"achieved":[111],"by":[112,120,127,133],"having":[113],"result":[115],"Ramsey":[122],"(\u2018arrow\u2019)":[125],"determined":[126],"that":[128,149],"plain":[131],"its":[134],"corresponding":[135],"material":[136],"(\u2018hook\u2019).":[138],"It":[139],"shown":[141],"satisfy":[143],"number":[145],"new":[147],"constraints":[148],"are":[150],"independent":[152],"interest.":[153]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2025-10-10T00:00:00"}