Revising deductive knowledge and stereotypical knowledge in a student model

A user/student model must be revised when new information about the user/student is obtained. But a sophisticated user/student model is a complex structure that contains different types of knowledge. Different techniques may be needed for revising different types of knowledge. This paper presents a student model maintenance system (SMMS) which deals with revision of two important types of knowledge in student models: deductive knowledge and stereotypical knowledge. In the SMMS, deductive knowledge is represented by justified beliefs. Its revision is accomplished by a combination of techniques involving reason maintenance and formal diagnosis. Stereotypical knowledge is represented in the Default Package Network (DPN). The DPN is a knowledge partitioning hierarchy in which each node contains concepts in a sub-domain. Revision of stereotypical knowledge is realized by propagating new information through the DPN to change default packages (stereotypes) of the nodes in the DPN. A revision of deductive knowledge may trigger a revision of stereotypical knowledge, which results in a desirable student model in which the two types of knowledge exist harmoniously.     

A shell for cooperating expert systems

Abstract: This paper describes a shell for cooperating expert systems that has been developed at the University of Porto. The main goal of this shell is two-fold: to generate a community of cooperative knowledge-based systems and to develop several special reasoning techniques which can be used under a distributed and cooperative paradigm. UPShell is able to convert a set of generated intelligent systems (ISs) into a community of cooperative ISs. In this first version it is already possible to generate different intelligent systems which are able to run 'simultaneously' as separate Unix processes and, using a message-passing mechanism, to communicate among themselves. They can be set to pursue an overall goal in a cooperative way. Moreover, several tasks can be given to each IS to be solved simultaneously, and the IS can switch from task to task according to dynamic priorities reflecting the urgency attached to the specific sub-tasks that emerge. The shell described here may also be used to test, within a distributed environment, some time-bounded reasoning techniques that are presently being developed. The paper has three main parts: a general overview of the UPShell (Section 1); a tutorial explaining, by means of examples, how to use the package (Section 2); and, finally, some considerations on the reasoning techniques used and future improvements (Sections 3–5).     

Study of a BGO calorimeter using electron and hadron beams from 1 to 50 GeV

A calorimeter of 25 bismuth germanate (BGO) crystals equipped with silicon photodiode readout has been tested at the CERN SPS in the energy range 1–50 GeV. The response for electrons has been shown to be linear in this energy range and the rms resolution obtained ( ) is approximately 1%, for E > 4 GeV. The electron/pion separation was found to be better than 1:500 in the energy range 1–20 GeV. Data on lateral and longitudinal shower development were compared with the results of a Monte Carlo simulation using the SLAC-EGS program and found to be in good agreement.     

A review of object orientation and knowledge processing in office models

The purpose of this paper is to provide an analysis of the alternative modelling systems for office information systems. More specifically, we are interested in identifying the current research trends of merging office modelling ideas together with concepts that owe their origin to the object-oriented paradigm and to artificial intelligence. In this respect an office model is defined as encompassing three domains: passive office objects; dynamically defined and manipulated office procedures; and goal-directed office tasks. Following this definition we exploit the potential of using the object-oriented and knowledge representation techniques for modelling each of the three domains using evidence from real-world applications.     

An improved analysis of experimental data from 125 I hot-line autoradiographs: allowing for the effects of background grains

In this paper we suggest a new statistical method of correcting the results of hot-line experiments for the effects of background sources and we use the new method to reassess the adequacy of three probability distributions proposed in the literature for image spread from line sources. The data are from sources labelled with ¹²⁵I in semi-thin resin sections 0·4-0·8 μm in thickness. The new method reveals that two of the models describe the empirical distributions more closely than earlier analysis had suggested, and it confirms an increasing relationship between half distance of image spread and the thickness of the source. However, it also confirms that considerable ‘inter hot-line’ experimental variation remains, even after background correction. This suggests that multiple experiments are needed to produce reliable estimates of half distance.     

Study of impurity induced modifications in amorphous N-type (GeSe3·5)100−x Bi x using high pressure technique

The technique of high pressure is utilized to study the carrier transport behaviour in doped and undoped bulk amorphous (GeSe_3·5)_100−x Bi _x (x=0, 2, 4, 10) down to liquid nitrogen temperature to observe impurity induced modifications in amorphous semiconductors. It is observed that pressure induced effects in lightly doped (2 at % Bi) and heavily doped (x=4, 10) semiconductors are markedly different. Results are discussed in view of the incorporation behaviour of the bismuth impurity.