An exact meet in a lattice is a special type of infimum characterized by, inter alia, distributing over finite joins. In frames, the requirement that a meet is preserved by all frame homomorphisms makes for a slightly stronger property. In this paper these concepts are studied systematically, starting with general lattices and proceeding through general frames to spatial ones, and finally to an...

" By giving a name to something, you acquire power over it " (one of " Scott's Laws " proposed by the late Professor Bernard Scott, Sussex University)

We have recently synthesized [Ni (MAP) ] complex [H-MAP= 2- (methylamino) pyridine]. 2- (Methy1amino)pyridine reacts with MeLi in THF and generates the lithium salt (Li-MAP). Further reaction of NiCl with two equivalent of this ligand in THF leads to the formation of a dark red solution. Analytical data, molecular weight, and magnetic susceptibility of this complex confirm the formula [N...

Behavior Representations for Self-Assessment Scott A. Wallace Washington State University Vancouver 14204 NE Salmon Creek Ave. Vancouver, WA 98686 [email protected]

The study of knowledge has always been one of the central issues of the AI research. The general belief has been that "the more you have it the better you are." It was well understood that incorrect knowledge is harmful and should be avoided, but correct knowledge had been mostly considered beneficial. The potential harmfulness of correct knowledge received attention in very few early works but...