---
title: "Integrating Problem-Solving Methods into CYC"
authors:
  - "James S. Aitken"
  - "Dimitrios Sklavakis"
doi: ""
url: "https://ijcai.org/proceedings/1999/90"
pdf: "https://ijcai.org/proceedings/1999/0090.pdf"
venue: "Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence"
year: 1999
pages: "627-632"
track: "Knowledge-based Applications"
keywords:
---

# Integrating Problem-Solving Methods into CYC

James S. Aitken, Dimitrios Sklavakis

*Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence*, pages 627-632.

## Abstract

This paper argues that the reuse of domain knowledge must be complemented by the reuse of problem-solving methods. Problem-solving methods (PSMs) provide a means to structure search, and can provide tractable solutions to reasoning with a very large knowledge base. We show that PSMs can be used in a way which complements large-scale representation techniques, and optimisations such as those for taxonomic reasoning found in Cyc. Our approach illustrates the advantages of task-oriented knowledge modelling and we demonstrate that the resulting ontologies have both task-dependent and task-independent elements. Further, we show how the task ontology can be organised into conceptual levels to reflect knowledge typing principles.