XBRL-based Financial Reporting

We’re developing Pacioli, a Logic Toolkit for XBRL-Based Digital Financial Reporting. It is a new software infrastructure for AI based report checking, based on a robust logic programming engine, providing:

• Loading of reports and their Discoverable Taxonomy Sets into Prolog-based compact logical representations
• Formula processor, with auditing and explanation capabilities
• Combination of a report with local user alterations of its formulas and facts
• SBRM predicates
• Overall “rules as code” approach, for easier evolution and maintenance

You can try the current version on existing (web published) XBRL reports:

• Interactive notebooks in our demo server, including taxonomy viewers, report alterations editor, and further technical information.

A core subset of XBRL and extensions is supported at this time, the sufficient to handle the PROOF report example and most public filings. Subsequent development will include:

• Add more model patterns e.g. for SBRM
• Definition of higher level rules for report checking, in PROLOG and Logical English
• Enhanced explanations/auditing
• Integration into specific user applications
• Reporting quality control

For more information please see the referred notebook or contact licensing@logicalcontracts.com