Gregory, Frank Hutson (1993) A logical analysis of soft systems modelling: implications for information system design and knowledge based system design. PhD thesis, University of Warwick.

PDF WRAP_THESIS_Gregory_1993.pdf - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader Download (15Mb)

Abstract

The thesis undertakes an analysis of the modelling methods used in the Soft Systems Methodology (SSM) developed by Peter Checkland and Brian Wilson. The analysis is undertaken using formal logic and work drawn from modern Anglo-American analytical philosophy especially work in the area of philosophical logic, the theory of meaning, epistemology and the philosophy of science.

The ability of SSM models to represent causation is found to be deficient and improved modelling techniques suitable for cause and effect analysis are developed. The notional status of SSM models is explained in terms of Wittgenstein's language game theory. Modal predicate logic is used to solve the problem of mapping notional models on to the real world.

The thesis presents a method for extending SSM modelling in to a system for the design of a knowledge based system. This six stage method comprises: systems analysis, using SSM models; language creation, using logico-linguistic models; knowledge elicitation, using empirical models; knowledge representation, using modal predicate logic; codification, using Prolog; and verification using a type of non-monotonic logic. The resulting system is constructed in such a way that built in inductive hypotheses can be falsified, as in Karl Popper's philosophy of science, by particular facts. As the system can learn what is false it has some artificial intelligence capability. A variant of the method can be used for the design of other types of information system such as a relational database.

Item Type:	Thesis or Dissertation (PhD)
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Library of Congress Subject Headings (LCSH):	Systems engineering -- Research, Business -- Mathematical models, Expert systems (Computer science) -- Research, Relational databases -- Reseach
Official Date:	November 1993
Dates:	Date Event November 1993 Submitted
Institution:	University of Warwick
Theses Department:	Warwick Business School
Thesis Type:	PhD
Publication Status:	Unpublished
Supervisor(s)/Advisor:	Mingers, John
Sponsors:	Science and Engineering Research Council (Great Britain) (SERC) ; Warwick Business School (WBS)
Format of File:	pdf
Extent:	427 leaves : ill., charts
Language:	eng
URI:	http://wrap.warwick.ac.uk/id/eprint/2888

Request changes or add full text files to a record

Actions (login required)

View Item

Downloads