Universal Framework for Rules and Authorization

KROG holds itself out to be a universal framework for rules and authorization and describes itself, "KROG is a universal mathematical framework that brings clarity, transparency, and determinism to any rule-based system. Whether you're building AI authorization, smart contracts, business workflows, or governance protocols, KROG provides a rigorous foundation based on deontic modal logic." 

KROG is built on four pillars: Knowledge, Rights, Obligations, Governance.

The Seattle Method, also a framework, has this notion of a virtuous cycle. That virtuous cycle has four steps: Define, Create, Verify, Extract.


What seems to be going on is that KROG and the Seattle Method are looking at the same situation from different perspectives.  What KROG and the Seattle Method both seem to seek is that virtuous cycle; that feedback loop.  Both KROG and the Seattle Method agree that governance is key to achieving that virtuous cycle. Both KROG and the Seattle Method seem to be about minimizing epistemic risk.

Knowledge is what the participants or stakeholders within an area of knowledge agree to be true. There should be clarity as to this knowledge.  KROG states, "All rules, states, and relationships must be knowable and queryable by authorized participants. No hidden rules, no surprises. If it affects you, you can see it." Hard to disagree with that.

Rights is about permissions; what actions are permitted; clear boundaries that specify behavior. Agree with that; I call these "guardrails" or "bumpers".  Obligations your duties; what actions are required and relate to deadlines, compliance requirements, mandatory disclosures. Seems like both rights and obligations are specified using business rules.  And it seems to me that rights and obligations are all part of the knowledge.

Governance is how epistemic risk is managed. That is about participants (a.k.a. stakeholders) working together to create the feedback loop that results in the virtuous cycle.

The Seattle Method focuses on achieving all of the above for accounting, reporting, auditing, and analysis. KROG appears to be a meta-language that can work across different areas of knowledge which allows for cross domain reasoning. Further,  KROG provides first order logic, temporal logic, modal logic, and deontic logic. That is far beyond my personal imagination; currently the Seattle Method is focused on first order logic, basically DATALOG.  So basically, KROG is indicating that I can go even further in terms of processing capabilities. Excellent!

I don't know if KROG is a global open industry standard; seems not but I really do not know. KROG is obviously semantic oriented. KROG is obviously trying to empower artificial intelligence, both rules-based and probability-based.  Don't know anything about KROG's technical stack.

Additional Information:



 

Comments

Post a Comment

Popular posts from this blog

Professional Study Group for Digital Financial Reporting

Image
Digital financial reporting is a thing.  The IFRS Foundation explains digital financial reporting  in an article, Digital Financial Reporting - Facilitating digital comparability and analysis of financial reports . OFFICIAL VERSION : The IFRS Foundation publishes an XBRL taxonomy for IFRS for SMEs (2024).  You can find official information about that XBRL taxonomy here on this web page, IFRS for SMEs as Published by IFRS Foundation (2024) . (Also see this PDF, IFRS Taxonomy Illustrated .) Since that official XBRL taxonomy is effectively a "pick list" created from the perspective of standards setters (i.e. not very practical, easy to use, and intended for ease of use by reporting economic entities);  ENHANCED VERSION : I have created an enhanced version of that same XBRL taxonomy, see  IFRS for SMEs 2024) - ENHANCED (Work in Progress) . The enhancements make the IFRS for SMEs XBRL taxonomy more useful in many different ways.  The enhancements are driven...
Read more

Big Idea for 2025: Semantic Accounting and Audit Working Papers

Image
I began my career in accounting in 1982 as an auditor with Price Waterhouse when accounting and audit working papers and schedules were 100% paper.  But within three months, I was creating many of those same working papers and schedules first in VisiCalc and then Lotus 1-2-3.  I would create those schedules and working papers electronically, then print them out, and tape them into the bundle of paper that supported our audits. The Compaq luggable computer was invented and electronic spreadsheets where even more compelling. Today, accounting and audit working papers tend to be 100% electronic proxies for those paper documents created in Excel or some other electronic spreadsheet, Word or some other word processing document, PDF generated from some word processing document, and maybe HTML.  All of these are presentation oriented proxies for documents and none of them is truly understandable by a computer based process. The next step in the evolution of accounting and audi...
Read more

PLATINUM Business Use Cases, Test Cases, Conformance Suite

Image
A brick wall is made of exactly two things: bricks, mortar. But a brick wall created by a master craftsman, or mason, and a brick wall created by a “weekend warrior” with no knowledge of masonry will be very different. Master craftsmen are created and that process takes time and effort. This blog post is a first prototype that brings several things together into one useful resource for business professionals.  It pulls together the human readable information of the Showcase of Reports   and the machine readable information of the Conformance Suite of XBRL-based Financial Reports Prepared using the Seattle Method .  Then, I want to incorporate the information found in these PLATINUM XBRL-based Financial Report Examples . The three resources can be useful and used independently; but they are even more useful when used together.  Business professionals really could not care a less about the technical details of getting some result that they want.  But technical pro...
Read more