[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-85704-en":3,"doc-seo-85704-105":29,"detail-sidebar-cat-0-en-105":91},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":20,"is_downloadable":20,"audit_status":20,"page_count":21,"language":22,"language_code":23,"site_id":24,"html_lang":23,"table_of_contents":25,"faqs":26,"seo_title":13,"seo_description":14,"update_tm":27,"read_time":28},85704,137441390410,"Hazel","https://ap-avatar.wpscdn.com/avatar/2000252f4ab5702993?_k=1776741390130283984",8,"Research & Report","Verification of Adaptive Agentic Controllers through Finite Rule Revision","Industrial agentic AI systems increasingly face a capability-to-deployment verification gap, especially when adaptive agents generate plausible outputs that remain hard to verify under non-determinism, confidentiality constraints, limited context, and weak observability. This paper proposes a bounded verification protocol for adaptive agentic controllers represented as finite symbolic rules with explicit diagnostic predicates, explanation logs, and held-out re-evaluation. It maps diagnostic failures to finite rule-level edits and tests repaired controllers on held-out simulation seeds or cloned initial states, enabling local repair or rejection without unrestricted human-in-the-loop.","arXiv :2607 .09770v 1 [ cs .AI ] 7 Jul 2026  \nVerification of Adaptive Agentic Controllers through Finite Rule  \nRevision  \nRoberto Garrone  \nOpen University of Cyprus  \n[roberto. garrone@st. ouc. ac. cy](roberto. garrone@st. ouc. ac. cy)  \nAbstract  \nIndustrial agentic AI systems increasingly exhibit a gap between prototype capability and production deployment. In particular, adaptive agents may generate plausible outputs while remaining difficult to verify under non-determinism, confidentiality constraints, limited context, and weak observability. This paper formulates a bounded verification protocol for adaptive agentic controllers represented by finite symbolic rules, explicit diagnostic predicates, explanation logs, and held-out re-evaluation. The central research question is: when an adaptive agentic controller is represented through finite rules, explicit diagnostic predicates, explanation logs, and held-out re-evaluation, which classes of controller failure can be detected, locally repaired, or rejected without relying on unrestricted human-in-the-loop judgment? The proposed framework treats the controller as a finite revisable object. Diagnostic failures are mapped to predefined rule-level edits, including rule addition, rule deletion, and priority revision. Repaired controllers are then evaluated on held-out simulation seeds or cloned initial states. Experiments in a stylized financially constrained inventory-control benchmark show three outcomes: resource-induced failures that remain non-repairable by one rule edit, partial repairs that are rejected because they violate thresholds or guardrails, and a local one-step repair of an order-volatility failure induced by removing a smoothing rule. The contribution is methodological and provides a simulation-compatible procedure for testing whether specific controller-level failures can be made observable, explainable, locally revisable, and empirically re-tested under controlled conditions.  \nKeywords: agentic AI; adaptive controller; verification; agent-based simulation; symbolic controller; finite rules; contestability; explanation logs; held-out evaluation; machine coaching.  \n1 Introduction  \nAgentic AI systems are increasingly used to execute multi-step tasks, coordinate tool use, retrieve contextual information, and adapt their actions to changing operational conditions. These capabilities make them relevant for enterprise automation, decision support, and workflow coordination. However, the transition from prototype demonstrations to production deployment remains limited by a verification problem. Recent empirical evidence on industrial agentic AI adoption identifies a capability-deployment verification gap: organizations may demonstrate higher-level agentic capabilities experimentally while being unable to integrate them into production workflows because adequate output-verification mechanisms are absent [6] .  \nIn enterprise settings, a common architectural response is to prevent the agent from becoming the system of record. The agent may interpret tasks, retrieve approved context, select allowed tools, and recommend actions, but execution should remain mediated by governed APIs, workflow engines, RPA layers, enterprise systems, and approval gates. This design principle is necessary because it separates reasoning and coordination from authoritative execution. It isnot sufficient, however, because it does not by itself verify the behavior of the agentic controller.  \nEven when execution is routed through governed systems, the controller may still select inappropriate actions, overreact to noisy signals, fail to respect diagnostic constraints, or produce decisions that cannot be explained and re-tested.  \nDeployment verification gap. In this paper, the deployment verification gap denotes the following technical condition. Let A be an adaptive agentic controller that produces actions at from observed states st under stochastic or context-dependent conditions. A proto","cbCaiumJngNuUBIq","https://ap.wps.com/l/cbCaiumJngNuUBIq","pdf",338355,1,28,"English","en",105,"# Introduction\n## Deployment verification gap\n## Controller-level verification scope","[{\"question\":\"What problem does the paper address in industrial agentic AI deployment?\",\"answer\":\"It addresses the capability-to-deployment verification gap, where prototype traces exist but the mapping from controller logic to admissible behavior cannot be inspected, bounded, revised, or re-tested against declared properties.\"},{\"question\":\"How are adaptive agentic controllers represented for verification in this work?\",\"answer\":\"They are modeled as finite revisable objects using finite symbolic rules, explicit diagnostic predicates, explanation logs, and held-out re-evaluation.\"},{\"question\":\"What kinds of controller failures can the framework detect, repair, or reject?\",\"answer\":\"Diagnostic failures are mapped to predefined rule-level edits such as rule addition, rule deletion, and priority revision; repaired controllers are then evaluated on held-out simulation seeds or cloned initial states to determine whether they are accepted or rejected.\"}]",1784205703,71,{"code":4,"msg":30,"data":31},"ok",{"site_id":24,"language":23,"slug":32,"title":13,"keywords":33,"description":14,"schema_data":34,"social_meta":86,"head_meta":88,"extra_data":90,"updated_unix":27},"verification-of-adaptive-agentic-controllers-through-finite-rule-revision","",{"@graph":35,"@context":85},[36,53,68],{"@type":37,"itemListElement":38},"BreadcrumbList",[39,43,47,50],{"item":40,"name":41,"@type":42,"position":20},"https://docshare.wps.com","Home","ListItem",{"item":44,"name":45,"@type":42,"position":46},"https://docshare.wps.com/document/","Document",2,{"item":48,"name":12,"@type":42,"position":49},"https://docshare.wps.com/document/research-report/",3,{"item":51,"name":13,"@type":42,"position":52},"https://docshare.wps.com/document/verification-of-adaptive-agentic-controllers-through-finite-rule-revision/85704/",4,{"url":51,"name":13,"@type":54,"author":55,"headline":13,"publisher":57,"fileFormat":60,"inLanguage":23,"description":14,"dateModified":61,"datePublished":62,"encodingFormat":60,"isAccessibleForFree":63,"interactionStatistic":64},"DigitalDocument",{"name":9,"@type":56},"Person",{"url":40,"name":58,"@type":59},"DocShare","Organization","application/pdf","2026-07-17","2026-07-16",true,{"@type":65,"interactionType":66,"userInteractionCount":20},"InteractionCounter",{"@type":67},"ViewAction",{"@type":69,"mainEntity":70},"FAQPage",[71,77,81],{"name":72,"@type":73,"acceptedAnswer":74},"What problem does the paper address in industrial agentic AI deployment?","Question",{"text":75,"@type":76},"It addresses the capability-to-deployment verification gap, where prototype traces exist but the mapping from controller logic to admissible behavior cannot be inspected, bounded, revised, or re-tested against declared properties.","Answer",{"name":78,"@type":73,"acceptedAnswer":79},"How are adaptive agentic controllers represented for verification in this work?",{"text":80,"@type":76},"They are modeled as finite revisable objects using finite symbolic rules, explicit diagnostic predicates, explanation logs, and held-out re-evaluation.",{"name":82,"@type":73,"acceptedAnswer":83},"What kinds of controller failures can the framework detect, repair, or reject?",{"text":84,"@type":76},"Diagnostic failures are mapped to predefined rule-level edits such as rule addition, rule deletion, and priority revision; repaired controllers are then evaluated on held-out simulation seeds or cloned initial states to determine whether they are accepted or rejected.","https://schema.org",{"og:url":51,"og:type":87,"og:title":13,"og:site_name":58,"og:description":14},"article",{"robots":89,"canonical":51},"index,follow",{"doc_id":7,"site_id":24},{"code":4,"msg":5,"data":92},[93,97,101,105,110,115,120,123,128,131,135],{"id":20,"doc_module":4,"doc_module_name":45,"category_name":94,"show_sort_weight":95,"slug":96},"Story & Novel",90,"story-novel",{"id":46,"doc_module":4,"doc_module_name":45,"category_name":98,"show_sort_weight":99,"slug":100},"Literature",80,"literature",{"id":52,"doc_module":4,"doc_module_name":45,"category_name":102,"show_sort_weight":103,"slug":104},"Exam",70,"exam",{"id":106,"doc_module":4,"doc_module_name":45,"category_name":107,"show_sort_weight":108,"slug":109},5,"Comic",60,"comic",{"id":111,"doc_module":4,"doc_module_name":45,"category_name":112,"show_sort_weight":113,"slug":114},6,"Technology",50,"technology",{"id":116,"doc_module":4,"doc_module_name":45,"category_name":117,"show_sort_weight":118,"slug":119},7,"Healthcare",40,"healthcare",{"id":11,"doc_module":4,"doc_module_name":45,"category_name":12,"show_sort_weight":121,"slug":122},30,"research-report",{"id":124,"doc_module":4,"doc_module_name":45,"category_name":125,"show_sort_weight":126,"slug":127},9,"Religion & Spirituality",20,"religion-spirituality",{"id":126,"doc_module":4,"doc_module_name":45,"category_name":129,"show_sort_weight":126,"slug":130},"World Cup","world-cup",{"id":132,"doc_module":4,"doc_module_name":45,"category_name":133,"show_sort_weight":132,"slug":134},10,"Lifestyle","lifestyle",{"id":136,"doc_module":4,"doc_module_name":45,"category_name":137,"show_sort_weight":106,"slug":138},19,"General","general"]