All Outputs (25)

A methodology for the elicitation of redesign knowledge. (2002)
Conference Proceeding
AHRIZ, H. and ARANA, I. 2002. A methodology for the elicitation of redesign knowledge. In Damiani, E., Howlett, R.J., Jain, L.C. and Ichalkaranje, N. (eds.) Knowledge-based intelligent information engineering systems and allied technologies: proceedings of the 6th International conference on knowledge-based intelligent information and engineering systems (KES 2002), 16-18 September 2002, Crema, Italy. Frontiers in artificial intelligence and applications, 82. Amsterdam: IOS Press.

We present MADAM, a methodology which allows the elicitation, capture, analysis and management of redesign knowledge. This area is characterised by the high reusability of problem solutions and is represented using three views: physical, functional a... Read More about A methodology for the elicitation of redesign knowledge..

A step toward reusable model fragments. (2001)
Conference Proceeding
AHRIZ, H. and TOMASENA, M. 2001. A step toward reusable model fragments. In Proceedings of the 2001 International conference on computational intelligence for modeling control and automation (CIMCA 2001), 9-11 July 2001, Las Vegas, USA. New York: IEEE, pages 559-566.

In this paper we describe a system to elaborate models which are suitable for model based reasoning. A set of model fragments selected from a library will be put together to build a model candidate. The system relies on the bond graph notation, which... Read More about A step toward reusable model fragments..

Verification of redesign models: a CSP approach. (2001)
Conference Proceeding
ARANA, I. and AHRIZ, H. 2001. Verification of redesign models: a CSP approach. In Culley, S. (ed.) Proceedings of the 13th International conference on engineering design (ICED'01), 21-23 August 2001, Glasgow, UK. Zurich: Professional Engineering Publishing, pages 283-290.

One of the initial stages in the manufacturing of an article is the production of a design which satisfies a set of user requirements. Much of the design work carried out in manufacturing companies can be classified as redesign, i.e. producing a new... Read More about Verification of redesign models: a CSP approach..

Modeling as a fragment assembling process. (1999)
Conference Proceeding
AHRIZ, H. and TOMASENA, M. 1999. Modeling as a fragment assembling process. In Price, C. (ed.) Proceedings of the 13th International workshop on qualitative reasoning (QR99), 6-9 June 1999, Loch Awe, UK. Evanston, IL: Qualitative Reasoning Group [online], pages 1-10. Available from: http://www.qrg.northwestern.edu/papers/Files/qr-workshops/QR99/Ahriz_1999_Modeling_Fragment_Assembling_Process.pdf

Model based reasoning about physical systems deals with diagnosis, supervision, interpretation, explanation, etc. Most of the contributions to this domain do not pay much attention to model construction, and it was generally accepted that a model was... Read More about Modeling as a fragment assembling process..

Automatic modelling for diagnosis. (1997)
Conference Proceeding
AHRIZ, A. and XIA, S. 1997. Automatic modelling for diagnosis. In Ironi, L. (ed.) Proceedings of the 11th International workshop on qualitative reasoning (QR97), 3-6 June 1997, Cortona, Italy. Pavia: Istituto di Analisi Numerica [online], pages 3-12. Available from: http://www.qrg.northwestern.edu/papers/Files/qr-workshops/QR97/Ahriz_1997_Automatic_Modelling_Diagnosis.pdf

Much of the past work on fault diagnosis did not pay enough attention to model construction and its important role in aiding problem solving. It was generally accepted that a model was available or was assumed to be present in a certain format before... Read More about Automatic modelling for diagnosis..