{"id":"https://openalex.org/W2272363293","doi":null,"title":"A formal model for maintaining consistency of evolving bureaucratic policies: a logical and abductive approach","display_name":"A formal model for maintaining consistency of evolving bureaucratic policies: a logical and abductive approach","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W2272363293","mag":"2272363293"},"language":"en","primary_location":{"id":"mag:2272363293","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=169781","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5029892953","display_name":"KayLiang Ong","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kay Liang Ong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5029892953"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9404000043869019,"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.9404000043869019,"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/T10927","display_name":"Access Control and Trust","score":0.026399999856948853,"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"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.014399999752640724,"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/policy-coherence","display_name":"policy coherence","score":0.7239999771118164},{"id":"https://openalex.org/keywords/policy-evolution","display_name":"policy evolution","score":0.6269999742507935},{"id":"https://openalex.org/keywords/inconsistency-detection","display_name":"inconsistency detection","score":0.7490000128746033},{"id":"https://openalex.org/keywords/abductive-reasoning","display_name":"abductive reasoning","score":0.8090000152587891},{"id":"https://openalex.org/keywords/deontic-logic","display_name":"deontic logic","score":0.9269999861717224},{"id":"https://openalex.org/keywords/horn-clause-logic","display_name":"Horn clause logic","score":0.8500000238418579},{"id":"https://openalex.org/keywords/integrity-constraints","display_name":"integrity constraints","score":0.968999981880188},{"id":"https://openalex.org/keywords/policy-explanation","display_name":"policy explanation","score":0.4059999883174896},{"id":"https://openalex.org/keywords/proof-trees","display_name":"proof trees","score":0.46000000834465027},{"id":"https://openalex.org/keywords/scenario-based-simulation","display_name":"scenario simulation","score":0.6949999928474426},{"id":"https://openalex.org/keywords/library-lending-policies","display_name":"library borrowing policies","score":0.7620000243186951}],"concepts":[{"id":"https://openalex.org/C6377922","wikidata":"https://www.wikidata.org/wiki/Q302542","display_name":"Deontic logic","level":2,"score":0.7879796028137207},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7424638271331787},{"id":"https://openalex.org/C51575053","wikidata":"https://www.wikidata.org/wiki/Q72468","display_name":"Bureaucracy","level":3,"score":0.674846351146698},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6600964069366455},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6587901711463928},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6071003079414368},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.4208006262779236},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.4133346974849701},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4100503921508789},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28047776222229004},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.27912718057632446},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.21307110786437988},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14013195037841797},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.10817432403564453},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.10200875997543335},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2272363293","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=169781","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, justice, and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.47620001435279846}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W6198426","https://openalex.org/W24738145","https://openalex.org/W144096106","https://openalex.org/W163500809","https://openalex.org/W176609766","https://openalex.org/W190622319","https://openalex.org/W401088211","https://openalex.org/W1511711492","https://openalex.org/W1529922896","https://openalex.org/W1530765221","https://openalex.org/W1540300276","https://openalex.org/W1551066637","https://openalex.org/W1561930882","https://openalex.org/W1578088218","https://openalex.org/W1586338668","https://openalex.org/W1605195718","https://openalex.org/W1663018970","https://openalex.org/W1964789572","https://openalex.org/W1965526217","https://openalex.org/W1992134673","https://openalex.org/W1998477590","https://openalex.org/W2012170877","https://openalex.org/W2023578426","https://openalex.org/W2048600620","https://openalex.org/W2089817190","https://openalex.org/W2099805467","https://openalex.org/W2100738443","https://openalex.org/W2102702767","https://openalex.org/W2123586642","https://openalex.org/W2162621793","https://openalex.org/W2169723796","https://openalex.org/W2212036697","https://openalex.org/W2290455553","https://openalex.org/W2983995785"],"related_works":["https://openalex.org/W1958273492","https://openalex.org/W2126203330","https://openalex.org/W7014595272","https://openalex.org/W7033170096","https://openalex.org/W1550140442","https://openalex.org/W159592206","https://openalex.org/W2356518584","https://openalex.org/W6889447154","https://openalex.org/W1945171880","https://openalex.org/W1494995074"],"abstract_inverted_index":{"A":[0,133],"bureaucracy":[1],"can":[2,194,208,358],"be":[3,175,195,209,360],"viewed":[4],"as":[5,123,149],"a":[6,90,108,164,217,259,270,303,338],"set":[7,20,165],"of":[8,13,21,38,54,105,157,166,181,191,199,226,235,245,249,296,324,332,340],"policies":[9,22,106,121,125,130,148,159,193,236,264,343,357],"governing":[10],"the":[11,14,34,58,74,83,103,158,182,200,213,224,229,281,287,300,307,322,325,333,341,345],"actions":[12],"people":[15],"within":[16],"an":[17,188],"organization.":[18],"This":[19],"tends":[23],"to":[24,51,96,117,232,290,315,368,372],"grow":[25],"sticky":[26],"upward":[27],"and":[28,36,78,101,112,141,154,206,240,255,277,362],"more":[29,218],"complex":[30],"through":[31,294],"time":[32],"with":[33,286],"addition":[35],"deletion":[37],"policies.":[39,59,183,381],"Thus,":[40,184],"eventually,":[41],"many":[42],"unexpected":[43],"side":[44],"effects":[45],"introduced":[46],"by":[47],"these":[48,192,246,380],"updates":[49],"lead":[50],"different":[52],"forms":[53],"inconsistencies":[55,81,119,190,234,293,378],"(conflicts)":[56],"in":[57,107,120,177,237,328,344,376,379],"In":[60,349],"fact,":[61],"Meyer":[62],"(1985)":[63],"has":[64,353],"shown":[65],"that":[66,146,173,355,363],"such":[67,80],"phenomena":[68],"occurs":[69],"because":[70],"bureaucratic":[71,356],"systems":[72],"lack":[73],"mechanisms":[75,114],"for":[76,262,275,320],"detecting":[77,276],"removing":[79],"during":[82],"evolutionary":[84,179],"process.\r\nIn":[85],"this":[86,250,329,351],"study,":[87],"we":[88],"investigate":[89],"formal":[91,260],"approach":[92,326],"using":[93],"information":[94,370],"technology":[95,371],"assist":[97,373],"policy":[98,374],"makers":[99,375],"managing":[100],"controlling":[102],"evolution":[104],"bureaucracy.":[109],"Automated":[110],"detection":[111,230],"explanation":[113,207],"are":[115,126,131],"provided":[116,210],"eliminate":[118],"incrementally":[122],"new":[124],"added":[127],"or":[128],"old":[129],"removed.":[132],"logic":[134,140,143],"model":[135],"based":[136,162,211,222,336],"on":[137,163,212,223,337],"horn":[138],"clause":[139],"deontic":[142],"was":[144],"developed":[145],"represents":[147],"first":[150],"order":[151],"logical":[152,168,272],"predicates":[153],"rules.":[155],"Consistency":[156],"is":[160,187,203,265,284,310,313,335,365],"defined":[161],"meta-level":[167],"statements":[169],"call":[170],"integrity":[171,201],"constraints":[172,202],"must":[174],"satisfied":[176],"all":[178],"phrases":[180],"whenever":[185],"there":[186],"update,":[189],"detected":[196],"if":[197],"any":[198],"proven":[204],"false":[205],"proof":[214],"tree.":[215],"Moreover,":[216],"powerful":[219],"inference":[220,273,282],"mechanism":[221,274,283],"theory":[225],"abduction":[227],"extends":[228],"process":[231],"explore":[233],"future":[238,297],"scenarios":[239],"thus,":[241],"maintaining":[242],"potential":[243,292],"consistencies":[244],"policies.\r\nThe":[247],"outputs":[248],"study":[251,352],"have":[252],"both":[253],"theoretical":[254],"practical":[256,301],"contributions.":[257],"Theoretically,":[258],"framework":[261,268],"modeling":[263],"developed.":[266],"The":[267],"provides":[269],"sound":[271],"explaining":[278],"inconsistencies.":[279],"Furthermore,":[280],"extended":[285],"abductive":[288],"capabilities":[289],"detect":[291],"simulation":[295],"scenarios.":[298],"On":[299],"side,":[302],"prototype":[304],"system":[305,309],"called":[306],"ALP":[308],"implemented.":[311],"It":[312],"used":[314,327],"develop":[316],"two":[317],"sizable":[318],"applications":[319,334],"validating":[321],"feasibility":[323],"study.":[330],"One":[331],"subset":[339],"actual":[342],"library":[346],"lending":[347],"code.":[348],"short,":[350],"demonstrated":[354],"indeed":[359,366],"automated":[361],"it":[364],"feasible":[367],"provide":[369],"eliminating":[377]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-09-25T08:18:29.962427","created_date":"2016-06-24T00:00:00"}