We propose in this article a formal description of IEML, a novel language designed to be used within computational intelligence and collective intelligence domains. Its target applications are :
collaborative semantic tagging (`balisage’) of any idea or concept available on the Web (blogs, images, software, documents, data in general) ;
collaborative semantic search, including comparison, merging and navigation ;
interoperable modeling and simulation in social sciences, management, design, gaming and digital storytelling.
The emphasis is put on the operations that can be performed on IEML expressions. The combination of these operations leads to automatic generation and transformation of IEML expressions and to automatic generation and transformation of IEML semantic circuits.
IEML has been designed with two goals in mind : provide a practically unlimited method of semantic expression while remaining well within the limits of modern computation.
In the task of formalizing IEML Pierre Lévy has benefited from the invaluable help of Andrew Roczniak, PhD. Nick Soveiko, PhD, is the main contributor of the chapter on quantitative criteria for structural similarity and shortetst path between semantic circuits.
A few days ago, Prof. Pierre Lévy published
IEML Semantic Topology
A Formal Model of the Circuits of the Information Economy
I just released a rough experiment with tagging a Junto convo on video.