This paper presents an approach for the automated extraction of process patterns from Event-driven Process Chain (EPC) models in engineering domains. The manually extraction of process patterns (semantically described reference building blocks) is a labor-intensive, tedious and cumbersome task. The introduced approach comprises the three stages knowledge acquisition, process pattern extraction ...

Compositional modelling, the predominant knowledge-based approach to automated model construction, takes a scenario describing the constituent interacting components of a domain system and translates it into a useful mathematical model. This paper extends this approach to enable its application to systems that can not be easily described in terms of interacting functional components. In particu...

We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive formulation of dynamic decision models, i.e., models that explicitly consider the effects of time. Our work integrates and extends different features of the existing frameworks. We incorporate a hybrid knowledge represent...

Constructability analysis and the resulting adjustments in facility design have a significant potential in improving cost effectiveness of construction projects. However, traditional constructability knowledge acquisition techniques are the key barrier to successful constructability improvement. A new approach to automated constructability lessons-learned documentation and constructability anal...

A previous publication has described a method of pairwise 3D surface correspondence for the automated generation of landmarks on a set of examples from a class of shape [3]. In this paper we describe a set of improved algorithms which give more accurate and more robust results. We show how the pairwise corresponder can be used in a extension of an existing framework for establishing dense corre...

In software component verification, one of the challenges is model checking of isolated components. The environment of an isolated component is unknown, and therefore a part of an input to a model checker is missing. This problem can be addressed via automated generation of an artificial environment — component and its environment form a complete program that can be verified using common model ...

This paper briefly describes a model, designed to automate data acquisition and analysis for planning and scheduling highway construction projects. The paper briefly describes the proposed model, and focuses primarily on its automation aspects. Geographic information systems is employed to analyze spatial data and estimate cut and fill quantities. The model also stores activities typically invo...

Multiagent social simulation provides a powerful mechanism for policy makers to understand the potential outcomes of their decisions before implementing them. However, the value of such simulations depends on the accuracy of their underlying agent models. In this work, we present a method for automatically exploring a space of decision-theoretic models to arrive at a multiagent social simulatio...

A critical component of model-based intelligent tutoring systems is a mechanism for capturing the conceptual state of the student, which enables the system to tailor its feedback to suit individual strengths and weaknesses. To be useful such a modeling technique must be practical , in the sense that models are easy to construct, and effective , in the sense that using the model actually impacts...