相关论文: Comments on Shimony's Analysis

Recent years have witnessed an increasing number of interpretation methods being developed for improving transparency of NLP models. Meanwhile, researchers also try to answer the question that whether the obtained interpretation is faithful…

We show that the conclusion of a recent experiment [arXiv:0912.3934] that claims to have discovered that "the speed of light seems to depend on the motion of the observer" is wrong.

Translations between different nonmonotonic formalisms always have been an important topic in the field, in particular to understand the knowledge-representation capabilities those formalisms offer. We provide such an investigation in terms…

This paper develops a Reasoning about Actions and Change framework integrated with Default Reasoning, suitable as a Knowledge Representation and Reasoning framework for Story Comprehension. The proposed framework, which is guided strongly…

While General Relativity ranks undoubtedly among the best physics theories ever developed, it is also among those with the most striking implications. In particular, General Relativity admits solutions which allow faster than light motion…

Possibility theory offers a framework where both Lehmann's "preferential inference" and the more productive (but less cautious) "rational closure inference" can be represented. However, there are situations where the second inference does…

We offer a fresh perspective on the relational interpretation of quantum mechanics as a way of thinking about the world described by quantum theory based on quantifiable notions of information. This allows us to provide a definition of a…

The varying speed of light theories have been recently proposed to solve the standard model problems and anomalies in the ultra high energy cosmic rays. These theories try to formulate a new relativity with no assumptions about the…

Argumentation is a non-monotonic process. This reflects the fact that argumentation involves uncertain information, and so new information can cause a change in the conclusions drawn. However, the base logic does not need to be…

Counterfactual explanations are considered, which is to answer {\it why the prediction is class A but not B.} Different from previous optimization based methods, an optimization-free Fast ReAl-time Counterfactual Explanation (FRACE)…

The theory of special relativity can be generalized by means of a new principle called Conservation of Information. This allows a derivation of the constancy of the velocity of light with respect to moving frames, and, consequently, of…

Nontransitive choices have long been an area of curiosity within economics. However, determining whether nontransitive choices represent an individual's preference is a difficult task since choice data is inherently stochastic. This paper…

The paper puts forward a conceptual framework in which the phenomenon of time can be presented and discussed in a proper way. We argue that change is ontologically and epistemologically a more basic phenomenon than time. Time is an abstract…

Alternation of forward and backward analyses is a standard technique in abstract interpretation of programs, which is in particular useful when we wish to prove unreachability of some undesired program states. The current state-of-the-art…

We apply a framework developed by C. S. Peirce to analyze the concept of clarity, so as to examine a pair of rival mathematical approaches to a typical result in analysis. Namely, we compare an intuitionist and an infinitesimal approaches…

Writing temporal logic formulae for properties that combine instantaneous events with overlapping temporal phenomena of some duration is difficult in classical temporal logics. To address this issue, in previous work we introduced a new…

Two alternative interpretations of the quantum collapse are proposed: a time-ordered and a timeless one. The time-ordered interpretation implies that the speed of light can be defined in an absolute way, while the timeless quantum collapse…

Counterfactual explanations are a popular type of explanation for making the outcomes of a decision making system transparent to the user. Counterfactual explanations tell the user what to do in order to change the outcome of the system in…

Transparency is an essential requirement of machine learning based decision making systems that are deployed in real world. Often, transparency of a given system is achieved by providing explanations of the behavior and predictions of the…

Contemporary observational and theoretical studies on the temporal nature of microscopic measurements renewed the discussion about the fundamental constants, leading to the possibility of light speed variation and superluminal pulse…