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.

Cooperative and competitive adsorption of ethylene, ethane, nitrogen and argon on graphitized carbon black and in slit pores

In this paper we investigate the mixture adsorption of ethylene, ethane, nitrogen and argon on graphitized thermal carbon black and in slit pores by means of the Grand Canonical Monte Carlo simulations. Pure component adsorption isotherms on graphitized thermal carbon black are first characterized with the GCMC method, and then mixture simulations are carried out over a wide range of pore width, temperature, pressure and composition to investigate the cooperative and competitive adsorption of all species in the mixture. Results of mixture simulations are compared with the experimental data of ethylene and ethane (Friederich and Mullins, 1972) on Sterling FTG-D5 (homogeneous carbon black having a BET surface area of 13 m(2)/g) at 298 K and a pressure range of 1.3-93 kPa. Because of the co-operative effect, the Henry constant determined by the traditional chromatography method is always greater than that obtained from the volumetric method.

Thermal and mechanical properties of radiation crosslinked poly(tetrafluoroethylene-co-perfluoromethyl vinyl ether)

The gamma-radiolysis of poly(tetrafluoroethylene-co-perfluoromethyl vinyl ether) (TFE/PMVE) was investigated using chemical and mechanical analyses. The polymer was found to form an insoluble network with a dose of gelation of 15.8 kGy. Tensile and glass transition temperature measurements indicated the predominance of crosslinking, with optimal elastomeric properties reached in the dose range of 120 to 200 kGy. Photoacoustic FTIR spectroscopy CPAS) showed the formation of new carboxylic acid end groups on irradiation. These new end groups were shown to decrease the thermal oxidative stability of the crosslinked network as determined by thermal gravimetric analysis. Electron spin resonance (ESR) studies of the polymer at 77 K indicated the presence of radical precursors. A G-value of 1.1 was determined for radical production at 77 K. Comparison of radical concentrations for a copolymer with a different mole ratio of PMVE, indicated that the PMVE units contribute to scission reactions. (C) 1998 Elsevier Science Ltd. All rights reserved.