International Symposium on Methodologies for Intelligent Systems (7th 1993 Trondheim, Norway)