All Outputs (520)

Inference fusion: a hybrid approach to taxonomic reasoning. (2003)
Conference Proceeding
HU, B., COMPATANGELO, E. and ARANA, I. 2003. Inference fusion: a hybrid approach to taxonomic reasoning. In Russell, I. and Haller, S. (eds.) Proceedings of the 16th International conference of the Florida Artificial Intelligence Research Society (FLAIRS 2003), 12-14 May 2003, St. Augustine, USA. Palo Alto: AAAI Press [online], pages 103-107. Available from: https://aaai.org/Papers/FLAIRS/2003/Flairs03-021.pdf

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 reasoner with results from a... Read More about Inference fusion: a hybrid approach to taxonomic reasoning..

Facilitating DL-based hybrid reasoning with inference fusion. (2003)
Conference Proceeding
HU, B., ARANA, I. and COMPATANGELO, E. 2003. Facilitating DL-based hybrid reasoning with inference fusion. In Bramer, M., Preece, A. and Coenen, F. (eds.) Research and development in intelligent systems XIX: proceedings of the 22nd British Computer Society's Specialist Group on Artificial Intelligence (SGAI) international conference on knowledge based systems and applied artificial intelligence (ES2002), 10-12 December 2002, Cambridge, UK. London: Springer [online], pages 91-104. Available from: https://doi.org/10.1007/978-1-4471-0651-7_7

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 from a DL-based system with result... Read More about Facilitating DL-based hybrid reasoning with inference fusion..

Infusion: a hybrid reasoning system with description logics. (2003)
Conference Proceeding
HU, B., COMPATANGELO, E. and ARANA, I. 2003. Infusion: a hybrid reasoning system with description logics. In Hamza, M.H. (ed.) Proceedings of the 2003 International Association of Science and Technology for Development (IASTED) international conference on artificial intelligence and applications (AIA 2003), 8-10 September 2003, Benalmadena, Spain. Calgary: ACTA Press [online], pages 327-332. Available from: http://www.actapress.com/Content_of_Proceeding.aspx?proceedingID=237

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 systems. More specifically, ou... Read More about Infusion: a hybrid reasoning system with description logics..

Classifying document titles based on information inference. (2003)
Conference Proceeding
SONG, D., BRUZA, P., HUANG, Z. and LAU, R.Y.K. 2003. Classifying document titles based on information inference. In Zhong, N., Ras, Z.W., Tsumoto, S. and Suzuki, E. (eds.) Foundations of intelligent systems: proceedings of the 14th International symposium on methodologies for intelligent systems (ISMIS 2003), 28-31 October 2003, Maebashi City, Japan. Lecture notes in computer science, 2871. Berlin: Springer [online], pages 297-306. Available from: https://doi.org/10.1007/978-3-540-39592-8_41

We propose an intelligent document title classification agent based on a theory of information inference. The information is represented as vectorial spaces computed by a cognitively motivated model, namely Hyperspace Analogue to Language (HAL). A co... Read More about Classifying document titles based on information inference..

Back to the future: a logical framework for temporal information representation and inferencing from financial news. (2003)
Conference Proceeding
HUANG, Z., WONG, K.-F., LI, W., SONG, D. and BRUZA, P. 2003. Back to the future: a logical framework for temporal information representation and inferencing from financial news. In Zong, C. (ed.) Proceedings of the 2003 International conference on natural language processing and knowledge engineering (NLP-KE 2003), 26-29 October 2003, Beijing, China. New York: IEEE [online], article number 1275875, pages 95-101. Available from: https://doi.org/10.1109/NLPKE.2003.1275875

Temporal information carries information about changes and time of the changes. Consider a company investing in another company. The former may choose to inject the money gradually with the amount and frequency depending on the performance of the lat... Read More about Back to the future: a logical framework for temporal information representation and inferencing from financial news..

A virtual learning environment for introductory programming. (2002)
Conference Proceeding
ALLISON, I., ORTON, P. and POWELL, H. 2002. A virtual learning environment for introductory programming. In Proceedings of the 3rd Conference of the Learning and Teaching Support Network: Subject Centre of Information and Computer Sciences (LTSN-ICS 2002), 27-29 August 2002, Loughborough, UK. Loughborough: Loughborough University, pages 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 and requirements. These f... Read More about A virtual learning environment for introductory programming..

Coordinated reasoning with inference fusion. (2002)
Conference Proceeding
HU, B., COMPATANGELO, E. and ARANA, I. 2002. Coordinated reasoning with inference fusion. 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, pages 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 specifically, our approach integrates... Read More about Coordinated reasoning with inference fusion..

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..

Inferring query models by computing information flow. (2002)
Conference Proceeding
BRUZA, P.D. and SONG, D. 2002. Inferring query models by computing information flow. In Proceedings of the 11th Association for Computing Machinery (ACM) international conference on information and knowledge management (CIKM'02), 4-9 November 2002, McLean, USA. New York: ACM [online], pages 260-269. Available from: https://doi.org/10.1145/584792.584837

The language modelling approach lo information retrieval can also be used lo compute query models. A query model can be envisaged as an expansion of an initial query. The more prominent query models in the literature have a probabilistic basis. This... Read More about Inferring query models by computing information flow..

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..

Discovering information flow using a high dimensional conceptual space. (2001)
Conference Proceeding
SONG, D. and BRUZA, P. 2001. Discovering information flow using a high dimensional conceptual space. In Proceedings of the 24th Annual international Association of Computing Machinery Special Interest Group on Information Retrieval (ACM SIGIR) conference on research and development in information retrieval (SIGIR'01), 9-13 September 2001, Louisiana, USA. New York: ACM [online], pages 327-333. Available from: https://doi.org/10.1145/383952.384017

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ärdenforss recent three-level cognitive model. The connec... Read More about Discovering information flow using a high dimensional conceptual space..

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..

Multi-objective optimisation of cancer chemotherapy using evolutionary algorithms. (2001)
Conference Proceeding
PETROVSKI, A. and MCCALL, J. 2001. Multi-objective optimisation of cancer chemotherapy using evolutionary algorithms. In Zitzler, E., Thiele, L., Deb, K., Coello Coello, C.A. and Corne, D. (eds.) Proceedings of the 1st International conference on evolutionary multi-criterion optimization (EMO 2001), 7-9 March 2001, Zurich, Switzerland. Lecture notes in computer science, 1993. Berlin: Springer [online], pages 531-545. Available from: https://doi.org/10.1007/3-540-44719-9_37

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 one objective in mind. As a result o... Read More about Multi-objective optimisation of cancer chemotherapy using evolutionary algorithms..

Debugging knowledge-based applications with a generic toolkit. (2000)
Conference Proceeding
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 (ICTAI 2000), 13-15 November 2000, Vancouver, Canada. New York: IEEE [online], article number 889866, pages 182-185. Available from: https://doi.org/10.1109/TAI.2000.889866

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 refinement systems target a single she... Read More about Debugging knowledge-based applications with a generic toolkit..

Self-optimising CBR retrieval. (2000)
Conference Proceeding
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 (ICTAI 2000), 13-15 November 2000, Vancouver, Canada. New York: IEEE [online], article number 889897, pages 376-383. Available from: https://doi.org/10.1109/TAI.2000.889897

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 effort may be demanding. In this paper we present a tool which helps to reduce... Read More about Self-optimising CBR retrieval..

Applying genetic algorithms to multi-objective land use planning. (2000)
Conference Proceeding
MATTHEWS, K.B., CRAW, S., ELDER, S., SIBBALD, A.R. and MACKENZIE, I. 2000. Applying genetic algorithms to multi-objective land use planning. In Whitley, L.D., Goldberg, D.E., Cantú-Paz, E., Spector, L., Parmee, I.C. and Beyer, H.-G. (eds.) Proceedings of the 2000 Genetic and evolutionary computation conference (GECCO 2000): joint meeting of the 9th International conference on genetic algorithms (ICGA-2000), and the 5th Annual genetic programming conference (GP-2000), 10-12 July 2000, Las Vegas, USA. San Francisco: Morgan Kaufmann, pages 613-620.

This paper explores the application of multi-objective genetic algorithms (mGAs) to rural land-use planning, a spatial allocation problem. Two mGAs are proposed. Both share an underlying structure of: fitness assignment using Pareto-dominance ranking... Read More about Applying genetic algorithms to multi-objective land use planning..

Representing problem-solving for knowledge refinement. (1999)
Conference Proceeding
CRAW, S. and BOSWELL, R. 1999. Representing problem-solving for knowledge refinement. In Proceedings of the 16th American Association for Artificial Intelligence national conference on artificial intelligence (AAAI-99), co-located with the 11th Annual conference on innovative applications of artificial intelligence (IAAI-99), 18-22 July 1999, Orlando, USA. Palo Alto: AAAI Press, pages 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 from which specialised refineme... Read More about Representing problem-solving for knowledge refinement..

Fundamental properties of aboutness. (1999)
Conference Proceeding
BRUZA, P., SONG, D. and WONG, K.-F. 1999. Fundamental properties of aboutness. In Proceedings of the 22nd Association of Computing Machinery Special Interest Group on Information Retrieval (ACM SIGIR) annual international conference on research and development in information retrieval (SIGIR'99), 15-19 August 1999, Berkeley, USA. New York: ACM [online], pages 277-278. Available from: https://doi.org/10.1145/312624.312696

Information retrieval (IR) is a reasoning process which is assumed to be driven by determining aboutness between two information carriers (i.e. document and query). This, the study of aboutness will be very helpful to set up the theoretical foundatio... Read More about Fundamental properties of aboutness..

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..