Fuzzy reasoning morphological operators and their optical implementation

Fuzzy-reasoning theory is widely used in industrial control. Mathematical morphology is a powerful tool to perform image processing. We apply fuzzy-reasoning theory to morphology and suggest a scheme of fuzzy-reasoning morphology, including fuzzy-reasoning dilation and erosion functions. These functions retain more fine details than the corresponding conventional morphological operators with the same structuring element. An optical implementation has been developed with area-coding and thresholding methods. (C) 1997 Optical Society of America.

Spectral properties of a double-quantum-dot structure: A causal Green's function approach

Spectral properties of a double quantum dot (QD) structure are studied by a causal Green's function (GF) approach. The double QD system is modeled by an Anderson-type Hamiltonian in which both the intra- and interdot Coulomb interactions are taken into account. The GF's are derived by an equation-of-motion method and the real-space renormalization-group technique. The numerical results show that the average occupation number of electrons in the QD exhibits staircase features and the local density of states depends appreciably on the electron occupation of the dot.

A logic for default reasoning

The need to make default assumptions is frequently encountered in reasoning about incompletely specified worlds. Inferences sanctioned by default are best viewed as beliefs which may well be modified or rejected by subsequent observations. It is this property which leads to the non-monotonicity of any logic of defaults. In this paper we propose a logic for default reasoning. We then specialize our treatment to a very large class of commonly occuring defaults. For this class we develop a complete proof theory and show how to interface it with a top down resolution theorem prover. Finally, we provide criteria under which the revision of derived beliefs must be effected.