PrIC3: Property Directed Reachability for MDPs

IC3 has been a leap forward in symbolic model checking. This paper proposes PrIC3 (pronounced pricy-three), a conservative extension of IC3 to symbolic model checking of MDPs. Our main focus is to develop the theory underlying PrIC3. Alongside, we present a first implementation of PrIC3 including the key ingredients from IC3 such as generalization, repushing, and propagation

The Beauty of Messiness: A Flexible Tool for Design Principle Projects

Abstracting and formalizing knowledge collected throughout a design science research (DSR) project is important to inform the design of future artifacts. Design principles are one of the prevailing forms to capture design-relevant knowledge and guide both research and practice to build new artifacts. Although today’s DSR projects are often agile and creative, they require a minimum structure to ensure rigor. In this paper, we set out to master the tradeoff between creative messiness and fully standardized design endeavors by presenting a situational tool in the form of a card deck. We report on the building of a design tool and its demonstration via two illustrative examples. Overall, we complement the valuable body of DSR frameworks and introduce a flexible and configurable tool capable of taking into account specific project situations

Cased Based Reasoning in Business Process Management Design

Dissertation presented as the partial requirement for obtaining a Master's degree in Information Management, specialization in Information Systems and Technologies ManagementArtificial intelligence became increasingly useful since the 1990s, trying to imitate the human brain with its thinking, reasoning, and learning using the key concepts of machine learning, deep learning, and artificial neural networks. Case-based reasoning (CBR), another form of artificial intelligence, stores and retrieves past cases that can be adapted to find a solution to a current problem. The new solution can then be retained and made available to solve other future problems. Business Process Management (BPM) analyzes and optimizes business processes to make them more effective and efficient for an organization’s strategy to ultimately increasing shareholder value. CBR can help to support BPM, making better decisions with existing knowledge when solving process problems. This study investigates effectively store, retrieve, and adapt Business Process Management Notation (BPMN) solutions that best fit the underlying BPM problem using case-based reasoning as a tool. Therefore, a theoretical model was proposed, containing each CBR live cycle phase with different possible tools applied to BPMN diagrams, which was validated by expert interviews. This study concludes that a whole CBR life cycle can be applied to BPMN diagram problems with the need for human intervention. This work did not have the objective to solve the whole problem but to contribute to a possible solution by using CBR through a theoretical model

Operationalizing contested problem-solution spaces: The case of Dutch circular construction

In shaping collective responses to societal challenges, we currently lack an understanding of how to grasp and navigate conflicting ideas on societal problems and potential solutions. The problem-solution space is an increasingly popular framework for conceptualizing the extent to which problem-oriented and solution-oriented views are divergent. However, this reflexive framework needs an operationalization to become useful in practice. We contribute to this debate by demonstrating how Q-methodology can be used to systematically identify, describe, and compare collectively held visions in relation to problems and solutions. We use the case of Dutch circular construction, and identify three conflicting imaginaries that inform us about disagreement and common ground. We conclude by discussing how policymakers can use different approaches to navigate contestation, presumably mobilizing actors for a collective response

Towards Semantic Knowledge Maps Applications: Modelling the Ontological Nature of Data and Information Governance in a R&D Organization

In organizational management, it is highly recommended that data and information be adequately prepared to match the knowledge needed to be used in decision‐making processes. However, faced with the paradigm of complexity that currently dictates the dynamics of modern organizations, there is still a search for operational solutions that allow agility and flexibility to corporate information flows to meet that desired condition. In this context, the concept of data and information governance presents itself as a fundamental premise because it systematizes, reorganizes and reorients each element of the organizational system (people, processes, structures, etc.) without losing the notion of its contexts and causalities. For this, in the conceptual modelling of governance, the concept of systemism arises to support the balance between holistic and reductionist approaches, inherent in management processes, but often considered antagonistic or contradictory. The present chapter presents and discusses a data and information governance model for research and development (R&D) organizations. The model is based upon the concepts of data, information and knowledge life cycles and knowledge mapping, recovering and valuing the ontological nature of the elements of the system under analysis and constructing a pragmatic proposal for corporate application and operation

Working Notes from the 1992 AAAI Workshop on Automating Software Design. Theme: Domain Specific Software Design

The goal of this workshop is to identify different architectural approaches to building domain-specific software design systems and to explore issues unique to domain-specific (vs. general-purpose) software design. Some general issues that cut across the particular software design domain include: (1) knowledge representation, acquisition, and maintenance; (2) specialized software design techniques; and (3) user interaction and user interface