ACM Transactions on Information Systems · 1983 · 82 citations · 8 references
BusinessInformation SystemsOrganizational BehaviorBusiness IntelligenceDecision Support SystemsKnowledge CaptureCitation NetworksCitation Practices
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.
8
Truth maintenance systems for problem solving
Jon Doyle · DSpace@MIT (Massachusetts Institute of Technology) · 1977 · 121 citations · Full text
Gerald Jay Sussman, Drew McDermott · 1972 · 120 citations
AMORD explicit control of reasoning
Johan de Kleer, Jon Doyle, Guy L. Steele et al. · 1977 · 73 citations · Full text