Posts

Neuro-Symbolic Artificial Intelligence with Human Teaming

Image
Every type of artificial intelligence has a set of specific capabilities and a set of specific limitations. Neuro-symbolic artificial intelligence with human teaming takes the best capabilities of each type of machine and combines that with the best capabilities of humans. The strengths of each is used to  remedy the weaknesses of each and the sum of what results is better than any of the individual approaches used individually. The complete quadrant. The four agent workflow model.  A multi-agent workflow . Within teams, agents cooperate to improve the overall performance of the group. Teaming is the only way to safely deploy certain systems in complex, high-stakes, high-risk environments where there is low or even zero tolerance for error. And this includes human intelligence, human agents, as part of the team.  Human intelligence is an integrated component, not just a passive user.  Besides, human intelligence and machine intelligence are different.  My worki...

NFT

Image
NFTs ( non-fungible tokens ) are all the rage these days; but understanding exactly what an NFT is can be challenging.  This article, 7 Things You Should Know about NFTs , is a good place to start learning about NFTs. Understanding NFTs is easier when you understand the characteristics of an NFT.  The following are the characteristics of an NFT: Non-interoperable : NFTs are unique and unlike fungible tokens which are all the same basically and any one is just as good as any other; NFTs are not interchangeable. Indivisible : NFTs cannot be divided into smaller denominations.  Indestructible : NFTs are stored on the blockchain and can never be destroyed.  Verifiable : Because NFTs exist on a blockchain they can be traced back to the original creator . This video, Could Enjin SUPERCHARGE Gaming NFTs?! (at minute 6:50) points out three aspects of determining value of an asset:  Rarity : How scarce is it? Provenance : Where did it come from? Quality/Utility : How go...

Ledger

Image
A "list" and a "ledger" are not the same thing. A ledger is a formal computational substrate. A list is a collection of items. A ledger stores state. A list is inert. A ledger is dynamic: every ledger entry changes the state of the system. A list is descriptive. A ledger is computational. A ledger is essentially a model of financial reality, not just a record of items contained in a list. A list is just an ordered collection of items but there is no description of the relationship between the items in the list. A ledger is a governed, rule‑bound, balanced record of financial events with the relationship between the financial events explained/described. A list has no semantics, no structure, and no logic. A ledger has semantics, structure, and logic baked in. A ledger is a sequenced append-only committed formal record.  A ledger is more than a database you query for current state.  A ledger is an  immutable record of what changed, when it changed, and under what auth...

Mereology

Image
Mereology is the science of parts and wholes: what they are, how they relate, and how complex things are built from simpler ones.  Mereology is the theory of parthood relations: of the relations of part to whole and the relations of part to part within a whole. A Taxonomy of Whole-Part Relations  points out that part-whole relations can be broken out into six different groups: component-integral object : for example (pedal – bike) the pedal is an integral part of the bicycle member-collection : for example (ship – fleet) each ship is a member of the fleet portion-mass : for example (slice – pie) a slice is a portion of a pie stuff-object : for example (steel – car) steel is the stuff from which the car is made feature-activity : for example (paying – shopping) paying is a feature or component of shopping place-area : for example (Everglades – Florida) the Everglades is a place within Florida The following graphic shows the different possible who...

Theory of the Financial Reporting Framework

Image
This article describes the Theory of the Financial Reporting Framework .  A general purpose financial statement is a formal semantic structure .  That formal semantic structure of such a general purpose financial statement is described by the accounting equation and double entry bookkeeping model and a reporting framework.  It is that double entry bookkeeping model which differentiates "bookkeeping" from  general "recordkeeping" .  This is part of the essence of accounting . To the untrained eye, it might not look like it; but a financial reporting framework fundamentally prescribes where information from a set of business events must be reported within a financial statement. The Theory of Accounting and Control ,  Resources, Events, Agents (REA) , and ISO/IEC Accounting and Economic Ontology  each point this out. A general purpose financial statement provides quantitative financial information and nonfinancial information, aggregations and disaggreg...

Metatheory

Image
A hypothesis is a testable explanation or guess about why something happens; a prediction. A hypothesis helps to think about and test an idea.   A theory is a well supported explanation of why something happens.  A theory is used to explain an idea or ideas.  A law describes (makes a statement about) a universal principle or phenomenon that consistently specifies what must happen under specific conditions and is based on empirical evidence from observations.  Laws describe what happens.  Another term for law is principle. And so, it seems that a hypothesis is a preliminary testable idea or notion , a theory is a t ested explanation of an idea or notion , and a law is a descriptive regularity of the nature of an idea or notion .  A metatheory is a higher‑order framework that defines the foundational principles, assumptions, and evaluation criteria for constructing and comparing theories. If a theory is a blueprint, a metatheory is the building code that...

My Garden

Image
In January 1999, I met with the partner in charge of the CPA firm I worked for; Knight, Vale & Greggory (KVG) which is now part of RSM ; and told him how well my meeting with the AICPA related to what became XBRL  went.  KVG which was a smaller regional CPA firm basically donated my time to create a working proof of concept of an XML-based digital financial report.  In that meeting the partner in charge told me that KVG obviously could not continue underwriting the cost of this endeavor to manifest digital financial reporting.  I told him that I completely understood but I was going to continue to pursue this; and I resigned from KVG to create " my garden ". In his article, What The Garden Is For , Matt Wood (ex-PWC now at AWS) provides an analogy between a system and a garden.  Here is my garden: Digital Information Organism Reference Reporting Frameworks Conformance Suite Example Financial Statement Holon Introducing the Global Open Industry Standard Digit...