Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

A logical analysis of soft systems modelling: implications for information system design and knowledge based system design

Tools
- Tools
+ Tools

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.

[img] PDF
WRAP_THESIS_Gregory_1993.pdf - Requires a PDF viewer.

Download (15Mb)
Official URL: http://webcat.warwick.ac.uk/record=b1416173~S1

Request Changes to record.

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:
DateEvent
November 1993Submitted
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

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us