An introduction to SDML - Bruce Edmonds

Contents

Contents

Section 1 - - Clauses, Types and Rules

1.1 - Introduction

1.2 - Starting SDML and the user interface

1.3 - Browsing an SDML object and databases

1.4 - Experimenting with SDML Clauses

1.5 - A quick look at SDML charts

1.6 - The Experimentation Debugger

1.7 - Lists and choices

1.8 - SDML Objects

1.9 - The Type Browser and Definitions

1.10 - Rulebases

1.11 - Running a Simulation

1.12 - The Type Hierarchy

1.13 - Defining a Clause

1.14 - Writing and Testing Rules

1.15 - Copying a Definition

1.16 - Some Serious Rules including Backward-Chaining Clauses

1.17 - Assumptions

1.18 - The Simulation Debugger

1.19 - Some Suggestions To Try

Section 2 - - Modules, Time Levels and Lists

2.1 - Introduction

2.2 - Starting from scratch: the SDML Launcher

2.3 - SDML Users

2.4 - SDML Modules and Workbenches

2.5 - A sub-agent

2.6 - Time levels

2.7 - Stopping simulations

2.8 - More than one time level

2.9 - Saving and loading rules

2.10 - More examples using time

2.11 - SDML list notation

2.12 - Examining the database at different stages

2.13 - Some longer rules

2.14 - Some Suggestions To Try

Section 3 - - Agents and some user facilities

3.1 - Setting up agents

3.2 - Time levels and the container hierarchy

3.3 - Container constraints

3.4 - Constructing a hierarchy of composite agents

3.5 - Using at to assert to other agent's databases

3.6 - The self symbol

3.7 - Some longer rule examples

3.8 - Suggestions to try:

3.9 - The operations list

3.10 - Dependency graphs

3.11 - Symbol search

Generated with CERN WebMaker