Tag Archives: semantic web

Computing with chemlambda, the first year

Approximately a year ago I wrote the post A chemical concrete machine for lambda calculus. Quote:

How can this be done? Here is sketch, mind you that I propose things which I believe are possible from a chemical perspective, but I don’t have any chemistry knowledge.  If you do, and if you are interested to make a chemical concrete machine for graphic lambda calculus, then please contact me.

(1) What has been achieved in one year?    (2) What will happen next?

(1) More than 100 posts in the chorasimilarity open notebook  cover, with lots of details, everything which will be mentioned further.

I am most grateful for the collaboration with Louis Kauffman. This was a dream for me since I wrote Computing with space: a tangle formalism for chora and difference. Via the continuous enthusiastic social web connector Stephen P. King, we started to work together and we are now in position, after a year, to take a big leap. We wrote two articles GLC actors, artificial chemical connectomes, topological issues and knots , which is for the moment a not very well understood hidden treasure of a distributed computing model, and Chemlambda, universality and self-multiplication, which will be presented at ALIFE 14, concentrating on the self-multiplication phenomenon (see the last post of the thread of expository posts on this here). These works are embedded into hundreds of hours of discussions with many people. These discussions helped at least as motivations for well explaining things.

In parallel the chemlambda paper was published on figshare: Chemical concrete machine. Follwed by Zipper logic, another piece of the puzzle.

We had a NSF proposal which was centered around cybersecurity, perhaps too early in the stage of development of the project. However, the theoretical part of the project has been appreciated beyond my expectations, what is needed is the practical implementation.

 

(2) More and more I become convinced that the distributed, decentralized computing project based on chemlambda would be possible today, provided is done in the right place and frame. The most recent thoughts are about the use of the semantic web tools like RDF and N3logic for this (although I strongly believe in the no semantics slogan).

I shall write much more in a part II post, right now I have a very bad connection…

UPDATE: … so, imagine that chemlambda molecules are RDF datasets, accesible via the respective URI. If you want to run a computation then you need to impersonate the actors (because the initial actor diagram is already in the structure of the RDF dataset) and to specify a model of computation (i.e. to specify the reduction rules decorated with actors, along with the actors behaviours, all in N3).

Well designed computations could then have their URIs.

Then, imagine that you want to endow your computer with a microbiome OS, just follow the links.

Another, related direction of future research concerns the IoT, things and space ….

__________________________________________________________

Ancient CS: Arbor Porphyriana

I could not resist to the title, so I started to read Umberto Eco, Dall’albero al labirinto. Studi storici sul segno e l’interpretazione (Bompiani 2007). (The brute English translation of the title is “From the tree to the labyrinth. Historical Studies on  sign and  interpretation “.) Just opening the book, I learned about Arbor Porphyriana.

I shall cite from the very rough description given in the wiki page (before, let me laugh a bit by reading from the talk page of the mentioned wiki page: “This article has been rated as Low-importance on the project’s importance scale.” Ha-ha, an encyclopedia to state that arbor porphyriana is a low importance subject, that’s weird. Is like the egg stating that chickens are not important on it’s scale.)

The Porphyrian tree, Tree of Porphyry or Arbor Porphyriana is a classic classification of a “Scale of being”,[1] invented by one of the earliest Greek logicians Porphyry.[2] It is also known as scala praedicamentalis.

The Greek Neoplatonist Porphyry introduced the Porphyrian tree in his introduction to Aristotle‘s Categories. Porphyry presented the basis of Aristotle’s thought as a tree-like scheme of dichotomous divisions, which indicates that a species is defined by genus-differentia and that the process continues until the lowest species is reached.

This work was translated into Latin by Boethius and became the standard philosophical textbook in the Middle Ages.[3] Until the late 19th century, it was still being taught to students of logic.

So, that’s a huge subject. A short google search for “arbor porphyriana ontology semantic web” gives on the first place these very interesting slides by Harald Sack: “Semantic Web Technologies“.