Supporting organizational problem solving with a work station

An approach to supporting work in the office is described. Using and extending ideas from the field of artificial intelligence (AI) we describe office work as a problem-solving activity. A knowledgeembedding language called OMEGA is used to embed knowledge of the organization into an office worker's work station in order to support the office worker in problem solving. A particular approach to reasoning about change and contradiction is discussed. This approach uses OMEGA's viewpoint mechanism, which is a general contradiction-handling facility. Unlike other knowledge representation systems, when a contradiction is reached the reasons for the contradiction can be analyzed by the deduction mechanism without having to resort to search mechanisms such as a backtracking.