A note on knowledge-based programs and specifications

Summary. Knowledge-based program are programs with explicit tests for knowledge. They have been used successfully in a number of applications. Sanders has pointed out what seem to be a counterintuitive property of knowledge-based programs. Roughly speaking, they do not satisfy a certain monotonicity property, while standard programs (ones without tests for knowledge) do. It is shown that there are two ways of defining the monotonicity property, which agree for standard programs. Knowledge-based programs satisfy the first, but do not satisfy the second. It is further argued by example that the fact that they do not satisfy the second is actually a feature, not a problem. Moreover, once we allow the more general class of knowledge-based specifications, standard programs do not satisfy the monotonicity property either. Received: January 1997 / Accepted January 2000     

Modelling knowledge and action in distributed systems

We present a formal model that captures the subtle interaction between knowledge and action in distributed systems. We view a distributed system as a set ofruns, where a run is a function from time toglobal states and a global state is a tuple consisting of anenvironment state and alocal state for earch process in the system. This model is a generalization of those used in many previous papers.Actions in this model are associated with functions from global states to global states. Aprotocol is a function from local states to actions. We extend the standard notion of a protocol by definingknowledge-based protocols, ones in which a process' actions may depend explicitly on its knowledge. Knowledge-based protocols provide a natural way of describing how actions should take place in a distributed system. Finally, we show how the notion of one protocolimplementing another can be captured in our model. Joseph Y. Halpern received a B.Sc. in mathematics from the University of Toronto in 1975, and a Ph.D. in mathematics from Harvard University in 1981. In between, he spent two years as the head of the Mathematics Department at Bawku Secondary School, in Ghana. After a year as a visiting scientist at MIT, he joined IBM in 1982. He is currently the manager of the Mathematics and Related Computer Science Department at the IBM Almaden Research Center, and a consulting professor in the Computer Science Department at Stanford. His major research interests are reasoning about knowledge, distributed computation, and logics of programs. He was program chairman and organizer of the first conference of Theoretical Aspects of Reasoning About Knowledge, program chairman of the Fifth ACM Symposium on Principles of Distributed Computing, and was the co-recipient (with Ronald Fagin) of the MIT Publisher's Prize for the Best Paper Paper at the 1985 International Joint Conference on Artificial Intelligence. Ronald Fagin is manager of the Foundations of Computer Science group at the IBM Almaden Research Center. He received his B.A. degree in mathematics from Dartmouth College in 1967 and his Ph.D. in mathematics, specializing in mathematical logic, from the University of California at Berkeley in 1973. He joined IBM in 1973 at the Thomas J. Watson Research Center. In 1975, he transferred to the San Jose Research Laboratory (now the IBM Almaden Research Center) where most of his research has centered on applications of logic to computer science. In particular, he has done research on the theory of relational databases and, more recently, on theories of knowledge and belief. He has received three IBM Outstanding Innovation Awards for his contributions to relational database theory, extendible hashing, and reasoning about knowledge. He was co-recipient (with Joe Halpern) of the MIT Press Publisher's Prize for the Best Paper at the 1985 International Joint Conference on Artificial Interlligence.Some material in this paper appeared in preliminary form in Halpern and Fagin (1985). An abridged version of the paper appeared in Vogt F (ed) Proceeding of Concurrency 88 (Lecture Notes in Computer Science Vol. 335) Springer-Verlag, 1988, pp 18–32     

Turing's Test and the ideology of artificial intelligence

A close examination is offered of the Turing Test, whose lasting influence is ascribed to its power as a myth which is expressive of the ideology that underlies strong AI claims. Arguments are advanced to show that the Test is not a bonafide thought-experiment, nor an acceptable substitute for the question, Can a Machine Think? AI work is held to be highly valuable, but by reason of its achievement of thought-like results through the power of algorithms, not through its supposed emulation of thought. Finally, evidence is offered for thinking that the issue at hand is not only a practical, but an urgent one.     

High Thermal Conductivity Polymer Composites Fabrication through Conventional and 3D Printing Processes: State-of-the-Art and Future Trends

The lifespan and the performance of flexible electronic devices and components are affected by the large accumulation of heat, and this problem must be addressed by thermally conductive polymer composite films. Therefore, the need for the development of high thermal conductivity nanocomposites has a strong role in various applications. In this article, the effect of different particle reinforcements such as single and hybrid form, coated and uncoated particles, and chemically treated particles on the thermal conductivity of various polymers are reviewed and the mechanism behind the improvement of the required properties are discussed. Furthermore, the role of manufacturing processes such as injection molding, compression molding, and 3D printing techniques in the production of high thermal conductivity polymer composites is detailed. Finally, the potential for future research is discussed, which can help researchers to work on the thermal properties enhancement for polymeric materials.     

Transrectal ultrasound applicator for prostate heating monitored using MRI thermometry

PURPOSE: For potential localized hyperthermia treatment of tumors within the prostate, an ultrasound applicator consisting entirely of nonmagnetic materials for use with magnetic resonance imaging (MRI) has been developed and tested on muscle tissue ex vivo and in vivo. METHODS AND MATERIALS: A partial-cylindrical intracavitary transducer consisting of 16 elements in a 4 x 4 pattern was constructed. It produced a radially propagating acoustic pressure field. Each element of this array (1.5 x 0.75 cm), operating at 1.5 MHz, could be separately powered to produce a desired energy deposition pattern within a target volume. Spatial and temporal temperature elevations were determined using the temperature-dependent proton resonant frequency (PRF) shift and phase subtraction of MR images acquired during ultrasonic heating. Four rabbits were exposed to the ultrasound to raise the local tissue temperature to 45 degrees C for 25 minutes. Six experiments compared thermocouple temperature results to PRF shift temperature results. RESULTS: The tests showed that the multi-element ultrasound applicator was MRI-compatible and allowed imaging during sonication. The induced temperature distribution could be controlled by monitoring the RF power to each transducer element. Therapeutic temperature elevations were easily achieved in vivo at power levels that were about 16% of the maximum system power. From the six thermocouple experiments, comparison between the thermocouple temperature and the PRF temperature yielded an average error of 0.34+/-0.36 degrees C. CONCLUSIONS: The MRI-compatible intracavitary applicator and driving system was able to control the ultrasound field and temperature pattern in vivo. MRI thermometry using the PRF shift can provide adequate temperature accuracy and stability for controlling the temperature distribution.     

Glycine agonists: what can they teach us about schizophrenia?

Plantar fibromatosis is a rare, benign lesion involving the plantar aponeurosis. Eleven patients (13 feet) underwent 24 operations, including local excision, wide excision, or complete plantar fasciectomy. Clinical results were evaluated retrospectively. There were no differences among the subgroups in postoperative complications. Two primary fasciectomies did not recur. Three of six revised fasciectomies, seven of nine wide excisions, and six of seven local excisions recurred. Our results indicate that recurrence of plantar fibromatosis after surgical resection can be reduced by aggressive initial surgical resection.     

Developing a culture of lifelong learning in a library environment

Between 1995 and 1996, the Annette and Irwin Eskind Biomedical Library (EBL) at Vanderbilt University Medical Center (VUMC) radically revised the model of service it provides to the VUMC community. An in-depth training program was developed for librarians, who began to migrate to clinical settings and establish clinical librarianship and information brokerage services beyond the library's walls. To ensure that excellent service would continue within the library, EBL's training program was adapted for library assistants, providing them with access to information about a wide variety of work roles and processes over a four to eight-month training period. Concurrently, customer service areas were reorganized so that any question--whether reference or circulation--could be answered at any of four service points, eliminating the practice of passing customers from person to person between the reference and circulation desks. To provide an incentive for highly trained library assistants to remain at EBL, management and library assistants worked together to redesign the career pathway based on defined stages of achievement, self-directed participation in library-wide projects, and demonstrated commitment to lifelong learning. Education and training were the fundamental principles at the center of all this activity.     

Histamine immunoreactive axons in the macaque retina

PURPOSE: The goal of these experiments was to identify the neurotransmitter in centrifugal axons of the macaque retina. METHODS: Macaca mulatta retinas and optic nerves were fixed overnight in carbodiimide and labeled with an antiserum to histamine with the use of an immunofluorescence technique. RESULTS: Several large histamine-immunoreactive axons ran from the optic nerve head to the peripheral retina, where they branched extensively and terminated in the inner plexiform layer, occasionally alongside retinal blood vessels. Other axons that emerged from the optic nerve head ran in the optic fiber layer to the central retina, circled the fovea, and then returned to the optic disc. These may be the source of histamine-immunoreactive axons that have been observed in central visual areas. No labeled cell bodies were present in the retina. Because perikarya in the posterior hypothalamus are the only known source of histamine in the primate central nervous system and because neurons there can be retrogradely labeled from the cut optic nerve, the histamine-immunoreactive axons must have originated there. CONCLUSIONS: Centrifugal axons in the macaque retina are part of the system of axons containing histamine that originate in the hypothalamus and project throughout the brain. Because the activity of these neurons is highest during the morning, histamine might play a role in preparing the retina to operate in daylight. The contacts of histamine-immunoreactive axons with blood vessels suggest that histamine may also play a role in regulating the retinal microvasculature.     

Chronic in vivo nerve electrical recordings of Aplysia californica using a boron-doped polycrystalline diamond electrode

Custom diamond electrodes for in vivo, passive electrical nerve recording were developed and implanted in an intact, freely behaving Aplysia californica. A diamond electrode may have advantages for electrical recording because of its chemical stability, higher signal-to-noise ratio, and reduced biological fouling relative to traditional nerve-recording electrode materials. For example, thin stainless steel electrodes used for chronic extracellular recording in Aplysia typically last on the order of seven days in vivo. We have developed a first-generation diamond electrode with a flexible lead to withstand the complicated movements of Aplysia and to enable direct comparison with implanted stainless steel electrodes.Boron-doped polycrystalline diamond was grown onto tungsten wire substrates by hot filament chemical vapor deposition. The wires were pre-shaped into a hook (for nerve recording) or a loop (for a ground wire) and masked for selective growth on only 2–3 mm of the wire. After diamond growth, the uncoated portion of the wire substrates was removed and the intact diamond-coated hook or loop attached to a stainless steel electrical lead with conductive epoxy. After epoxy curing, these electrodes were insulated and implanted in the animal.The diamond and stainless steel electrodes were attached extracellularly to buccal nerve 2, a primary nerve for the feeding behavior of A. californica. The two electrodes were implanted adjacent to each other so that the recordings would be nearly synchronous. In vivo recordings were successfully obtained on a diamond hook electrode during a feeding behavior for up to 9 days after the implantation. The electrode remained intact for a total of 28 days in the animal and upon retrieval.