Flow for Meta Control

The psychological state of flow has been linked to optimizing human performance. A key condition of flow emergence is a match between the human abilities and complexity of the task. We propose a simple computational model of flow for Artificial Intelligence (AI) agents. The model factors the standard agent-environment state into a self-reflective set of the agent's abilities and a socially learned set of the environmental complexity. Maximizing the flow serves as a meta control for the agent. We show how to apply the meta-control policy to a broad class of AI control policies and illustrate our approach with a specific implementation. Results in a synthetic testbed are promising and open interesting directions for future work

Beyond Control-Flow: Extending Business Process Configuration to Roles and Objects

A configurable process model is an integrated representation of multiple variants of a business process. It is designed to be individualized to meet a particular set of requirements. As such, configurable process models promote systematic reuse of proven or common practices. Existing notations for configurable process modeling focus on capturing tasks and control-flow dependencies, neglecting equally important aspects of business processes such as data flow, material flow and resource management. This paper fills this gap by proposing an integrated meta-model for configurable processes with advanced features for capturing resources involved in the performance of tasks (through task-role associations) as well as flow of data and physical artifacts (through task-object associations). Although embodied as an extension of a popular process modeling notation, namely EPC, the meta-model is defined in an abstract and formal manner to make it applicable to other notations

Describing Structure and Complex Interactions in Multi-Agent-Based Industrial Cyber-Physical Systems

The description of structure and complex interactions in Multi-agent-based Industrial Cyber-physical (MAS-ICPS) systems has been elusively addressed in the literature. Existing works, grounded on model-based engineering, have been successful at characterizing and solving system integration problems. However, they fail to describe accurately the collective and dynamic execution behaviour of large and complex industrial systems, particularly in more discrete production domains, such as: automotive, home appliances, aerospace, food and beverages, etc. In these domains, the execution flow diverts dynamically due to production disturbances, custom orders, fluctuations in demand in mixed model production, faults, quality-control and product rework, etc. These dynamic conditions require re-allocation and reconfiguration of production resources, redirection of production flows, re-scheduling of orders, etc. A meta-model for describing the structure and complex interactions in MAS-ICPS is defined in this paper. This contribution goes beyond the State-Of-The-Art (SOTA) as the proposed meta-model describes structure, as many other literature contributions, but also describes the execution behaviour of arbitrarily complex interactions. The previous is achieved with the introduction of general execution flow control operators in the meta-model. These operators cover, among other aspects, delegation of the execution flow and dynamic decision making. Additionally, the contribution also goes beyond the SOTA by including validation mechanisms for the models generated by the meta-model. Finally, the contribution adds to the current literature by providing a meta-model focusing on production execution and not just on describing the structural connectivity aspects of ICPSs.publishersversionpublishe

Disjunctive Delimited Control

Delimited control is a powerful mechanism for programming language extension which has been recently proposed for Prolog (and implemented in SWI-Prolog). By manipulating the control flow of a program from inside the language, it enables the implementation of powerful features, such as tabling, without modifying the internals of the Prolog engine. However, its current formulation is inadequate: it does not capture Prolog's unique non-deterministic nature which allows multiple ways to satisfy a goal. This paper fully embraces Prolog's non-determinism with a novel interface for disjunctive delimited control, which gives the programmer not only control over the sequential (conjunctive) control flow, but also over the non-deterministic control flow. We provide a meta-interpreter that conservatively extends Prolog with delimited control and show that it enables a range of typical Prolog features and extensions, now at the library level: findall, cut, branch-and-bound optimisation, probabilistic programming, . . .Comment: New version of paper is available at: arXiv:2108.0297

AN INTER-WATERSHED COMPARISON STUDY OF BEDROCK CONTROLS ON SHALLOW SUBSURFACE FLOW AND STREAMFLOW RESPONSE

Bedrock controls on watershed response have been actively studied in recent years, however, most conclusions are based on surface water analysis leaving unresolved questions about the nature of bedrock flow paths and ultimately their control on watershed response. In this study, we investigated bedrock controls on watershed response by simultaneously monitoring the hydrology of two adjacent watersheds underlain by dissimilar geologic formations (monzonite vs. meta-sandstone) and by characterizing subsurface conditions through bedrock drilling and fracture mapping. We hypothesized, when soils saturate, the underlying bedrock geology may influence the partitioning of shallow subsurface flow (SSF) between soil and bedrock flow paths, resulting in a divergence in hillslope runoff response between each watershed. We found SSF occurred for longer periods and at greater magnitudes in the monzonite watershed relative to the meta-sandstone watershed. Furthermore, hillslopes underlain by monzonite bedrock drained more rapidly compared to the hillslopes underlain by meta-sandstone bedrock. Paired hydrometric observations of soil and bedrock flow systems linked hillslope discharge to bedrock exfiltration at the slope base. The bedrock driven control on hillslope discharge promoted a stark divergence in the streamflow response between each watershed. These findings provide strong evidence supporting a bottom up view of watershed function, where bedrock flows systems are a fundamental control on the hydrologic response of hillslopes and stream networks. Conclusions from this study bolster the need to further investigate how differences in bedrock properties across mountainous watersheds will influence the resilience of headwater basins in the face of climate change

Visual Meta-Programming Notation

This paper describes a draft of visual notation for meta-programming. The main suggestions of this work include specialized data structures (lists, tuples, trees), data item associations that provide for creation of arbitrary graphs, visualization of data structures and data flows, graphical notation for pattern matching (list, tuple, and tree patterns, graphical notation for context free grammars, streams), encapsulation means for hierarchical rules design, two-dimensional data-flow diagrams for rules , visual control constructs for conditionals and iteration, default mapping rules to reduce real-estate requirements for diagrams, and dynamic data attributes. Two-dimensional data flow diagrams improve readability of a meta-program. The abstract syntax type definitions for common programming languages and related default mappings (parsing and de-parsing) provide for a practically feasible reuse of those components.U. S. Army Research Office40473-MA-S

Clinical benefit of adenosine as an adjunct to reperfusion in ST-elevation myocardial infarction patients: An updated meta-analysis of randomized controlled trials

Background: Adenosine administered as an adjunct to reperfusion can reduce coronary no-reflow and limit myocardial infarct (MI) size in ST-segment elevation myocardial infarction (STEMI) patients. Whether adjunctive adenosine therapy can improve clinical outcomes in reperfused STEMI patients is not clear and is investigated in this meta-analysis of 13 randomized controlled trials (RCTs). Methods: We performed an up-to-date search for all RCTs investigating adenosine as an adjunct to reperfusion in STEMI patients. We calculated pooled relative risks using a fixed-effect meta-analysis assessing the impact of adjunctive adenosine therapy on major clinical endpoint including all-cause mortality, non-fatal myocardial infarction, and heart failure. Surrogate markers of reperfusion were also analyzed. Results: 13 RCTs (4273 STEMI patients) were identified and divided into 2 subgroups: intracoronary adenosine versus control (8 RCTs) and intravenous adenosine versus control (5 RCTs). In patients administered intracoronary adenosine, the incidence of heart failure was significantly lower (risk ratio [RR] 0.44 [95% CI 0.25–0.78], P = 0.005) and the incidence of coronary no-reflow was reduced (RR for TIMI flow<3 postreperfusion 0.68 [95% CI 0.47–0.99], P = 0.04). There was no difference in heart failure incidence in the intravenous adenosine group but most RCTs in this subgroup were from the thrombolysis era. There was no difference in non-fatal MI or all-cause mortality in both subgroups. Conclusion: We find evidence of improved clinical outcome in terms of less heart failure in STEMI patients administered intracoronary adenosine as an adjunct to reperfusion. This finding will need to be confirmed in a large adequately powered prospective RCT