𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Theory of Model Dimensions applied to a computer solution of a syllogism

✍ Scribed by Ranulph Glanville; Peter Jackson


Publisher
Elsevier Science
Year
1983
Weight
627 KB
Volume
18
Category
Article
ISSN
0020-7373

No coin nor oath required. For personal study only.

✦ Synopsis


In this article we elaborate a working (computerized) implementation of a simplified version of the "Theory of Model Dimensions", which is exemplified in operation through a syllogism solution. The peculiarities of the program embodying this implementation are two: first it uses the very limited operations of the theory instead of conventional logic, or set theory: second, it produces an answer in passable English without having English, key words, etc. programmed in, but as a result only of the manipulations made according to the operations of theory on the initial input statements. Finally, an extension of the program, to solve the solutions of all of Carroll's syllogisms, is proposed, and a note is made concerning the generality of the program.


πŸ“œ SIMILAR VOLUMES


A solution to the equations of shell the
✍ J. L. Buchanan; R. P. Gilbert πŸ“‚ Article πŸ“… 1990 πŸ› John Wiley and Sons 🌐 English βš– 859 KB

## Abstract In this paper the Vekua‐Dikmen formulation of the equations of shell theory as a heirarchy are presented as a hypercomplex system. Using the function theory associated with this algebra the torsion problem is solved as an integral representation.