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
## 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.