Now showing items 1-20 of 158

  • Automatic modelling for diagnosis. 

    Ahriz, Hatem; Xia, S. (Istituto di Analisi Numerica http://www.qrg.northwestern.edu/papers/Files/qr-workshops/QR97/Ahriz_1997_Automatic_Modelling_Diagnosis.pdf, 1997-06-03)
    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 ...
  • Modeling as a fragment assembling process. 

    Ahriz, Hatem; Tomasena, M. (Qualitative Reasoning Group http://www.qrg.northwestern.edu/papers/Files/qr-workshops/QR99/Ahriz_1999_Modeling_Fragment_Assembling_Process.pdf, 1999-06-01)
    AHRIZ, H. and TOMASENA, M. 1999. Modeling as a fragment assembling process. In Price, C. (ed), the Proceedings of the 13th international workshop on qualitative reasoning (QR99), 6-9 June 1999, Loch Awe, UK. Illinois: 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 ...
  • Fundamental properties of aboutness. 

    Bruza, Peter D.; Song, Dawei; Wong, Kam-Fai (ACM Press http://doi.acm.org/10.1145/312624.312696, 1999-08)
    BRUZA, P. D., SONG, D. and WONG, K. F., 1999. Fundamental properties of aboutness. In: Proceedings of the Twenty-Second Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval (SIGIR99). 15-19 August 1999. New York: ACM Press. pp. 277-278.
  • Representing problem-solving for knowledge refinement. 

    Craw, Susan; Boswell, Robin (AAAI (distributed by MIT Press), 1999-09)
    CRAW, S. and BOSWELL, R. 1999. Representing problem-solving for knowledge refinement. In: AMERICAN ASSOCIATION FOR ARTIFICIAL INTELLIGENCE. AAAI-99. Proceedings of the Sixteenth National Conference on Artificial Intelligence and The Eleventh Annual Conference on Innovative Applications of Artificial Intelligence. 18-22 July 1999. Orlando, Florida. pp. 227-234
    Knowledge refinement tools seek to correct faulty knowledge based systems (KBSs) by identifying and repairing potentially faulty rules. The goal of the KrustWorks project is to provide a source of refinement components ...
  • Applying genetic algorithms to multi-objective land use planning 

    Matthews, Keith B.; Craw, Susan; Elder, S.; Sibbald, A.; MacKenzie, I. (Morgan Kaufmann (now Elsevier) http://www.elsevier.com, 2000-07)
    MATTHEWS, K., CRAW, S., ELDER, S., SIBBALD, A. and MACKENZIE, I. 2000. Applying genetic algorithms to multi-objective land use planning. In: Proceedings of the Genetic and Evolutionary Computation Conference. 8-12 July 2000. Las Vegas, Nevada: Riviera Hotel and Casino. pp.613-620.
    This paper explores the application of multiobjective Genetic Algorithms (mGAs) to rural land use planning, a spatial allocation problem. Two mGAs are proposed. Both share an underlying structure of: fitness assignment ...
  • Self-optimising CBR retrieval 

    Jarmulak, Jacek; Craw, Susan; Rowe, Ray (IEEE, 2000-11)
    JARMULAK, J., CRAW, S. and ROWE, R. 2000. Self-optimising CBR retrieval. In: Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence. 13-15 November 2000. Vancouver, Canada. pp.376-383.
    One reason why Case-Based Reasoning (CBR) has become popular is because it reduces development cost compared to rule-based expert systems. Still, the knowledge engineering effortmay be demanding. In this paper we ...
  • Debugging knowledge-based applications with a generic toolkit 

    Craw, Susan; Boswell, Robin (IEEE, 2000-11)
    CRAW, S. and BOSWELL, R. 2000. Debugging knowledge-based applications with a generic toolkit. In: Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence. 2000. Vancouver, Canada. pp182-185.
    Knowledge refinement tools assist in the debugging and maintenance of knowledge based systems (KBSs) by attempting to identify and correct faults in the knowledge that account for incorrect problem-solving. Most ...
  • A step toward reusable model fragments. 

    Ahriz, Hatem; Tomasena, M. (IEEE Computer Society., 2001)
    AHRIZ, A. and TOMASENA, M., 2001. A step toward reusable model fragments. In: Proceedings of the International Conference on computational Intelligence for Modeling Control and Automation (CIMCA ‘2001). 9-11 July 2001. Las Vegas, USA. Pp. 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 ...
  • Multi-objective optimisation of cancer chemotherapy using evolutionary algorithms. 

    Petrovski, Andrei; McCall, John (Springer http://dx.doi.org/10.1007/3-540-44719-9, 2001)
    PETROVSKI, A. and MCCALL, J., 2001. Multi-objective optimisation of cancer chemotherapy using evolutionary algorithms. In: ZITZLEF, E., DEB, K., THIELE, L., COELLO, C. and CORNE, D. Evolutionary Multi-criterion Optimization : First International Conference, EMO 2001, Zurich, Switzerland, March 2001 : Proceedings. Berlin: Springer. pp. 531-545.
    The main objectives of cancer treatment in general, and of cancer chemotherapy in particular, are to eradicate the tumour and to prolong the patient survival time. Traditionally, treatments are optimised with only ...
  • Verification of redesign models: a CSP approach. 

    Arana, Ines; Ahriz, Hatem (Professional Engineering Publishing, 2001-08-21)
    ARANA, I. and AHRIZ, H. 2001. Verification of redesign models: a CSP approach. In the Proceedings of the 13th international conference on engineering design (ICED'01), 21-23 August 2001, Glasgow, UK. Glasgow: 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 ...
  • Discovering information flow using a high dimensional conceptual space. 

    Song, Dawei; Bruza, Peter D. (ACM Press. http://doi.acm.org/10.1145/383952.384017, 2001-09)
    SONG, D. and BRUZA, P. D., 2001. Discovering information flow using a high dimensional conceptual space. In: Proceedings of the 24th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. 9-13 September 2001. New York: ACM. pp. 327-333.
    This paper presents an informational inference mechanism realized via the use of a high dimensional conceptual space. More specifically, we claim to have operationalized important aspects of Gärdenfors’s recent three-level ...
  • CSP - there is more than one way to model it. 

    Renker, Gerrit; Ahriz, Hatem; Arana, Ines (Springer-Verlag, 2002)
    RENKER, G., AHRIZ, H. and ARANA, I., 2002. CSP – there is more than one way to model it. In: A. PREECE, F. COENEN and M. BRAMER eds. Research and development in intelligent systems XIX. Proceedings of ES2002, the twenty-second SGAI international conference on knowledge based systems and applied artificial intelligence. 10-12 December 2002. Cambridge, UK. pp. 395-408.
    In this paper, we present an approach for conceptual modelling of con- straint satisfaction problems (CSP). The main objective is to achieve a similarly high degree of modelling support for constraint problems as it is ...
  • A virtual learning environment for introductory programming. 

    Allison, Ian K.; Orton, Paul; Powell, Heather (Higher Education Academy Subject Centre for Information and Computer Sciences (HEA-ICS), 2002)
    ALLISON, I., ORTON, P. and POWELL, H., 2002. A virtual learning environment for introductory programming. In: Proceedings of the 3rd Conference of the LTSN-ICS. 27-29 August 2002. Loughborough: Loughborough University. Pp. 48-52.
    Teaching of initial programming is a significant pedagogical problem for computing departments. It is shown that by understanding the changing characteristics of computing students helps to identify their learning approaches ...
  • Coordinated reasoning with inference fusion. 

    Hu, Bo; Compatangelo, Ernesto; Arana, Ines (IOS Press, 2002-09)
    HU, B., COMPATANGELO, E. and ARANA, I. 2002. Coordinated reasoning with inference fusion. In: E. DAMIANI, R. J. HOWLETT, L. C. JAIN and N. ICHALKARANJE, eds. Knowledge-based intelligent information engineering systems and allied technologies. Proceedings of KES 2002. 16-18 September 2002, Crema, Italy. Pp. 156-160.
    We discuss a new approach which uses inference fusion, i.e. the cooperative reasoning from distributed heterogeneous inference systems, in order to extend the scope of deductions based on description logics. More ...
  • A methodology for the elicitation of redesign knowledge. 

    Ahriz, Hatem; Arana, Ines (IOS Press, 2002-09)
    AHRIZ, H. and ARANA, I. 2002. A methodology for the elicitation of redesign knowledge. In: E. DAMIANI, R. J. HOWLETT, L. C. JAIN and N. ICHALKARANJE, eds. Knowledge-based intelligent information engineering systems and allied technologies. Proceedings of KES 2002. 16-18 September 2002, Crema, Italy. Pp. 156-160.
    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 ...
  • Inferring query models by computing information flow. 

    Bruza, Peter D.; Song, Dawei (ACM Press, 2002-11)
    BRUZA, P. D. and SONG, D., 2002. Inferring query models by computing information flow. In: Proceedings of the 11th International ACM Conference on Information and Knowledge Management (CIKM 2002). 4-9 November 2002. New York: ACM Press. pp. 260-269.
    The language modelling approach to information retrieval can also be used to compute query models. A query model can be envisaged as an expansion of an initial query. The more prominent query models in the literature ...
  • Facilitating DL-based hybrid reasoning with inference fusion. 

    Hu, Bo; Arana, Ines; Compatangelo, Ernesto (Springer-Verlag, 2002-12)
    HU, B., ARANA, I. and COMPATANGELO, E. 2002. Facilitating DL-based hybrid reasoning with inference fusion. In: M. BRAMER and A. PREECE eds. Research and Development in Intelligent Systems XIX: Proceedings of ES2002, the Twenty-second SGAI International Conference on Knowledge Based Systems and Applied Artificial Intelligence. December 2002. Cambridge. pp. 91- 104.
    We present an extension to DL-based taxonomic reasoning by means of the proposed inference fusion, i.e. the dynamic combination of inferences from distributed heterogeneous reasoners. Our approach integrates results ...
  • Infusion: a hybrid reasoning system with description logics. 

    Hu, Bo; Compatangelo, Ernesto; Arana, Ines (ACTA Press http://www.actapress.com/Content_of_Proceeding.aspx?proceedingid=237, 2003)
    HU, B., COMPATANGELO, E. and ARANA, I., 2003. Infusion fusion: a hybrid reasoning system with description logics. Third IASTED International Conference on Artificial Intelligence and Applications. 8-10 September 2003. Benalmadena, Spain. Pp. 327-332.
    We discussed a new approach using inference fusion, i.e. the cooperative reasoning from distributed heterogeneous inference systems, to extend the expressive and deductive powers of existing Description Logic (DL) based ...
  • Inference fusion: a hybrid approach to taxonomic reasoning. 

    Hu, Bo; Compatangelo, Ernesto; Arana, Ines (AAAI, 2003)
    HU, B., ARANA, I. and COMPATANGELO, E., 2003. Inference fusion: a hybrid approach to taxonomic reasoning. In: I. RUSSELL and S. HALLER, eds. Proceedings of the 16th International FLAIRS conference. 12-14 May 2003. St. Augustine, Florida: AAAI. pp. 103-107.
    We present a hybrid way to extend taxonomic reasoning using inference fusion, i.e. the dynamic combination of inferences from distributed heterogeneous reasoners. Our approach integrates results from a DL-based taxonomic ...
  • An approach to evolvable neural functionality. 

    Capanni, Niccolo Francesco; Macleod, Christopher; Maxwell, Grant M. (Springer, 2003)
    CAPANNI, N., MACLEOD, C. and MAXWELL, G., 2003. An approach to evolvable neural functionality. In: O. KAYNAK, E. ALPAYDIN, E. OJA and L. XU, eds. Artificial neural networks and neural information processing – supplementary proceedings ICANN/ICONIP 2003. 26-29 June 2003. Istanbul, Turkey. pp. 220- 223.
    This paper outlines a neural model, which has been designed to be flexible enough to assume most mathematical functions. This is particularly useful in evolutionary networks as it allows the network complexity to increase ...