The SDML programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of its functionality. SDML is a strictly declarative modelling language which has object-oriented features and corresponds to a fragment of strongly grounded autoepistemic logic. The virtues of SDML include the ease of building complex models and the facility for representing agents flexibly as models of cognition as well as modularity and code reusability.

It is argued that complexity has only a limited use as a paradigm against reductionist approaches and that it has a much richer potential as a comparable property. What can complexity be usefully said to be a property of is discussed. It is argued that it is unlikely to have any useful value as applied to real object or systems. Further that even relativising it to an observer has problems. It is proposed that complexity can be only usefully applied to (...) constructions within a given language. It is argued that complexity is usefully differentiated from the concepts of size, ignorance, variety, minimum description length and order. A definition of complexity is proposed which can be summarised as follows: That property of a language expression which makes it difficult to formulate its overall behaviour even when given almost complete information about its atomic components and their inter-relations.. Some of the consequences of this definition are discussed. It is shown that this definition encompasses several existing varieties of complexity measures and is then applied to some examples pertaining to the evolution of complex' systems including: "What is the complexity that has evolved in organisms and has it increased?". (shrink)

It is argued that complexity is not attributable directly to systems or processes but rather to the descriptions of their `best' models, to reflect their difficulty. Thus it is relative to the modelling language and type of difficulty. This approach to complexity is situated in a model of modelling. Such an approach makes sense of a number of aspects of scientific modelling: complexity is not situated between order and disorder; noise can be explicated by approaches to excess modelling error; and (...) simplicity is not truth indicative but a useful heuristic when models are produced by a being with a tendency to elaborate in the face of error. (shrink)

It is argued that society is a crucial factor in the construction of individual intelligence. In other words that it is important that intelligence is socially situated in an analogous way to the physical situation of robots. Evidence that this may be the case is taken from developmental linguistics, the social intelligence hypothesis, the complexity of society, the need for self-reflection and autism. The consequences for the development of artificial social agents is briefly considered. Finally some challenges for research into (...) socially situated intelligence are highlighted. (shrink)