In general, the least fixed point of a positive elementary inductive definition over the Herbrand universe is Π 1 and has no computational meaning. The finite stages, however, are computable, since validity of equality formulas in the Herbrand universe is decidable. We set up a formal system BID for the finite stages of positive elementary inductive definitions over the Herbrand universe and sh...

An hypothesis of functional transfer of task knowledge is presented that requires the development of a measure of task relatedness and a method of sequential learning. The task rehearsal method (TRM) is introduced to address the issues of sequential learning, namely retention and transfer of knowledge. TRM is a knowledge based inductive learning system that uses functional domain knowledge as a...

Recent evidence suggests that interleukin-1beta (IL-1beta), which was originally identified as a proinflammatory cytokine, is also required in the brain for memory processes. We have previously shown that IL-1beta synthesis in the hippocampus is dependent on P2X(7) receptor (P2X(7)R), which is an ionotropic receptor of ATP. To substantiate the role of P2X(7)R in both brain IL-1beta expression a...

Inductive magnetic probes are often used to measure oscillating magnetic fields in plasma.r3 The sensitivity of a magnetic probe to electrostatic potentials (“capacitive pickup”) is usually an important consideration. Centertapped construction of such a probe, shown in Fig. 1 (b), helps to minimize capacitive pickup with respect to a simply wound probe [Fig. 1 (a)]. This relies on the fact that...

Previous models of category-based induction have neglected how the process of induction unfolds over time. We conceive of induction as a dynamic process and provide the first fine-grained examination of the distribution of response times observed in inductive reasoning. We used these data to develop and empirically test the first major quantitative modeling scheme that simultaneously accounts f...