Sunday, September 23, 2012

Morphogrammatics and Computational Reflection

Applying insights from the retro-grade recursivity concept of morphogrammatics to questions of reflectionality and interactionality of programming

"Reflection may one day be as common as recursion" - Brian Smith, Reflection and semantics in Lisp

http://nl.ijs.si/~damjan/cr.html

FULL TEXT
http://memristors.memristics.com/MorphoReflection/Morphogrammatics%20of%20Reflection.html
http://memristors.memristics.com/MorphoReflection/Morphogrammatics%20of%20Reflection.pdf

Abstract
Turning back from the studies of morphogrammatics to some open questions of reflectional programming, the recountered problematics might be put into a different light and new methods of handling formal aspects of reflection and reflectionality shall be introduced. Albeit the use of light-metaphors, morphogrammatic reflection is not sketched along the paradigm of optical metaphors.

Morphograms are presenting neither propositions nor perceptions able for mirroring (representation). 


Exercises in defining morphogrammatic retro-grade recursion and reflection schemata are continued from the paper “Sketches to Morphogrammatic Programming”.
As for previous papers, this is work in progress and not a chapter of a text-book.

Standards of Reflectional Programming

Marginality of general concepts and devices

It isn’t in any sense new, and there is no need to be new, but it might be expanded to even an inflationary use, that terms like reflection, reflexivity, recursion, re-entry, self-referentiality, Self, and Identity are labels in nearly all contemporary fields of writing in science, culture, ideology, art, comedy and everywhere else.

This sign of reflexivity is not necessarily connected with a flexible awareness of others. Might they be other productions in the field of the Self-business or happening in disjunct codes, media, habits, cultures and languages.



It is therefore very astounding to read a bulk of papers and books in Anglo-British language about and of the mentioned topics, sujets, challenges, debates without finding any reflection on the fact that the whole debate is encapsulated in a specific and local idiom.

I’m not speaking about African dialects or Siberian historic languages, not even about well known European languages like Eastern European languages, no I speak about the languages of the Post War Europe. 


To read a couple of books about Self, reflexivity, recursion and reflection without encountering a single German or French citation is disturbing if not catastrophic. I’m not speaking about the 3 mentioned thinker, French or German, for whom there are some rudimentary translations available at Amazon. 



Such ignorance at a time of maximal accessibility is paramount. And its aftermath catastrophic, when our Chinese friends who studied at such great institutions like Oxbridge or Goldsmiths are overrunning us with our local theories, now transformed into global truth. This movement is further advanced than we like to accept if we get forced to learn from Singapore what Jacques Derrida really has written to us. And then there are immediately our PC maniacs in duty.



But there is no Anglo-British academic text about reflexivity which would take the courage to reflect its own marginal insularity. Hence, the concepts and strategies of system and environment, presupposed for reflection, reflexion and reflexivity, are not applied to the conditions of production of those eminent pretentious textual elaborations. Such texts are not reflecting their inter-textuality.



A possible language barrier is no excuse at all for the inflexibility of reflection; it is a conscious strategy. And this becomes even more crucial if we forget the whole language debate and its different cultures by reflecting on different ways of writing.
Texts about the mentioned topics of flexible reflexivity are written in stable homogeneity realizing the narrative forms of essays, monologues or conceptual novels. 


Whatever those texts might be from a media-theoretical perspective, there is no disruption between formal and notional languages and writing. What is written is easily be spoken and lectured too. 



The whole tradition of formal-mathematical studies about identity, reflexivity, reflection, self-reference, iteration, recursion and much more is segregated as non-profound calculations missing the deepness of philosophical, sociological and psychological contemplation. Crucial techniques, methods and results don’t get any mentioning. Such redlined endeavours might be seen as good enough for reflectional computers but of no serious relevance for human cultural studies.

Mirrors and Meta-programming

"The principles of extending reflexive theories, formulated so far (Gödel, Turing, Feferman) have been limited to incremental, linear advance along the progression of (transfinite) ordinals (Giunchiglia & Smaill 89). Such advance is, however, non-reflexive: the usual extension operator does not take into account its own role in the process of extension: it only repeatedly reproduces the basis for its application.

A reflexive extension operator would not do away with the incompleteness of a reflexive theory, but it could extend it in longer leaps along the progression of ordinals. Such reflexive progressions of reflexive theories could be a better model of the kind of reflection which is peculiar to consciousness and which is usually considered to surpass the reflexivity of reflexive formal theories.” (Damjan Bojadziev)
http://nl.ijs.si/~damjan/phen.html 

Reflective computational systems allow computations to observe and modify properties of their own behavior, especially properties that are typically observed only from some external, meta-level viewpoint. 



For example, by representing its interpreter, a program could monitor its own execution to detect loops and then modify (itself or) its interpreter to avoid them.

Reflection in the Integral Object-Oriented System

"Reflection is the capability of a computational system to “reason about and act upon itself” (Maes 1987) and adjust itself to changing conditions. The computational domain of a reflective system is the structure and the computations of the system itself. Two kinds of reflection can be observed: structural and computational reflection (Ferber 1989).

Structural Reflection: is the most obvious and still the most developed form of reflection. It concerns the infinitary status of some data structures defined by reflexive domains (Ferber 1988). The Java Reflection API (Sun 1997) is an example of a restricted kind of Structural Reflection (better called ).

Computational or Behavioral Reflection: Is the ability for a process to describe, analyse and modify itself while running."

Further concepts about reflexion, reflexivity, self-reference, eigenform and the “I” are well disseminated in the higher circles of conceptual recreations. Of the many, two successful examples shall be mentioned. Both are stacked in the paradigm of relations, relational logic and relationalism, and are lost in all kinds of loops, “knots and braids”. Douglas D. Hofstadter and Luis H. Kauffman. The publications of this trend are certainly well known but strangely are not appearing as such in the literature about reflexivity in/of societal systems.

Post-Hofstaedterian Reflexions on reflexivity

Also “This essay is a discussion of the concept of reflexivity and its relationships with self-reference, re-entry, eigenform and the foundations of physics.” (Kauffman) and not so much a direct study about social systems it could be of some liberating effects to study what had been developed from at the other side from the early 70s onwards.



"Reflexive is a term that refers to the presence of a relationship between an entity and itself. One can be aware of one's own thoughts. An organism produces itself through its own action and its own productions. A market or a system of finance is composed of actions and individuals, and the actions of those individuals influence the market just as the global information from the market influences the actions of the individuals. Here it is the self-relations of the market through its own structure and the structure of its individuals that moves its evolution forward.”



"Does the infinite nest of boxes exist? Certainly it does not exist on this page or anywhere
in the physical world with which we are familiar. The infinite nest of boxes exists in the imagination. It is a symbolic entity.”
http://www.math.uic.edu/~kauffman/ReflexANPA 

Further entertainment about the relational approach and its loops is aviable at Rocha's:
http://informatics.indiana.edu/rocha/ps/tilsccai.pdf 

Strangely forgotten Strange loops

"In the end, we are self-perceiving, self-inventing, locked-in mirages that are little miracles of self-reference."
 
— Douglas Hofstadter, I Am a Strange Loop p.363

http://en.wikipedia.org/wiki/Gödel,_Escher,_Bach 



Wednesday, September 12, 2012

Finite State Machines and Morphogrammatics

Machines on Differences, and Differences of Machines

Abstract

Morphograms had been introduced into the academic world by Gotthard Gunther with his theory of “transjunctional operations’ for a cybernetic logic of self-reflection at the BCL at the 1st of April 1962.

Meanwhile new approaches emerged, especially with the understanding of morphograms not just as pre-logical patterns but also as rules (operators), realized by the concept of morphogrammatic cellular automata. 


This paper is sketching a further approach toward a better understanding of morphogrammatics: Morphic Finite State Machines, exactly, Morphic Difference Machines.

It seems that the difference-theoretical aspect of morphogrammatics gets an even more direct thematization and formalization in the context of an analogon to FSM.

Are morphic FSAs Finite State Automata at all?

This proposal tried to sketch the idea of a morphogrammatic analogon to the semiotic concept of FSAs and others. At the end of the journey of analogization it might turn out that non of the definitorial constituents of those machines could be covered by the morphogrammatic approach to abstract machines.

In fact, morphoSFA have neither an initial nor a final state. They are not really feed by words of a regular language. They don’t begin and also don't stop. Their transitions are independent of the vocabulary, hence they are also not transitions in the sense of the definition.

They are differentiations, paradoxically differing and defering the positions of the structuration that are defining the differences as constellations or “states” of the machine.

The opposite characterization to the classical concept might give a better insight into the definition and behavior of morphogrammatic machines.

Instead of a defined start, like for FSA, morphic machines don’t have a start. What we know about the behavior of the machine is depending from the point of view of an observer.

An observation might take place and a beginning might be postulated. 
Any description of the behavior of the machine has to distinguish at least two possibilities of description: An internal (algebraic) and an external (co-algebraic) position of an observation.

An external observation might be closer connected with the point of view of classical automata theory and their concepts and apparatus. From there, the analogy and deconstruction might take place.


An internal description has to be aware of the non-conventual feature of the morphic automata.
This approach might be supported by the well known ‘experimental’ intervention with automata and the co-algebraic structures involved.

Some lessons could be learned from the construction and application of other morphogrammatic systems and ‘machines’.

It seems, that the morphic approach to cellular automata is still a novelty and worth to be studied.

Is there any use for morphic automata?

The usefulness of classical machine models like FSA, DFA, Mealy and Moore and Turing Machines, and many others, for computation, linguistics, modal logics and AI is well known, established, proven and documented. A further elaboration shall consider omega-languages and Büchi-automata in comparison to MorphoAutomata.

It is also well known that such automata concepts had been crucial for the development of modern theoretical linguistics. Noam Chomsky’s hierarchies are still governing the field.

On the other hand, it is not well known and only vaguely understood that the difference-theoretical approach to semiotics and linguistics of Ferdinand de Saussure might uncover structures and processes, i.e. structurations, that are closer to the functioning of language than the Leibniz-Chomsky paradigm, founded by the concept of abstract calculi, based on atomic signs, concatenation/substitution and linearity, could be.

Obviously, de Saussure's approach doesn’t fit into the Leibniz-Chomsky paradigm of computation.

Dealing with differences, and differences only, in a system of differences, where the loci of the differences in a complexion are themselves distinguished by differences in the system of differences, determines the ‘value’ of the difference, might get a fundamentally new and interesting conceptualization, ‘formalization’ and programming  towards a determination of the “values” of differences by morphogrammatics and morphic machines.

De Saussure wasn’t well recognized by the academic linguists, especially by the German school, and was then later successfully denied by the international Chomsky movement of linguistics.

"In language there are only differences. Even more important: a difference generally implies positive terms between which the difference is set up; but in language there are only differences without positive terms.” F. de Saussure

Jaques Derrida discovered the deep difference-theoretical endeavour of de Saussure's semiotics (sémiologie), not just for a theory of language but for an understanding of thinking at all. This post-philosophical approach got some recognition and determined the international movements of deconstructionism and deconstructivism.

Unfortunately, despite the radical insight into a pre-logical structure of de Saussure’s understanding of differences and system, différance, any attempts to connect this movement with more formal and operative achievements had not only been denied but harshly criticized, and institutionally killed.

Today, it could be a chance to begin to study this promising approach again. Might be with the help of morphogrammatics and morphogrammatic automata as formal and inspirational models.
At least, this could be one answer to the question:

What are difference-based automata for?

Morphic automata, desinged and understood as closed automata without input nor output in the strict sense are also giving some operational help to understand Humberto Maturana’s concept of autopoiesis. Despite the fact that morphic automata are just in their very beginning, morphic automata should nevertheless be contrasted with the classical, first- and second order cybernetic approaches, to a theory of living systems.