27 April 2010

Simulation as a Symbol of Meaning

These are a couple of board captures from a recent conversation on the relationship between the Semiotic Triangle (or Triangle of Reference) and the effort of representing some referent within a simulation (by first modeling it).

If the referent is the original object, in ideal form (whatever that is - meaning that all perceptions bring prejudice, so that in a Hume-like sense we can never know the ideal form, only our perceptions of the form), then a model of that referent is a conceptualization of it (much in the way that we talk about conceptual models as the blueprint for data modeling, and that an ontological representation is the expression of a conceptualization). By going one step further, and expressing that model in a simulation that mimics the dynamic existence of the referent (albeit, in some abstracted way - such as in a computer simulation), then the simulation becomes the expressed symbol representing the referent.

This highlights two prejudices that I (and others at the VMASC research group I interact with) have, namely that the act of going from referent to simulation really encompasses two different paradigms - the modeling paradigm (where we seek to understand the referent, in terms of some theory or model), and the simulation paradigm where that model (or theory) is then given form in a method that can give it dynamic existence (life?) over time, taking some inputs as the initial state of that "life", follow the strictures of the model (theory) and progress the processes of the model over time to induce changes to the objects and relations amongst those objects.

An interesting idea, if only because it implies that a simulation is a symbol for some referent. Much as a word (in natural language) is a symbol for some referent.

This reliance on the earliest version of the semiotic triangle leaves out an important stage in the transference of meaning from one agent to another - and that is understanding (or, more formally, in the domain of M&S, the agreement of one model with another).

Regardless of the flaws, the triangle is an interesting tool in understanding what is "modeling and simulation". And it can be seen (from the diagrams following) that there is some effort at reimposing the triangle on each of the vertical arms of the original triangle - (1) going from referent to model, and (2) going from model to simulation. An interesting theory like the triangle of reference is always coming up again and again the more you consider it in additional contexts...





Tags: , , , ,

Labels: , , , ,

02 April 2010

primitives of meaning - meet bundle theory


My idea of primitives of meaning to describe a conceptual entity (by identifying all of the atomic concepts that combine to make the "whole" entity) is essentially the same as bundle theory, but I was (sadly) unaware of that theory when I did my writing on the atomic-concept based ontology for modeling and simulation (2005-2006) that led to my master's theory.

For a brief introduction to Bundle Theory see this wikipedia entry.

One of the things that Included in my model of an ontology for modeled worlds, is that the components are (1) concepts, (2) entities which are a combination of a set of concepts, (3) relationships between concepts, (4) rules determining under what conditions the relationships are valid. This is a system that is vulnerable to the same complaints about compresence that bundle theory is vulnerable to. However, since my theory is to apply to a modeled world that can be expressed, I don't think that the language/reality vulnerability of bundle theory applies here. By that I mean, since the point of my ontology theory is to provide an ontology for expressing the meaning of a world that can be expressed in a human generated artifact, an artifact about which questions concerning the described world are decidable, then the number and nature of relationships between (what I call) entities and their bundled concepts is countable and finite. But I may be wrong. :)

Tags:

Labels: , ,

29 August 2009

Dimensions of Processes (1) - Time and Temporal Placement

The first dimension I am exploring, concerning a methodical decomposition of process, is the dimension of time and temporal placement of the process within its universe of occurrence.

First, on spatial reasoning, there is an informal introduction to the whole concept on wikipedia, of which the salient point (for automata) is:
Spatial-temporal reasoning is also studied in computer science. It aims at describing the common-sense background knowledge on which our human perspective on the physical reality is based. Methodologically, qualitative constraint calculi restrict the vocabulary of rich mathematical theories dealing with temporal or spatial entities such that specific aspects of these theories can be treated within decidable fragments with simple qualitative (non-metric) languages. Contrary to mathematical or physical theories about space and time, qualitative constraint calculi allow for rather inexpensive reasoning about entities located in space and time. For this reason, the limited expressiveness of qualitative representation formalism calculi is a benefit if such reasoning tasks need to be integrated in applications. For example, some of these calculi may be implemented for handling spatial GIS queries efficiently and some may be used for navigating, and communicating with, a mobile robot.
Much ink has been spilt on this topic in the artificial intelligence community - on temporal relationships and temporal reasoning. In beginning my review in this area, I will take the Elsevier handbook on Temporal Reasoning as my root node, and begin exploring the research of the PhDs whose work is featured there.

First the three editors


Next the contributing authors





Side Topics:

Qualitative Spatial Reasoning using Constraint Calculi by Renz and Nebel

Guido Governatori very interesting series of publications on related topics

Approximate Qualitative Temporal Reasoning by Thomas Bittner

Tags: , ,

Labels: , ,

22 November 2006

Ontopia Article Captures the Ontology Spectrum

Leo Obrst has published (as slides from talks) a couple of times something that he calls the ontology spectrum (or, in an upcoming book, the "Logic Spectrum").

The same ideas appear in this article.


Tags: controlled vocabularies, taxonomy, thesauri, ontology, topic map

Labels: , , , ,