Abstract
The Sisyphus-I problem is a room allocation problem used as a common testbed to compare different knowledge acquisition and problem solving methodologies. This paper shows how it can be represented and solved using conceptual graphs (CGs). Since CGs offer a graphical representation of knowledge for, among other things, facts, constraints and goals, this paper shows how the subsumption relation defined on CGs help reformulate the problem in terms of a classification problem. It also shows how a graphical representation of this classification structure can be helpful in the generation of explanations pertaining to the behavior of the system, or as support to a knowledge engineer who must assist the system in its task. Thus we claim that such a classification structure, which can be visualized, may contribute: 1) to solving the problem, 2) to keeping track of the behavior of the system, and 3) to interpreting possible solutions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mineau, G.W. & Missaoui, R.: The Representation of Semantic Constraints in CG Systems. In: Lukose, D., Delugach, H., Keeler, M., Searle, L., Sowa, J.F. (eds.): Lecture Notes in Artificial Intelligence, vol. 1257. Springer-Verlag, (1997) 138–152
Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, (1984)
Mineau, G.W., Missaoui, R.: Semantic Constraints in Conceptual Graph Systems. DMR Consulting Group. R&D Division. Internal Report #960611 A. (1996)
Mineau, G.W.: Constraints on Processes: Essential Elements for the Validation and Execution of Processes. In this issue, (1999)
Mugnier, M.-L. & Chein, M.: Représenter des connaissances et raisonner avec des graphes, Revue d’Intelligence Artificielle, vol. 10–1. (1996) 7–56
Mineau, G.W.: Induction on Conceptual Graphs: Finding Common Generalizations and Compatible Projections. In: Nagle, T., Nagle, J., Gerholz, L., Eklund, P. (eds.): Conceptual Structures: current research and practice. Ellis Horwood, (1992) 295–310
Miranda, C.J.: Interface graphique pour l’acquisition de descriptions conceptuelles à partir de plans architecturaux. M.Sc. dissertation. Dept. of Computer Science, Université Laval, (1996)
Levinson, R.: USD: A Universal Data Structure. In: Lecture Notes in Artificial Intelligence, vol. 835. Springer-Verlag, (1994) 230–250
Ellis, G.: Efficient Retrieval from Hierarchies of Objects Using Lattice Operations. In: Lecture Notes in Artificial Intelligence, vol. 699. Springer-Verlag, (1993) 274–293
Ellis, G. & Lehmann, F.: Exploiting the Induced Order on Type-Labeled Graphs for Fast Knowledge Retrieval. In: Lecture Notes in Artificial Intelligence, vol. 835. Springer-Verlag, (1994) 293–310
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mineau, G.W. (1999). Constraints and Goals under the Conceptual Graph Formalism: One Way to Solve the SCG-1 Problem. In: Tepfenhart, W.M., Cyre, W. (eds) Conceptual Structures: Standards and Practices. ICCS 1999. Lecture Notes in Computer Science(), vol 1640. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48659-3_21
Download citation
DOI: https://doi.org/10.1007/3-540-48659-3_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66223-5
Online ISBN: 978-3-540-48659-6
eBook Packages: Springer Book Archive