19,096 research outputs found
Enhancing Workflow with a Semantic Description of Scientific Intent
Peer reviewedPreprin
Managing healthcare workflows in a multi-agent system environment
Whilst Multi-Agent System (MAS) architectures appear to offer a more flexible model for designers and developers of complex, collaborative information systems, implementing real-world business processes that can be delegated to autonomous agents is still a relatively difficult task. Although a range of agent tools and toolkits exist, there still
remains the need to move the creation of models nearer to code generation, in order that the development path be more rigorous and repeatable. In particular, it is essential that complex organisational
process workflows are captured and expressed in a way that MAS can successfully interpret. Using a complex social care system as an exemplar, we describe a technique whereby a business process is
captured, expressed, verified and specified in a suitable format for a healthcare MAS.</p
Case-based analysis in user requirements modelling for knowledge construction
Context: Learning can be regarded as knowledge construction in which prior knowledge and experience
serve as basis for the learners to expand their knowledge base. Such a process of knowledge construction
has to take place continuously in order to enhance the learners’ competence in a competitive working
environment. As the information consumers, the individual users demand personalised information provision
which meets their own specific purposes, goals, and expectations.
Objectives: The current methods in requirements engineering are capable of modelling the common
user’s behaviour in the domain of knowledge construction. The users’ requirements can be represented
as a case in the defined structure which can be reasoned to enable the requirements analysis. Such analysis
needs to be enhanced so that personalised information provision can be tackled and modelled. However,
there is a lack of suitable modelling methods to achieve this end. This paper presents a new
ontological method for capturing individual user’s requirements and transforming the requirements onto
personalised information provision specifications. Hence the right information can be provided to the
right user for the right purpose.
Method: An experiment was conducted based on the qualitative method. A medium size of group of users
participated to validate the method and its techniques, i.e. articulates, maps, configures, and learning content.
The results were used as the feedback for the improvement.
Result: The research work has produced an ontology model with a set of techniques which support the
functions for profiling user’s requirements, reasoning requirements patterns, generating workflow from
norms, and formulating information provision specifications.
Conclusion: The current requirements engineering approaches provide the methodical capability for
developing solutions. Our research outcome, i.e. the ontology model with the techniques, can further
enhance the RE approaches for modelling the individual user’s needs and discovering the user’s
requirements
The use of data-mining for the automatic formation of tactics
This paper discusses the usse of data-mining for the automatic formation of tactics. It was presented at the Workshop on Computer-Supported Mathematical Theory Development held at IJCAR in 2004. The aim of this project is to evaluate the applicability of data-mining techniques to the automatic formation of tactics from large corpuses of proofs. We data-mine information from large proof corpuses to find commonly occurring patterns. These patterns are then evolved into tactics using genetic programming techniques
Logic Programming Applications: What Are the Abstractions and Implementations?
This article presents an overview of applications of logic programming,
classifying them based on the abstractions and implementations of logic
languages that support the applications. The three key abstractions are join,
recursion, and constraint. Their essential implementations are for-loops, fixed
points, and backtracking, respectively. The corresponding kinds of applications
are database queries, inductive analysis, and combinatorial search,
respectively. We also discuss language extensions and programming paradigms,
summarize example application problems by application areas, and touch on
example systems that support variants of the abstractions with different
implementations
- …