Abstract
A taxonomic reasoning procedure, able to deal with a class of configuration tasks is introduced and it is discussed in the case of personal computer configuration. The procedure uses as building blocks the basic mechanisms, i.e. subsumption test and classification, of Querelle a terminological knowledge representation language. Limits and related works are addressed.
This work has been partially supported by the Italian National Research Council, under Progetto Finalizzato Informatica: “Sistemi Informatici e Calcolo Parallelo”
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Attardi G. et al., Building Expert Systems with Omega, Tech. Rep. ESP/85/2-3, DELPHI SpA, 1985.
Attardi G. et al., Taxonomic Reasoning, Proc. of the European Conference on Artificial Intelligence, ECAI-86, Brighton, UK, 1986.
Bagnasco C., Petrin P. and Spampinato L., Configuring with Querelle, Technical report 7/xx (minor number to be assigned), CNR: Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, sottoprogetto 7, 1991
Brachman R.J., Fikes R.E. and Levesque H.J., KRYPTON a functional approach to knowledge representation, IEEE Computer, 16 (10):67–73, 1983
Brachman R.J., Schmolze J.G., An overview of the KL-ONE representation system, Cognitive Science, 9:171–216, 1985
Damiani M., Bottarelli S., A Terminologicalal Approach to Business Domain Modelling, Proc. of DEXA 90, Vienna, Austria, August 90
Decio E., Petrin P. and Spampinato L., Pushing the terminological barrier, in M. Lenzerini and M. Simi (eds.) Inheritance in Knowledge Representation and Programming Languages, Wiley, 1990.
Decio E., Spampinato L., Gilardoni L., QSL 4.2 Report, Quinary Technical Report, Quinary Spa, 1990
Doyle J., Patil R.S., Two Dogmas of Knowledge Representation, MIT/LCS/TM-387.b, MIT, MA, 1989
Maes P. and Nardi D. (eds.), Meta-level architectures and reflection, North Holland, 1988.
Mays E., Apté C., Griesmer G., Kastner J., Organizing Knowledge in a Complex Financial Domain, IEEE Expert, n. 2, 61–70, Fall 1987.
McDermott J., R1: A Rule-Based Configurer of Computer systems, Artificial Intelligence, Vol 19, No. 1, September 1982
Mittal S., and Frayman F., Making Partial Choices in Constraint Reasoning Problems, Proceedings of 6th National Conference on Artificial Intelligence, Seattle, Washington, 1987 (a)
Frayman F., Mittal S., Cossack: a constraint-based expert system for configuration tasks, Proceedings of the 2nd international Conference on Application of AI to Engineering, Boston, MA., August 1987(b)
Owsnicky-Klewe B., Configuration as Consistency Maintenance Task, Proceeding of the 12th German Workshop on Artificial Intelligence, Berlin 1988
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bagnasco, C., Petrin, P., Spampinato, L. (1991). Taxonomic reasoning in configuration tasks. In: Ardizzone, E., Gaglio, S., Sorbello, F. (eds) Trends in Artificial Intelligence. AI*IA 1991. Lecture Notes in Computer Science, vol 549. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54712-6_228
Download citation
DOI: https://doi.org/10.1007/3-540-54712-6_228
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54712-9
Online ISBN: 978-3-540-46443-3
eBook Packages: Springer Book Archive