75 research outputs found
Resource-Driven Substructural Defeasible Logic
No full textLinear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects, and we discuss the design choices for the framework
Data for: Estimating parasite-condition relationships and potential health effects for fallow deer (Dama dama) and red deer (Cervus elaphus) in Denmark
No full textData are part of the DEER-HEALTH project funded by AAGE V JENSEN NATURFOND (grant number: 2021-0122). Data contains serum chemistry and parasite data sampled in 21 red deer and 20 fallow deer in Denmark. Data are the basis for a scientific publication entitled: Estimating parasite-condition relationships and potential health effects for fallow deer (Dama dama) and red deer (Cervus elaphus) in Denmark written by Floris M. van Beest*, Heidi H. Petersen, Anne K.H. Krogh, Monica Lønborg, Niels M. Schmidt, Sophia V. Hansson. * Corresponding author: [email protected]
Achieving intention-centric BPM through automated planning
No full textAs a result of the more distributed nature of organisations and the inherently increasing complexity of their business processes, a significant effort is required for the specification and verification of those processes. The composition of the activities into a business process that accomplishes a specific organisational goal has primarily been a manual task. Automated planning is a branch of artificial intelligence (AI) in which activities are selected and organised by anticipating their expected outcomes with the aim of achieving some goal. As such, automated planning would seem to be a natural fit to the BPM domain to automate the specification of control flow. A number of attempts have been made to apply automated planning to the business process and service composition domain in different stages of the BPM lifecycle. However, a unified adoption of these techniques throughout the BPM lifecycle is missing. As such, we propose a new intention-centric BPM paradigm, which aims on minimising the specification effort by exploiting automated planning techniques to achieve a pre-stated goal. This paper provides a vision on the future possibilities of enhancing BPM using automated planning. A research agenda is presented, which provides an overview of the opportunities and challenges for the exploitation of automated planning in BPM
Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools
No full textExtracting and formalising legal norms from legal documents is a time-consuming and complex procedure. Therefore, the automatic methods that can accelerate this process are in high demand. In this paper, we address two major questions related to this problem: (i) what are the challenges in formalising legal documents into a machine understandable formalism? (ii) to what extent can the data-driven state-of-theart approaches developed in the Natural Language Processing (NLP) community be used to automate the normative mining process. The results of our experiments indicate that NLP technologies such as relation extraction and semantic parsing are promising research avenues to advance research in this area
Visualisation of compliant declarative business processes
No full textOrganisations typically have to cope with large numbers of business rules and existing regulations governing the business in which they operate. Due to the size and complexity of those rules, maintenance is difficult and it is increasingly complicated to ensure that each business process adheres to those rules. As such, automated extraction of business processes from rules has a number of clear advantages: (1) visualisation of all possible executions allowed by the rules, (2) automated execution and compliance by design, (3) identification of "inefficiencies" in the business rules. Existing approaches, however, only allow to generate partial traces based on input specifications and cannot handle many different input cases resulting in a full process. This paper presents a formal method to visualise and operationalise such sets of rules as a verifiable business process that is compliant by design and allows us to analyse all possible execution paths. In addition, it maintains information of all distinct input cases, to preserve dependencies between consecutive exclusive paths.Griffith Sciences, Institute for Integrated and Intelligent SystemsFull Tex
Checking Regulatory Compliance: Will We Live to See It?
No full textChecking regulatory compliance of business processes prior to deployment is common practice and numerous approaches have been developed over the last decade. However, the computational complexity of the problem itself has never received any major attention. Although it is known that the complexity of the problem is generally in NP-complete, many existing approaches ignore the issue using the excuse that current problems are small enough to be solved anyway. However, due to the current race towards digitalisation and automatisation, the size and complexity of the problems is bound to increase. As such, this paper investigates the computational complexity of all sub-classes of the problem and categorises some of the existing approaches, providing a detailed overview of the issues that require to be tackled in order for current compliance checking solutions to remain feasible in future scenarios.Full Tex
Process interference: automated identification and repair
No full textIn de meeste organisaties komt parallelle uitvoer van bedrijfsprocessen frequent voor. Echter, deze processen kunnen (gedeeltelijk) gebruik maken van dezelfde informatie. Een dergelijke onderlinge afhankelijkheid tussen procesvariabelen kan inconsistenties veroorzaken in het proces. Hoewel deze processen uitgevoerd kunnen worden zonder software fouten, kunnen ongewenste resultaten optreden, als gevolg van data die gemodificeerd worden door een parallel proces. De situatie waar gegevens gelijktijdig worden gemodificeerd door verschillende processen wordt procesinterferentie genoemd. Het probleem van procesinterferentie wordt formeel gedefinieerd en geanalyseerd bij een groot energiebedrijf en een telecombedrijf. Gezien de complexiteit van de analyse is een software tool ontwikkeld om de processen te analyseren en een volledig overzicht te genereren van alle foutieve situaties. Deze analyse heeft aangetoond, dat procesinterferentie veelvuldig voorkomt in deze organisaties en een groot aantal gevallen van interferentie kon worden geïdentificeerd. Om dit probleem op te lossen is een aantal modelleringsconcepten ontwikkeld in deze thesis. Dependency scopes zijn geïntroduceerd om de afhankelijkheden te representeren tussen processen en data die gevoelig zijn voor interferentie. Interventie processen zijn geïntroduceerd om inconsistenties tijdens de uitvoering van het proces te repareren. Interventie processen worden tijdens de uitvoer van de processen gegenereerd met behulp van KI planningstechnieken. Een architectuur is geïmplementeerd, die deze concepten ondersteunt, om de haalbaarheid van de aanpak te evalueren. Het blijkt, dat het koppelen van dependency scopes met declaratieve doelen en het runtime genereren van interventie processen door middel van KI planningstechieken een bruikbare en realistische methode is voor het oplossen van procesinterferentie
Process interference:automated identification and repair
No full textIn de meeste organisaties komt parallelle uitvoer van bedrijfsprocessen frequent voor. Echter, deze processen kunnen (gedeeltelijk) gebruik maken van dezelfde informatie. Een dergelijke onderlinge afhankelijkheid tussen procesvariabelen kan inconsistenties veroorzaken in het proces. Hoewel deze processen uitgevoerd kunnen worden zonder software fouten, kunnen ongewenste resultaten optreden, als gevolg van data die gemodificeerd worden door een parallel proces. De situatie waar gegevens gelijktijdig worden gemodificeerd door verschillende processen wordt procesinterferentie genoemd. Het probleem van procesinterferentie wordt formeel gedefinieerd en geanalyseerd bij een groot energiebedrijf en een telecombedrijf. Gezien de complexiteit van de analyse is een software tool ontwikkeld om de processen te analyseren en een volledig overzicht te genereren van alle foutieve situaties. Deze analyse heeft aangetoond, dat procesinterferentie veelvuldig voorkomt in deze organisaties en een groot aantal gevallen van interferentie kon worden geïdentificeerd. Om dit probleem op te lossen is een aantal modelleringsconcepten ontwikkeld in deze thesis. Dependency scopes zijn geïntroduceerd om de afhankelijkheden te representeren tussen processen en data die gevoelig zijn voor interferentie. Interventie processen zijn geïntroduceerd om inconsistenties tijdens de uitvoering van het proces te repareren. Interventie processen worden tijdens de uitvoer van de processen gegenereerd met behulp van KI planningstechnieken. Een architectuur is geïmplementeerd, die deze concepten ondersteunt, om de haalbaarheid van de aanpak te evalueren. Het blijkt, dat het koppelen van dependency scopes met declaratieve doelen en het runtime genereren van interventie processen door middel van KI planningstechieken een bruikbare en realistische methode is voor het oplossen van procesinterferentie
Process interference:automated identification and repair
No full textIn de meeste organisaties komt parallelle uitvoer van bedrijfsprocessen frequent voor. Echter, deze processen kunnen (gedeeltelijk) gebruik maken van dezelfde informatie. Een dergelijke onderlinge afhankelijkheid tussen procesvariabelen kan inconsistenties veroorzaken in het proces. Hoewel deze processen uitgevoerd kunnen worden zonder software fouten, kunnen ongewenste resultaten optreden, als gevolg van data die gemodificeerd worden door een parallel proces. De situatie waar gegevens gelijktijdig worden gemodificeerd door verschillende processen wordt procesinterferentie genoemd. Het probleem van procesinterferentie wordt formeel gedefinieerd en geanalyseerd bij een groot energiebedrijf en een telecombedrijf. Gezien de complexiteit van de analyse is een software tool ontwikkeld om de processen te analyseren en een volledig overzicht te genereren van alle foutieve situaties. Deze analyse heeft aangetoond, dat procesinterferentie veelvuldig voorkomt in deze organisaties en een groot aantal gevallen van interferentie kon worden geïdentificeerd. Om dit probleem op te lossen is een aantal modelleringsconcepten ontwikkeld in deze thesis. Dependency scopes zijn geïntroduceerd om de afhankelijkheden te representeren tussen processen en data die gevoelig zijn voor interferentie. Interventie processen zijn geïntroduceerd om inconsistenties tijdens de uitvoering van het proces te repareren. Interventie processen worden tijdens de uitvoer van de processen gegenereerd met behulp van KI planningstechnieken. Een architectuur is geïmplementeerd, die deze concepten ondersteunt, om de haalbaarheid van de aanpak te evalueren. Het blijkt, dat het koppelen van dependency scopes met declaratieve doelen en het runtime genereren van interventie processen door middel van KI planningstechieken een bruikbare en realistische methode is voor het oplossen van procesinterferentie
Process interference:automated identification and repair
No full textIn de meeste organisaties komt parallelle uitvoer van bedrijfsprocessen frequent voor. Echter, deze processen kunnen (gedeeltelijk) gebruik maken van dezelfde informatie. Een dergelijke onderlinge afhankelijkheid tussen procesvariabelen kan inconsistenties veroorzaken in het proces. Hoewel deze processen uitgevoerd kunnen worden zonder software fouten, kunnen ongewenste resultaten optreden, als gevolg van data die gemodificeerd worden door een parallel proces. De situatie waar gegevens gelijktijdig worden gemodificeerd door verschillende processen wordt procesinterferentie genoemd. Het probleem van procesinterferentie wordt formeel gedefinieerd en geanalyseerd bij een groot energiebedrijf en een telecombedrijf. Gezien de complexiteit van de analyse is een software tool ontwikkeld om de processen te analyseren en een volledig overzicht te genereren van alle foutieve situaties. Deze analyse heeft aangetoond, dat procesinterferentie veelvuldig voorkomt in deze organisaties en een groot aantal gevallen van interferentie kon worden geïdentificeerd. Om dit probleem op te lossen is een aantal modelleringsconcepten ontwikkeld in deze thesis. Dependency scopes zijn geïntroduceerd om de afhankelijkheden te representeren tussen processen en data die gevoelig zijn voor interferentie. Interventie processen zijn geïntroduceerd om inconsistenties tijdens de uitvoering van het proces te repareren. Interventie processen worden tijdens de uitvoer van de processen gegenereerd met behulp van KI planningstechnieken. Een architectuur is geïmplementeerd, die deze concepten ondersteunt, om de haalbaarheid van de aanpak te evalueren. Het blijkt, dat het koppelen van dependency scopes met declaratieve doelen en het runtime genereren van interventie processen door middel van KI planningstechieken een bruikbare en realistische methode is voor het oplossen van procesinterferentie
- …
