A refinement calculus for logic programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.

Agents as multi-threaded logical objects

In this paper we describe a distributed object oriented logic programming language in which an object is a collection of threads deductively accessing and updating a shared logic program. The key features of the language, such as static and dynamic object methods and multiple inheritance, are illustrated through a series of small examples. We show how we can implement object servers, allowing remote spawning of objects, which we can use as staging posts for mobile agents. We give as an example an information gathering mobile agent that can be queried about the information it has so far gathered whilst it is gathering new information. Finally we define a class of co-operative reasoning agents that can do resource bounded inference for full first order predicate logic, handling multiple queries and information updates concurrently. We believe that the combination of the concurrent OO and the LP programming paradigms produces a powerful tool for quickly implementing rational multi-agent applications on the internet.

Outcome of stroke patients admitted to intensive care: Experience from an Australian teaching hospital

The objective of this study was to determine the mortality rate and the functional outcomes of stroke patients admitted to the intensive care unit (ICU) and to identify predictors of poor outcome in this population. The records of all patients admitted to the ICU with the diagnosis of stroke between January 1994 and December 1999 were reviewed. Patients with subarachnoid haemorrhage were excluded. Data were collected on clinical and biological variables, risk factors for stroke and the presence of comorbidities. Mortality (ICU, in-hospital and three-month) and functional outcome were used as end-points. In the six-year-period, 61 patients were admitted to the ICU with either haemorrhagic or ischaemic stroke. Medical records were available for only 58 patients. There were 23 ischaemic and 35 haemorrhagic strokes. The ICU, in-hospital and three-month mortality rates were 36%, 47% and 52% respectively. There were no significant differences in the prevalence of premorbid risk factors between survivors and non-survivors. The mean Barthel score was significantly different between the independent and dependent survivors (94 +/- 6 vs 45 +/- 26, P < 0.001). A substantial number of patients with good functional outcomes had lower Rankin scores (92% vs 11%, P < 0.001). Only 46% of those who were alive at three months were functionally independent. Intensive care admission was associated with a high mortality rate and a high likelihood of dependent lifestyle after hospital discharge. Haemorrhagic stroke, fixed dilated pupil(s) and GCS < 10 during assessment were associated with increased mortality and poor functional outcome.

Veterinary parasitology teaching in eastern Australia

There are tendencies in universities globally to change undergraduate teaching in veterinary parasitology. To be able to give considered advice to universities, faculties, governmental bodies and professional societies about a discipline and to establish how particular changes may impact on the quality of a course, is the requirement to record and review its current status. The present paper contributes toward this objective by providing a snap-shot of the veterinary parasitology courses at the Universities of Melbourne, Sydney and Queensland in eastern Australia. It includes a description of the veterinary science curriculum in each institution, and provides an outline of its veterinary parasitology course, including objectives, topics covered, course delivery, student examination procedures and course evaluation. Student contact time in veterinary parasitology during the curriculum is currently higher in Melbourne (183 h) compared with Sydney and Queensland (106-110 h). In the teaching of parasitology, Melbourne adopts a taxonomic approach (in the pre-clinical period) followed by a combined disciplinary and problem-based approach in the clinical semesters, whereas both Sydney and Queensland focus more on presenting parasites on a host species-basis followed by a problem-based approach. (C) 2002 Elsevier Science B.V. All rights reserved.

A framework for table driven testing of Java classes

With the advent of object-oriented languages and the portability of Java, the development and use of class libraries has become widespread. Effective class reuse depends on class reliability which in turn depends on thorough testing. This paper describes a class testing approach based on modeling each test case with a tuple and then generating large numbers of tuples to thoroughly cover an input space with many interesting combinations of values. The testing approach is supported by the Roast framework for the testing of Java classes. Roast provides automated tuple generation based on boundary values, unit operations that support driver standardization, and test case templates used for code generation. Roast produces thorough, compact test drivers with low development and maintenance cost. The framework and tool support are illustrated on a number of non-trivial classes, including a graphical user interface policy manager. Quantitative results are presented to substantiate the practicality and effectiveness of the approach. Copyright (C) 2002 John Wiley Sons, Ltd.

Engaging with theories of dialogue and voice: Using Bakhtin as a framework to understand teaching and learning Indigenous Australian women's performance

In this paper I explore the Indigenous Australian women's performance classroom (hereafter ANTH2120) as a dialectic and discursive space where the location of possibility is opened for female Indigenous performers to enter into a dialogue from and between both non-Indigenous and Indigenous voices. The work of Bakhtin on dialogue serves as a useful standpoint for understanding the multiple speaking positions and texts in the ANTH2120 context. Bakhtin emphasizes performance, history, actuality and the openness of dialogue to provide an important framework for analysing multiple speaking positions and ways of making meaning through dialogue between shifting and differing subjectivities. I begin by briefly critiquing Bakhtin's "dialogic imagination" and consider the application and usefulness of concepts such as dialogism, heteroglossia and the utterance to understanding the ANTH2120 classroom as a polyphonic and discursive space. I then turn to an analysis of dialogue in the ANTH2120 classroom and primarily situate my gaze on an examination of the interactions that took place between the voices of myself as family/teacher/student and senior Yanyuwa women from the r e m o t e N o r t h e r n T e r r i t o r y A b o r i g i n a l c o m m u n i t y o f B o r r o l o o l a as family/performers/teachers. The 2000 and 2001 Yanyuwa women's performance workshops will be used as examples of the way power is constantly shifting in this dialogue to allow particular voices to speak with authority, and for others to remain silent as roles and relationships between myself and the Yanyuwa women change. Conclusions will be drawn regarding how my subject positions and white race privilege affect who speaks, who listens and on whose terms, and further, the efficacy of this pedagogical platform for opening up the location of possibility for Indigenous Australian women to play a powerful part in the construction of knowledges about women's performance traditions.

Evaluating Australia's National Medicines Policy using geographical mapping

Background: There has been a proliferation of quality use of medicines activities in Australia since the 1990s. However, knowledge of the nature and extent of these activities was lacking. A mechanism was required to map the activities to enable their coordination. Aims: To develop a geographical mapping facility as an evaluative tool to assist the planning and implementation of Australia's policy on the quality use of medicines. Methods: A web-based database incorporating geographical mapping software was developed. Quality use of medicines projects implemented across the country was identified from project listings funded by the Quality Use of Medicines Evaluation Program, the National Health and Medical Research Council, Mental Health Strategy, Rural Health Support, Education and Training Program, the Healthy Seniors Initiative, the General Practice Evaluation Program and the Drug Utilisation Evaluation Network. In addition, projects were identified through direct mail to persons working in the field. Results: The Quality Use of Medicines Mapping Project (QUMMP) was developed, providing a Web-based database that can be continuously updated. This database showed the distribution of quality use of medicines activities by: (i) geographical region, (ii) project type, (iii) target group, (iv) stakeholder involvement, (v) funding body and (vi) evaluation method. At September 2001, the database included 901 projects. Sixty-two per cent of projects had been conducted in Australian capital cities, where approximately 63% of the population reside. Distribution of projects varied between States. In Western Australia and Queensland, 36 and 73 projects had been conducted, respectively, representing approximately two projects per 100 000 people. By comparison, in South Australia and Tasmania approximately seven projects per 100 000 people were recorded, with six per 100 000 people in Victoria and three per 100 000 people in New South Wales. Rural and remote areas of the country had more limited project activity. Conclusions: The mapping of projects by geographical location enabled easy identification of high and low activity areas. Analysis of the types of projects undertaken in each region enabled identification of target groups that had not been involved or services that had not yet been developed. This served as a powerful tool for policy planning and implementation and will be used to support the continued implementation of Australia's policy on the quality use of medicines.

'Vigilant Hospitality': The Online Imperative and Teaching Cultural Studies

Information technology (IT) sees information as a fluid, to be stored, regulated and exchanged. This is a profoundly economic model, whose dreams are those of the marketplace – and now, university managers. But no teacher, of course, holds that teaching can be reduced to the movement of information from one point to another. Teaching is never quite absorbed into the models of IT. Where they meet, we do not have the utopia of the virtual classroom, at last freed from the strictures of timetables and the face-to-face; we have, rather, the grinding of two radically irreducible models. This has nothing to do with Luddism; on the contrary, it is the value and necessity of IT for us at present, as teachers. At a time when the tertiary sector’s massive investment in IT is motivated in part by its own dream of the teacherless classroom, one of the pressing tasks for us may be simply to argue as rigorously as we can the structural necessity of our own position as teachers, without nostalgia or humanist sentimentality.

An audit tool for intellectual property management: IP management in the Queensland Department of Primary Industries

Smart State is a Queensland Government initiative that recognises the central role of knowledge-based economic growth. In this context, the management of intellectual property (IP) within Queensland and Australian government research and development agencies has changed dramatically over recent years. Increasing expectations have been placed on utilising public sector IP to both underpin economic development and augment taxes by generating new revenues. Public sector research and development (R&D) management has come under greater scrutiny to commercialise and/or corporatise their activities. In a study of IP management issues in the Queensland Public Sector we developed a framework to facilitate a holistic audit of IP management in government agencies. In this paper we describe this framework as it pertains to one large public sector Agriculture R&D Agency, the Queensland Department of Primary Industries (QDPI). The four overlapping domains of the framework are: IP Generation; IP Rights; IP Uptake; and Corporate IP Support. The audit within QDPI, conducted in 2000 near the outset of Smart State, highlighted some well developed IP management practices within QDPI's traditional areas of focus of innovation (IP Generation) and IP ownership and licensing (IP Rights). However, further management practice developments are required to improve the domains of IP Uptake and Corporate IP Support.