Search

This paper presents the design and implementation of intraGrid, an experimental grid based on the Globus ToolkitTM and deployed on the IBM intranet. The architecture and the main components of intraGrid are described. Then, the major technical challenges and their solutions are reviewed, including software packaging and distribution, the interface for administrative tasks, and the design and implementation of the three major services: information services, management services, and job submission services. The paper also describes the extensions and modifications to intraGrid that were required to create the ISD grid, a grid that is used for joint projects with customers and thus requires access by external users. The paper reviews the use of intraGrid by various teams of IBM researchers to date and outlines the plans for future applications. The work in progress to migrate the intraGrid to an OGSA-based (Open Grid Services Architecture-based) grid is also described.

Publisher Summary This chapter discusses that the aim of Π1/2-logic is to play a role similar to ω-logic, but in a context. The general reason for the concepts of Π1/2-logic is to play a great role in many problems that come from the contradictory tasks performed by the concepts like effectivity. These objects are indeed primitive recursive operations; the commutation to direct limits is indeed a way of using them as effective operations and logical complexity; the concepts of ladder, β-proof are Π1/2-complete. The chapter is essentially devoted to the exposition of Π1/2logic through its main applications till now. It reviews some of the important applications that can roughly be divided into two classes: the use of ladders for estimates connected with admissible and the use of ladders to give (unusual) ordinal analysis.

The problems of inheritance reasoning in taxonomical networks are crucial in object-oriented languages and in artificial intelligence. A taxonomical network is a graph that enables knowledge to be represented. This paper focuses on the means linear logic offers to represent these networks and is a follow-up to the note on exceptions by Jean-Yves Girard. It is first proved that all compatible nodes of a taxonomical network can be deduced in the taxonomical linear theory associated to the network. Moreover, this theory can be integrated in the Unified Logic LU and so taxonomical and classical reasoning can be combined.