Algebraic Specification of Plausible Reasoning

An algebraic point of view on the description of abstract data types is applied to JSM reasoning: names of sorts and types of algebraic operations are presented together with equations that can determine their meaning. These equations form a convergent system of term rewriting. The Wolfram language is used for the equation definitions. The algebraic specification could be used both to create an ontology and to program an implementation of plausible reasoning.