Page cover image

Pacioli AI Logic and Rules Engine

Pacioli: An AI logic and reasoning engine for financial and operational state external validation.

Pacioli AI Infrastructure

Pacioli is the heart of the Auditchain Protocol infrastructure for artificial intelligence (AI) based financial and operational state external validation and information extraction. Pacioli is built with SWI PROLOG, a proven standard and robust logic programming engine.

Pacioli is a declarative artificial intelligence-based logic and reasoning engine that reads, understands, and detects inconsistencies in machine-readable financial statements prepared in accordance with International Financial Reporting Standards, United States Generally Accepted Accounting Principles, and other standardized financial reporting schemes. Pacioli is purpose built and understands global standard XBRL-based reporting scheme taxonomies, digital financial report models and financial reports. Both API and GUI interfaces are available for Pacioli. A demo is available as an XBRL-based financial report verification toolkit, see Pacioli Power User Tool

Real World Use Case

Pacioli is the network client software application on the Auditchain Protocol that understands the logic of financial reporting and the meaning conveyed by such financial reports that are represented using the XBRL global standard technical syntax. Pacioli provides proof that XBRL-based financial reports are complete, consistent, and precise.

Pacioli also detects internal control compliance. Internal controls are critical to a well functioning operating entity. Cryptographic reinforcements are read by Pacioli to determine if they have been tampered with or circumvented.

This demo page is an output of a batch analysis of each of the S & P 100 annual reports filed with the Securities and Exchange Commission for all of the 100 reporting entities that comprise of the S & P 100.

State Condition

Compliance with each internal and disclosure control is color coded for easy identification and remediation.

Pacioli AI Agent - Web3 Enabled

Pacioli can be deployed to perform tasks that are consistent with CEAOB guidance for auditors in the European Union and as a Web3 tool to validate the articulation of the financial state of an operating entity or financial intermediary in machine-readable form, based on their financial reporting style within a financial reporting scheme.

The Pacioli Agent is a node.js application integrated with the Pacioli logic engine. Running a Pacioli Node on the Auditchain Protocol requires the Pacioli Agent which is included in a Docker image. The Pacioli Agent uses an algorithm designed to detect financial state validation requests from users on the Auditchain Protocol. Upon detection, the Pacioli Agent initiates a race to compete to fulfill validation service requests on the Auditchain Protocol.

The Pacioli Agent also governs how consensus is reached by Pacioli node operators on the validation of financial state on the Auditchain Protocol. The Pacioli Agent also allocates the rewards to the winning validator and to Pacioli Nodes that reach consensus on compliance with internal controls and disclosure controls across standardized rules.

Logic Based

Pacioli uses machine-readable controls and deductive reasoning to determine if internal controls are in compliance and if an XBRL-based financial report is a properly functioning logical system. The following is a brief overview of the logic currently understood by the Pacioli software application which gives you an idea of the current capabilities of Pacioli:

  • XBRL Syntax: First you have to be sure that the technical format used to deliver the meaning conveyed follows the prescribed technical specification, in our case the XBRL technical syntax.

  • Report Model Structure: The report model created by the accountants representing a financial report needs to follow a prescribed logical structure for such report models. XBRL does not specify these rules. But good practices and logic does specify what is and is not permitted and Pacioli enforces these good practices.

  • Report Mathematics: Financial reports need to foot and cross cast; and ‘tick and tie’ mathematically. Pacioli performs this part of XBRL technical syntax verification.

  • Relations between financial report line items: Reported financial line items need to have the proper relations with other financial report line items within the report. Sometimes referred to as “wider-narrower” relations or “general-special” relations, Pacioli performs this function.

  • Fundamental Accounting Concepts Continuity Cross Checks: Pacioli reveals contradictions and inconsistencies between reported financial line items in a financial report. Pacioli helps you make sure you don’t inadvertently miss these accounting details.

  • Disclosure Mechanics: Each disclosure provided within a financial report requires a pattern and number of required disclosures. Pacioli performs the function of validating the disclosure mechanics of a financial report.

  • Reporting Checklist: Pacioli validates a reporting checklist to verify that reports are compliant and complete. Sometimes these reporting checklists can be very extensive. While Pacioli does not automate the reporting checklist completely, it does provide a significant level of automation in this regard.

  • Internal Controls: Pacioli detects compliance with implemented internal controls as well as internal control over financial reporting in order to detect and preserve the integrity of financial state.

The Auditchain Protocol and "Pacioli Agent" is a decentralized application and provides the Pacioli Node Infrastructure for Pacioli Node Operators. Pacioli leverages the open source Arelle XBRL processor and validation is provided for the base specification of XBRL 2.1, Dimensions, Inline XBRL, Generic Linkbases, Unit Types Registry, U.S. SEC Edgar Filer Manual, IFRS Global Filing Manual and HMRC, CIPC and ESMA Filing Checks.

Backwards Compatible

The Auditchain Protocol is also used for private companies and issuers of digital assets. Pacioli financial report validation is backwards compatible. This means that once implemented, users are one click away from filing with regulators in any jurisdiction that mandates XBRL based financial reporting.

Pacioli Toolkit

Last updated