The Unification Tutor is experimental Intelligent Tutoring System for the domain of the unification of Prolog terms. It demonstrates the interactive use of Feature-Based Modelling an approach to cognitive modelling that has been presented at previous ASCILITE Conferences (Webb, 1988b.) The Unification Tutor has been used by Third Year Computer Science students at La Trobe University during Sept...

This paper deals with the development and analysis of an efficient, evolutionary, intelligent, data-based, mathematical modelling method for complex non-linear systems. A new hybrid evolutionary method using genetic programming (GP) and evolutionary programming approaches is proposed. The potentials of the hybrid method for modelling complex, dynamic systems including single and two-link terres...

The paper presents SQL-Tutor, an intelligent teaching system for SQL programming. SQL-Tutor is designed as a guided discovery learning environment and supports problem solving, conceptual and meta-learning. The system uses Constraint-Based Modelling to form models of its students. We present design issues by focusing on the system's architecture. Student modelling and the generation of pedagogi...

Current user interfaces are very complex with a large number of functions. Intelligent user interfaces try to help the users performing their tasks. We describe how (Horvitz et al. 1998) construct and created a user model to meet the different challenges which exist. Building on this, we first look how (Hui & Boutilier 2006) model the user’s features explicitly to suggest help based on the user...

This paper discusses an intelligent system .that uses Input/ Output Cognitive Modelling (IOCM) techniques to form a model of the student. The paper describes FBM, an IOCM system that uses features to represent the inputs and outputs of the tasks being presented to the student and forms a relationship which describes in essence the knowledge the student has in the domain. Also presented is ASPMo...

The paper is dealing with new object-oriented concept of the mechatronics modelling methodology, focusing to the early design phase. The idea is based on the artificial intelligent methods, particularly genetics algorithms. Genetic algorithms are used to calculate different solution for given problem. The engineering problem is defined by Unified Modelling Language. The aim of the developed met...

Accounting reports are an important source of information for managers, investors, creditors, and financial analysts. Moreover, developments in the capital markets and in information technology have emphasised the importance of reliable accounting information. Computerised bookkeeping provides more timely and exact information than manual bookkeeping. The auditor’s task is to inspect the reliab...

V

This paper presents a comprehensive conceptual framework and notation for learner modelling in intelligent tutoring systems. The framework is based upon the computational distinction between behaviour, behavioural knowledge, and conceptual knowledge (in a 'vertical' dimension) and between the system, the learner, and the system's representation of the learner (in a 'horizontal' dimension). All ...

Multiagent systems are characterized by decentralized control and agents that perform autonomous actions. The sequence of such actions are generally described by plans. An important issue in this context is how to verify the correctness of plans when agents have unpredicted actions. In this paper, formal modelling and verification guidelines to verify nondeterministic multiagent system plans ar...