基于部件模型的定性推理方法

本文阐述了基于部件模型的定性推理方法的基本思想和过程，并对系统行为的因果解释方法进行了分析。     

Message fragment based causal message logging

In a distributed computing system, message logging is widely used for providing nodes with recoverability. To reduce the piggyback overhead of traditional causal message logging, we present a zoning causal message logging approach in this paper. The crux of the approach is to control the propagation of dependency information: the nodes in the system are divided into zones, and by a message fragment mechanism, the dependency information of a node is only visible in the zone scope. Simulation results show that the piggyback overhead of the proposed approach is lower than that of traditional causal message logging.     

The power of intervention

We further develop the mathematical theory of causal interventions, extending earlier results of Korb, Twardy, Handfield, & Oppy, (2005) and Spirtes, Glymour, Scheines (2000). Some of the skepticism surrounding causal discovery has concerned the fact that using only observational data can radically underdetermine the best explanatory causal model, with the true causal model appearing inferior to a simpler, faithful model (cf. Cartwright, (2001). Our results show that experimental data, together with some plausible assumptions, can reduce the space of viable explanatory causal models to one.

A parametrized algorithm that implements sequential, causal, and cache memory consistencies

In this paper, we present an algorithm that can be used to implement sequential, causal, or cache consistency in distributed shared memory (DSM) systems. For this purpose it includes a parameter that allows us to choose the consistency model to be implemented. If all processes run the algorithm with the same value in this parameter, the corresponding consistency is achieved. (Additionally, the algorithm tolerates that processes use certain combination of parameter values.) This characteristic allows a concrete consistency model to be chosen, but implements it with the more efficient algorithm in each case (depending of the requirements of the applications). Additionally, as far as we know, this is the first algorithm proposed that implements cache coherence.In our algorithm, all the read and write operations are executed locally when implementing causal and cache consistency (i.e., they are fast). It is known that no sequential algorithm has only fast memory operations. In our algorithm, however, all the write operations and some read operations are fast when implementing sequential consistency. The algorithm uses propagation and full replication, where the values written by a process are propagated to the rest of the processes. It works in a cyclic turn fashion, with each process of the DSM system, broadcasting one message in turn. The values written by the process are sent in the message (instead of sending one message for each write operation): However, unnecessary values are excluded. All this permits the amount of message traffic owing to the algorithm to be controlled.     

A Quantum Theory of Consciousness

The relationship between quantum collapse and consciousness is reconsidered under the assumption that quantum collapse is an objective dynamical process. We argue that the conscious observer can have a distinct role from the physical measuring device during the process of quantum collapse owing to the intrinsic nature of consciousness; the conscious observer can know whether he is in a definite state or a quantum superposition of definite states, while the physical measuring device cannot “know”. As a result, the consciousness observer can distinguish the definite states and their quantum superposition, while the physical measuring device without consciousness cannot do. This provides a possible quantum physical method to distinguish man and machine. The new result also implies that consciousness has causal efficacies in the physical world when considering the existence of quantum collapse. Accordingly consciousness is not reducible or emergent, but a new fundamental property of matter. This may establish a quantum basis for panpsychism, and make it be a promising solution to the hard problem of consciousness. Furthermore, it is suggested that a unified theory of matter and consciousness includes two parts: one is the psychophysical principle or corresponding principle between conscious content and matter state, and the other is the complete quantum evolution of matter state, which includes the definite nonlinear evolution element introduced by consciousness and relating to conscious content. Lastly, some experimental schemes are presented to test the proposed quantum theory of consciousness.

An ontology for causal relationships between news and financial instruments

In recent years, people have begun to pay more and more attention to the effect of news on financial instrument markets (i.e., the markets for trading financial instruments). Researchers in the financial domain have conducted many studies demonstrating the effect of different types of news on trade activities in financial instrument markets such as volatility in trade price, trade volume, trading frequency, and so on. In this paper, an ontology for knowledge about news regarding financial instruments is provided. The ontology contains two parts: the first part presents a hierarchy framework for the domain knowledge that primarily includes classes of news, classes of financial instrument markets participants, classes of financial instruments, and primary relations between these classes. In the second part, a causal map is used to demonstrate how classes of news are causally related with classes of financial instruments. Finally, a case concerning the “9/11 American terror attack” is analyzed. On the basis of the ontology, it is first comprehensive to understand the knowledge about news in financial instrument markets; second, it helps building trading models based on news in the financial instrument markets; third, systems (e.g., systems for prediction of stock price based on news, systems for supporting financial market participants to search relevant news) design and development in this domain are facilitated and supported by this ontology.     

Intelligent virtual environments for virtual reality art

The development of virtual reality (VR) art installations is faced with considerable difficulties, especially when one wishes to explore complex notions related to user interaction. We describe the development of a VR platform, which supports the development of such installations, from an art+science perspective. The system is based on a CAVE™-like immersive display using a game engine to support visualisation and interaction, which has been adapted for stereoscopic visualisation and real-time tracking. In addition, some architectural elements of game engines, such as their reliance on event-based systems have been used to support the principled definition of alternative laws of Physics. We illustrate this research through the development of a fully implemented artistic brief that explores the notion of causality in a virtual environment. After describing the hardware architecture supporting immersive visualisation we show how causality can be redefined using artificial intelligence technologies inspired from action representation in planning and how this symbolic definition of behaviour can support new forms of user experience in VR.     

软件缺陷的因果分析

因果分析和缺陷预防是对软件审查过程的扩展。本文介绍了因果分析以及如何进行因果分析，并举例说明如何通过使用因果分析确定对缺陷预防采取什么行动，并在此基础上进一步阐述了缺陷预防，指出把审查和因果分析，缺陷预防整合成一个过程，能够增强软件审查的效果，控制和减少质量成本。     

Using simulated investigations for accident investigation studies

Regardless of the actual causes of particular accidents, it is the causes identified by the analyst that determine what responses are made, and how safety is managed in industry. Past authors have suggested that investigation might be biased, but studies were limited by the lack of similarity to real-world investigation tasks in which investigators must decide what information to acquire as well as analyse and interpret it. A technique was developed to use simulated investigations rather than attribution judgements about causation. Three studies are described, using simulated investigation to compare elicited knowledge and hypotheses among safety specialists, to compare investigations using job aids with unaided investigations, and to teach students about investigation bias and comprehensiveness. The method was well accepted by participants and shows flexibility for a range of uses, although it may have limitations.