Fuzzy concepts and formal methods

It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However some system problems, particularly those drawn from the information systems problem domain, may be difficult to model in crisp or precise terms. It may also be desirable that formal modelling should commence as early as possible, even when our understanding of parts of the problem domain is only approximate. This thesis suggests fuzzy set theory as a possible representation scheme for this imprecision or approximation. A fuzzy logic toolkit that defines the operators, measures and modifiers necessary for the manipulation of fuzzy sets and relations is developed. The toolkit contains a detailed set of laws that demonstrate the properties of the definitions when applied to partial set membership. It also provides a set of laws that establishes an isomorphism between the toolkit notation and that of conventional Z when applied to boolean sets and relations. The thesis also illustrates how the fuzzy logic toolkit can be applied in the problem domains of interest. Several examples are presented and discussed including the representation of imprecise concepts as fuzzy sets and relations, system requirements as a series of linguistically quantified propositions, the modelling of conflict and agreement in terms of fuzzy sets and the partial specification of a fuzzy expert system. The thesis concludes with a consideration of potential areas for future research arising from the work presented here.

Fuzzy logic for decision support in chronic care

Computerized clinical guidelines can provide significant benefits in terms of health outcomes and costs, however, their effective computer implementation presents significant problems. Vagueness and ambiguity inherent in natural language (textual) clinical guidelines makes them problematic for formulating automated alerts or advice. Fuzzy logic allows us to formalize the treatment of vagueness in a decision support architecture. In care plan on-line (CPOL), an intranet-based chronic disease care planning system for general practitioners (GPs) in use in South Australia, we formally treat fuzziness in interpretation of quantitative data, formulation of recommendations and unequal importance of clinical indicators. We use expert judgment on cases, as well as direct estimates by experts, to optimize aggregation operators and treat heterogeneous combinations of conjunction and disjunction that are present in the natural language decision rules formulated by specialist teams.

The origins of formal collusion in Australian fire insurance 1870-1920

The market for insurance has become increasingly competitive in recent years. However, it has not always been so. At the end of the nineteenth century, it was characterized by a highly concentrated and tightly controlled oligopolistic market structure. As such, the history of the fire insurance industry provides an interesting case study in the development of collusive behaviour amongst firms. Up to 1897, pricing agreements among firms were generally short-lived, and were followed by periods of intense competition. After this point, an agreement was forged, which proved very resilient to market pressures and formed the basis of premium rate setting until the 1970s. This paper investigates the difference between this agreement and previous efforts to set premium rates, and points to some of the common features of the later compact, which explain its longevity.

Macleod and the offence of defrauding the company in one-person businesses: the divergence between legal principle and logic widens

The recent High Court decision in Macleod v R establishes that a director and sole shareholder may be convicted of fraudulently applying a company's property even though the person has consented to the personal use of the company's property. It is contended that while this decision is consistent with the weight of precedent, it is wrong in principle. The decision implies that corporations are not only separate legal entities, but that they are highly virtuous legal entities -- incapable of being imbued with the dishonest intentions and activities of the individuals controlling the company.

The Relationship between TQM Practices and Quality Performance and the Role of Formal TQM Programs: An Australian Empirical Study

This article presents the findings from an empirical study examining the relationship between total quality management (TQM) practices and quality performance in Australian organizations. A comparison is made between organizations that have adopted formal TQM programs and organizations without a formal program in place. It was recognized that the lack of a formal program did not necessarily mean TQM principles were not being practiced. The findings show that the firms adopting formal TQM programs implement several TQM practices at a higher level than those that do not have TQM programs. This difference, however, is not apparent in the case of quality performance. Furthermore, the findings show the strong links between TQM practices and quality performance, and there is no significant difference between organizations implementing formal TQM programs and those organizations simply adopting TQM practices. This suggests that it is the adoption of quality practices that matters rather than formal programs per se.

Developing formal mathematical assessment for 4-to-8-year-olds

The assessment of children in their years before school and their first years of school has been, traditionally, informal. Further, assessment of children's mathematical skills at this level has been infrequent compared to social, emotional and physical assessments. However, there are contexts where reliable, valid, standardised data from assessment in mathematics are required. This paper outlines the development of two assessment tools for mathematics that were originally developed for such contexts. Item Response Theory (IRT) analyses enabled the construction of assessment forms that address the range of abilities of 4- to 8-year-old children, and provided the scales used for constructing formative and summative reports of achievement. A description of the development of the assessment tools and the IRT analysis that provides the reporting formats are presented together with some research uses of the tools.

A comprehensive formal ranking of the popularity of financial ratios in multivariate modeling of corporate collapse

This paper provides a fonnal ranking of the popularity of financial ratios in modeling corporate collapse. The analysis identified 48 financial ratios and ranked them according to their usefulness as portrayed in 53 studies that have utilized such ratios in modeling corporate collapse. The methodologies adopted in those studies are predominantly of the "multivariate" type. The 53 studies extend from 1966 to 2002, inclusive.

Fuzzy logic based metric in software testing

How to provide cost-effective strategies for Software Testing has been one of the research focuses in Software Engineering for a long time. Many researchers in Software Engineering have addressed the effectiveness and quality metric of Software Testing, and many interesting results have been obtained. However, one issue of paramount importance in software testing – the intrinsic imprecise and uncertain relationships within testing metrics – is left unaddressed. To this end, a new quality and effectiveness measurement based on fuzzy logic is proposed. The software quality features and analogy-based reasoning are discussed, which can deal with quality and effectiveness consistency between different test projects. Experimental results are also provided to verify the proposed measurement.

Interpersonal trust and formal controls in hierarchical relationships

This paper examines the influence of the level of interpersonal trust between superior and subordinate managers on the control behaviour of the former. On the basis of a questionnaire survey and interviews of senior managers from business organisations in Sri Lanka, and a survey of managers in Beijing-China the study explores the control behaviour of superior managers when their trust in a subordinate is high or low. Sri Lanka and China, societies in which the dependence on interpersonal trust is believed to be high, were chosen for the study to maximise the effect of interpersonal trust.

The findings of this study indicate that a superior’s high (low) trust in a subordinate is associated with a low (high) level of monitoring and a high (low) level of social interactions. The hypothesis that a superior’s high (low) level of trust is associated with a low (high) level of reliance on formal control was supported only in the Sri Lankan sample. These findings are at least indicative of control behaviour of superior managers in Sri Lanka and China and possibly of other countries in Asia. An understanding of the trust-sensitive control behaviour of managers in this region is particularly important for designing and implementing effective control systems for international organizations operating in the region.

Micro finance programs: caring for those missed by formal social protection mechanism

In line with the current global trend of economic and social restructuring, it has become essential to address the issue of poverty and social protection for the poorer segment of the population who are not covered by formal social protection mechanisms. Micro finance institutions (MFIs) in developing countries have been working towards poverty alleviation and enhancing social protection for the last few decades. MFI’s provision of financial assistance to the poor has been instrumental in improving the overall quality of the impoverished. Based on an in-depth qualitative study conducted across three different types of NGOs (Non Governmental Organization) in the Philippines, this study found a relationship between micro finance programs and improved social protection. The study reveals that MFIs have the ability to make a positive impact on areas such as entrepreneurship, education, housing, job security and income generation.

A fuzzy logic based approach for software testing

How to provide cost-effective strategies for Software Testing has been one of the research focuses in Software Engineering for a long time. Many researchers in Software Engineering have addressed the effectiveness and quality metric of Software Testing, and many interesting results have been obtained. However, one issue of paramount importance in software testing — the intrinsic imprecise and uncertain relationships within testing metrics — is left unaddressed. To this end, a new quality and effectiveness measurement based on fuzzy logic is proposed. Related issues like the software quality features and fuzzy reasoning for test project similarity measurement are discussed, which can deal with quality and effectiveness consistency between different test projects. Experiments were conducted to verify the proposed measurement using real data from actual software testing projects. Experimental results show that the proposed fuzzy logic based metrics is effective and efficient to measure and evaluate the quality and effectiveness of test projects.

The role of formal mentoring on business success and self-esteem in participants of a new business start-up program

The current study investigated the relationship between career-related mentoring, psychosocial mentoring, business success, and self-esteem in participants of a program that was designed to assist in the establishment of a new business. Seventy-seven protégés and their matched mentors were included in the study. A comparison of mentor and protégé perceptions revealed that mentors considered themselves to provide higher levels of psychosocial support than did the protégés. Protégé perceptions of business success were predicted by the frequency of mentor contact and the level of career-related support provided by their mentor.

Logic games

Discusses innovations on logic games which will develop the problem solving and spatial thinking of students. Variations of existing logic games; Description of the innovated games; Advice on introducing logic games to students.