Show simple item record

dc.contributor.authorLoomes, M.
dc.contributor.authorVinter, R.J.
dc.date.accessioned2011-01-05T10:21:30Z
dc.date.available2011-01-05T10:21:30Z
dc.date.issued1996
dc.identifier.citationLoomes , M & Vinter , R J 1996 , Formal methods: no cure for faulty reasoning . UH Computer Science Report , vol. 265 , University of Hertfordshire .
dc.identifier.otherPURE: 100034
dc.identifier.otherPURE UUID: e86b146c-f040-4e25-8a9a-eb4354c7b173
dc.identifier.otherdspace: 2299/5105
dc.identifier.urihttp://hdl.handle.net/2299/5105
dc.description.abstractOwing to the benefits commonly associated with their use and links with scientific culture, formal methods have become closely identified with the design of safety-critical systems. But, despite the mathematical nature of the logic systems underlying most formal notations, many aspects of formal methods are much less predictable than one might realise. Specifically, it is suggested that the ways in which people interpret and reason about formal descriptions can lead to similar kinds of errors and biases as those exhibited during previous cognitive studies of logical statements in natural language. This paper reports a series of preliminary experiments aimed at testing this hypothesis and several related issues. Early results suggest that, in reality, people frequently depart from fundamental principles of mathematical logic when reasoning about formal specifications, and are content to rely upon probablistic, heuristic methods. Furthermore, they suggest that manipulating such factors as the degrees of thematic and believable content in formal specifications can lead to significant reasoning performance enhancement or degradation. So, although faulty reasoning cannot be cured by formalisation alone, it would appear that the human potential for error can be reduced by avoiding certain expressions and choosing alternative, equivalent forms.en
dc.language.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Report
dc.rightsOpen
dc.titleFormal methods: no cure for faulty reasoningen
dc.contributor.institutionSchool of Computer Science
dc.relation.schoolSchool of Computer Science
dcterms.dateAccepted1996
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue
herts.rights.accesstypeOpen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record