A comparative study at the logical level of centralised and distributed recovery in clusters

Cluster systems are becoming more prevalent in today’s computer society and users are beginning to request that these systems be reliable. Currently, most clusters have been designed to provide high performance at the cost of providing little to no reliability. To combat this, this report looks at how a recovery facility, based on either a centralised or distributed approach could be implemented into a cluster that is supported by a check pointing facility. This recovery facility can then recover failed user processes by using checkpoints of the processes that have been taken during failure free execution.

Normative-informational positions: a modal-logical approach

This paper is a preliminary investigation into the application of the formal-logical theory of normative positions to the characterisation of normative-informational positions, pertaining to rules that are meant to regulate the supply of information. First, we present the proposed framework. Next, we identify the kinds of nuances and distinctions that can be articulated in such a logical framework. Finally, we show how such nuances can arise in specific regulations. Reference is made to Data Protection Law and Contract Law, among others. The proposed approach is articulated around two essential steps. The first involves identifying the set of possible interpretations that can be given to a particular norm. This is done by using formal methods. The second involves picking out one of these interpretations as the most likely one. This second step can be resolved only by using further information (e.g., the context or other parts of the regulation).

A logical framework for knowledge sharing in multi-agent systems

The issue of knowledge sharing has been an important topic in multi-agent research. Knowledge sharing leads to that agents analyze, judge and synthesize the told information so as to make agents’ own knowledge. To match these applications, this paper builds a logical framework for knowledge sharing among agents. We develop a multimodal logic for reasoning about both agents’ knowledge and told information. For formalizing the relationship between knowledge and told information, we present a framework of semantics, with respect to which a sound and complete proof theory is given.

An empirical and logical exploration of the strategic compatibility of best practice and product innovation : preliminary insights from Australian and New Zealand manufacturing industry

In an attempt to enhance debate focused on an established academic controversy, this study re-investigated selected data from the 1994 AMC survey of Australian and New Zealand manufacturing practices to test the hypothesis that best practice and product innovation may be incompatible generic business strategies. A modification of Robert G. Cooper’s Stage-Gate product development model was used as a theoretical framework to create a measurable construct of ‘product innovation’ as a strategy and compare two groups: firms committed to a best practice strategy (BPs) and firms not utilising best practice (Non-BPs). Eight variables were scrutinised. After logical critique was added to statistical data analysis, four major insights emerged.

(1) Tests yielded several statistically significant but substantively inconclusive results because both studied groups had nearly identical profiles in rating innovation as the factor of lowest importance to commercial success and because the definitional framework which guided construction of the survey instrument treated innovation as a second-order issue. (2) Currently, best practice and product innovation are logically incompatible by definition. (3) Even if the definition of best practice were changed, it is likely that the additional key process of innovation would remain incompatible with the existing key process of benchmarking. (4) However, until the definition of best practice does make an attempt to include innovation as a key process rather than an outcome, testing any hypothesis of strategic compatibility between a best practice focus and an innovation focus will be both empirically difficult and logically unnecessary.

A logical approach to the management of object identifiers in non-conventional database management systems

Non-conventional database management systems are used to achieve a better performance when dealing with complex data. One fundamental concept of these systems is object identity (OID), because each object in the database has a unique identifier that is used to access and reference it in relationships to other objects. Two approaches can be used for the implementation of OIDs: physical or logical OIDs. In order to manage complex data, was proposed the Multimedia Data Manager Kernel (NuGeM) that uses a logical technique, named Indirect Mapping. This paper proposes an improvement to the technique used by NuGeM, whose original contribution is management of OIDs with a fewer number of disc accesses and less processing, thus reducing management time from the pages and eliminating the problem with exhaustion of OIDs. Also, the technique presented here can be applied to others OODBMSs. © 2011 IEEE.

Peirce's mathematical-logical approach to discrete collections and the premonition of continuity

According to Peirce one of the most important philosophical problems is continuity. Consequently, he set forth an innovative and peculiar approach in order to elucidate at once its mathematical and metaphysical challenges through proper non-classical logical reasoning. I will restrain my argument to the definition of the different types of discrete collections according to Peirce, with a special regard to the phenomenon called premonition of continuity (Peirce, 1976, Vol. 3, p. 87, c. 1897). © 2012 Copyright Taylor and Francis Group, LLC.