The Prolog Theorem Prover “mflogic.exe”

03Jun07

–> http://multiforms.netfirms.com/multiforms_1.html#download
[...] A Prolog Theorem Prover simplifying Logic, by using Multiple Forms The strategy of this Prolog program (“mflogic.exe”, which you can download) is essentially the same as the strategy of a (human) theorem-prover, who knows the Axioms of Multiple Forms: As much as possible, all logic formulae are progressively reduced, by cancelling out [...]

Filed under: Multiple Form Logic   |  Leave a Comment

Entailments_Context.mov @ 00:03:30

03Jun07

Had a closer look at the video Entailments_Context.mov of Dr Paul Pangaro teaching Cybernetics and Pask’s Entailment Meshes at Stanford:

Coherence
Unit of memory

Filed under: Entailment Mesh   |  Leave a Comment

Pask’s Entailment Meshes

02Jun07

Going through omadeon’s LoF bookmarks on del.icio.us, I found Nick Green’s paper: (Green 2004 – Axioms from Interactions of Actors). It deals with Gordon Pask’s Interactions of Actors Theory and his earlier Conversation Theory.
The introduction of Nick’s paper talks about a special form as a computing element comparable to the “Pile object”:
The central object is [...]

Filed under: Entailment Mesh, LoF   |  Leave a Comment