Integrating Problem-Solving Methods into CYC
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence. Knowledge-based Applications. 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.
@inproceedings{ijcai1999p90,
title = {Integrating Problem-Solving Methods into CYC},
author = {Aitken, James S. and Sklavakis, Dimitrios},
booktitle = {Proceedings of the Sixteenth International Joint Conference on
Artificial Intelligence, {IJCAI-99}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Thomas Dean},
pages = {627--632},
year = {1999},
note = {Knowledge-based Applications},
url = {https://ijcai.org/proceedings/1999/90},
}
TY - CPAPER TI - Integrating Problem-Solving Methods into CYC AU - Aitken, James S. AU - Sklavakis, Dimitrios T2 - Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99 PB - International Joint Conferences on Artificial Intelligence PY - 1999 SP - 627 EP - 632 UR - https://ijcai.org/proceedings/1999/90 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
