No Title

contents

contents

1 - Introduction

2 - Validation and verification

2.1 - Validation

2.1.1 - Strongly grounded auto-epistemic logic (SGAL)

2.1.2 - The rationale for the correspondence of SDML to FOSGAL

2.2 - Verification

3 - Modelling paradigms

3.1 - Procedural modelling

3.2 - Declarative modelling

3.3 - Modelling paradigms, validation and application

4 - An example: the North West Water incident management organization

4.1 - NWW model implementation

4.2 - Agent cognition: learning as modelling

4.2.1 - Basic model-specification process

4.2.2 - Current model-specification process

5 - Results

5.1 - Organizational performance

5.2 - Individual abilities and performance

6 - Validation and verification of the North West Water model

6.1 - Validation

6.2 - Verification

7 - Summary and implications for further research

7.1 - Summary

7.2 - Further research directions

7.2.1 - Formalisms

7.2.2 - The application

References

Generated with CERN WebMaker