Non-clausal multi-ary alpha-generalized resolution calculus for a finite lattice-valued logic

Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area. The present paper focuses on the resolution-based automated reasoning theory in a many-valued logic with truth-values defined in a lattice-ordered many-valued algebraic structure - lattice implication algebras (LIA). Specifically, as a continuation and extension of the established work on binary resolution at a certain truth-value level α (called α-resolution), a non-clausal multi-ary α-generalized resolution calculus is introduced for a lattice-valued propositional logic LP(X) based on LIA, which is essentially a non-clausal generalized resolution avoiding reduction to normal clausal form. The new resolution calculus in LP(X) is then proved to be sound and complete. The concepts and theoretical results are further extended and established in the corresponding lattice-valued first-order logic LF(X) based on LIA

A metageometric enquiry concerning time, space, and quantum physics

An enquiry into the physical nature of time and space and into the ontology of quantum mechanics from a metageometric perspective, resulting from the belief that geometric thought and language are powerless to farther understanding of these issues, restricting instead physical progress. The nature and assumptions of quantum gravity are analysed critically, including misgivings about the relevance of the Planck scale to it and its lack of observational referent in the natural world. The anthropic foundations of geometry are investigated. The exclusive use of geometric thought from antiquity to present-day physics is found to permeate all new attempts towards better theories, including quantum gravity and, within it, even pregeometry. The problem of the ether is found to have perpetuated itself up to the present by transmuting its form from mechanical, through metric, to geometric. A clarification is made of the physical, mathematical, and psychological foundations of relativity and quantum theories. The former is founded geometrically on measurement-based clock-reading separations ds. The latter is founded metageometrically on the experiment-based concepts of premeasurement and transition things, inspired in the physically unexplored aspect of time as a consciousness-related product. A concept of metageometric time is developed and coordinate time t is recovered from it. Discovery of the connection between quantum-mechanical metageometric time elements and general-relativistic clock time elements ds is deemed necessary for a combined understanding of time. Time is conjectured to be the missing link between general relativity and quantum mechanics.Comment: Ph.D. thesis, 285 pages, LaTeX. Precompiled PDF (3.86 Mb) available at http://urn.fi/URN:ISBN:978-951-39-3192-

Semantic discovery and reuse of business process patterns

Patterns currently play an important role in modern information systems (IS) development and their use has mainly been restricted to the design and implementation phases of the development lifecycle. Given the increasing significance of business modelling in IS development, patterns have the potential of providing a viable solution for promoting reusability of recurrent generalized models in the very early stages of development. As a statement of research-in-progress this paper focuses on business process patterns and proposes an initial methodological framework for the discovery and reuse of business process patterns within the IS development lifecycle. The framework borrows ideas from the domain engineering literature and proposes the use of semantics to drive both the discovery of patterns as well as their reuse

Safety and Reliability - Safe Societies in a Changing World

The contributions cover a wide range of methodologies and application areas for safety and reliability that contribute to safe societies in a changing world. These methodologies and applications include: - foundations of risk and reliability assessment and management - mathematical methods in reliability and safety - risk assessment - risk management - system reliability - uncertainty analysis - digitalization and big data - prognostics and system health management - occupational safety - accident and incident modeling - maintenance modeling and applications - simulation for safety and reliability analysis - dynamic risk and barrier management - organizational factors and safety culture - human factors and human reliability - resilience engineering - structural reliability - natural hazards - security - economic analysis in risk managemen

Animating the Ethical Demand:Exploring user dispositions in industry innovation cases through animation-based sketching

This paper addresses the challenge of attaining ethical user stances during the design process of products and services and proposes animation-based sketching as a design method, which supports elaborating and examining different ethical stances towards the user. The discussion is qualified by an empirical study of Responsible Research and Innovation (RRI) in a Triple Helix constellation. Using a three-week long innovation workshop, UCrAc, involving 16 Danish companies and organisations and 142 students as empirical data, we discuss how animation-based sketching can explore not yet existing user dispositions, as well as create an incentive for ethical conduct in development and innovation processes. The ethical fulcrum evolves around Løgstrup's Ethical Demand and his notion of spontaneous life manifestations. From this, three ethical stances are developed; apathy, sympathy and empathy. By exploring both apathetic and sympathetic views, the ethical reflections are more nuanced as a result of actually seeing the user experience simulated through different user dispositions. Exploring the three ethical stances by visualising real use cases with the technologies simulated as already being implemented makes the life manifestations of the users in context visible. We present and discuss how animation-based sketching can support the elaboration and examination of different ethical stances towards the user in the product and service development process. Finally we present a framework for creating narrative representations of emerging technology use cases, which invite to reflection upon the ethics of the user experience.</jats:p