SDML(ID:7106/sdm004)

Simulations modelling language  

for Strictly Declarative Modeling Language

Steve Wallis, Centre for Policy Modelling, Manchester


Simulations modelling language built as an extension to Park Place Smalltalk

"SDML is a declarative modelling language based on rulebases and databases and implemented in Smalltalk. Models can be constructed from many interacting agents, and hierarchical agents are supported. Although the primary paradism is forward and backward chaining, partial object-oriented facilities are available, as well as hierarchical temporal composition. Primary applications have been in economic and market modeling. "
Related languages
Smalltalk-80 => SDML   Extension of
References:
  • Steve Wallis and Scott Moss "Efficient Forward Chaining for Declarative Rules in a Multi-Agent Modelling Language" CPM Report: 004 Centre for Policy Modelling, Manchester Metropolitan University, 1994 view details Abstract: Most rule-based systems are imperative, or, if they are mainly declarative, also provide some imperative features. It is argued that a strictly declarative formalism with a sound logical basis is preferable.
    This paper addresses the task of implementing forward chaining efficiently for declarative rulebases. Deductions that can be invalidated by new information are particularly difficult to deal with consistently and efficiently.

    The paper shows that efficient forward chaining is possible, by utilising the implicit structure of the rulebases to optimise the most common circumstances. A language, called SDML, which utilises such declarative rulebases to simulate multi-agent models, is described.

    External link: Online copy