-
Computational Extensive-Form Games
Authors:
Joseph Y. Halpern,
Rafael Pass,
Lior Seeman
Abstract:
We define solution concepts appropriate for computationally bounded players playing a fixed finite game. To do so, we need to define what it means for a \emph{computational game}, which is a sequence of games that get larger in some appropriate sense, to represent a single finite underlying extensive-form game. Roughly speaking, we require all the games in the sequence to have essentially the same…
▽ More
We define solution concepts appropriate for computationally bounded players playing a fixed finite game. To do so, we need to define what it means for a \emph{computational game}, which is a sequence of games that get larger in some appropriate sense, to represent a single finite underlying extensive-form game. Roughly speaking, we require all the games in the sequence to have essentially the same structure as the underlying game, except that two histories that are indistinguishable (i.e., in the same information set) in the underlying game may correspond to histories that are only computationally indistinguishable in the computational game. We define a computational version of both Nash equilibrium and sequential equilibrium for computational games, and show that every Nash (resp., sequential) equilibrium in the underlying game corresponds to a computational Nash (resp., sequential) equilibrium in the computational game. One advantage of our approach is that if a cryptographic protocol represents an abstract game, then we can analyze its strategic behavior in the abstract game, and thus separate the cryptographic analysis of the protocol from the strategic analysis.
△ Less
Submitted 9 June, 2015;
originally announced June 2015.
-
A Modification of the Halpern-Pearl Definition of Causality
Authors:
Joseph Y. Halpern
Abstract:
The original Halpern-Pearl definition of causality [Halpern and Pearl, 2001] was updated in the journal version of the paper [Halpern and Pearl, 2005] to deal with some problems pointed out by Hopkins and Pearl [2003]. Here the definition is modified yet again, in a way that (a) leads to a simpler definition, (b) handles the problems pointed out by Hopkins and Pearl, and many others, (c) gives rea…
▽ More
The original Halpern-Pearl definition of causality [Halpern and Pearl, 2001] was updated in the journal version of the paper [Halpern and Pearl, 2005] to deal with some problems pointed out by Hopkins and Pearl [2003]. Here the definition is modified yet again, in a way that (a) leads to a simpler definition, (b) handles the problems pointed out by Hopkins and Pearl, and many others, (c) gives reasonable answers (that agree with those of the original and updated definition) in the standard problematic examples of causality, and (d) has lower complexity than either the original or updated definitions.
△ Less
Submitted 1 May, 2015;
originally announced May 2015.
-
Identification of the High-Energy Gamma-Ray Source 3FGL J1544.6-1125 as a Transitional Millisecond Pulsar Binary in an Accreting State
Authors:
Slavko Bogdanov,
Jules P. Halpern
Abstract:
We present X-ray, ultraviolet, and optical observations of 1RXS J154439.4-112820, the most probable counterpart of the unassociated Fermi LAT source 3FGL J1544.6-1125. The optical data reveal rapid variability, which is a feature of accreting systems. The X-rays exhibit large-amplitude variations in the form of fast switching (within ~10 s) between two distinct flux levels that differ by a factor…
▽ More
We present X-ray, ultraviolet, and optical observations of 1RXS J154439.4-112820, the most probable counterpart of the unassociated Fermi LAT source 3FGL J1544.6-1125. The optical data reveal rapid variability, which is a feature of accreting systems. The X-rays exhibit large-amplitude variations in the form of fast switching (within ~10 s) between two distinct flux levels that differ by a factor of $\approx$10. The detailed optical and X-ray behavior is virtually identical to that seen in the accretion-disk-dominated states of the transitional millisecond pulsar binaries PSR J1023+0038 and XSS J12270-4859, which are also associated with $γ$-ray sources. Based on the available observational evidence, we conclude that 1RXS J154439.4-112820 and 3FGL J1544.6-1125 are the same object, with the X-rays arising from intermittent low-luminosity accretion onto a millisecond pulsar and the $γ$-rays originating from an accretion-driven outflow. 1RXS J154439.4-112820 is only the fourth $γ$-ray emitting low-mass X-ray binary system to be identified and is likely to sporadically undergo transformations to a non-accreting rotation-powered pulsar system.
△ Less
Submitted 16 April, 2015; v1 submitted 5 March, 2015;
originally announced March 2015.
-
An Introduction to Logics of Knowledge and Belief
Authors:
Hans van Ditmarsch,
Joseph Y. Halpern,
Wiebe van der Hoek,
Barteld Kooi
Abstract:
This chapter provides an introduction to some basic concepts of epistemic logic, basic formal languages, their semantics, and proof systems. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers to the literature.
This chapter provides an introduction to some basic concepts of epistemic logic, basic formal languages, their semantics, and proof systems. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers to the literature.
△ Less
Submitted 2 March, 2015;
originally announced March 2015.
-
Minimizing Regret in Dynamic Decision Problems
Authors:
Joseph Y. Halpern,
Samantha Leung
Abstract:
The menu-dependent nature of regret-minimization creates subtleties when it is applied to dynamic decision problems. Firstly, it is not clear whether \emph{forgone opportunities} should be included in the \emph{menu}, with respect to which regrets are computed, at different points of the decision problem. If forgone opportunities are included, however, we can characterize when a form of dynamic co…
▽ More
The menu-dependent nature of regret-minimization creates subtleties when it is applied to dynamic decision problems. Firstly, it is not clear whether \emph{forgone opportunities} should be included in the \emph{menu}, with respect to which regrets are computed, at different points of the decision problem. If forgone opportunities are included, however, we can characterize when a form of dynamic consistency is guaranteed. Secondly, more subtleties arise when sophistication is used to deal with dynamic inconsistency. In the full version of this paper, we examine, axiomatically and by common examples, the implications of different menu definitions for sophisticated, regret-minimizing agents.
△ Less
Submitted 18 June, 2015; v1 submitted 31 January, 2015;
originally announced February 2015.
-
Cooperative Equilibrium: A solution predicting cooperative play
Authors:
Nan Rong,
Joseph Y. Halpern
Abstract:
Nash equilibrium (NE) assumes that players always make a best response. However, this is not always true; sometimes people cooperate even it is not a best response to do so. For example, in the Prisoner's Dilemma, people often cooperate. Are there rules underlying cooperative behavior? In an effort to answer this question, we propose a new equilibrium concept: perfect cooperative equilibrium (PCE)…
▽ More
Nash equilibrium (NE) assumes that players always make a best response. However, this is not always true; sometimes people cooperate even it is not a best response to do so. For example, in the Prisoner's Dilemma, people often cooperate. Are there rules underlying cooperative behavior? In an effort to answer this question, we propose a new equilibrium concept: perfect cooperative equilibrium (PCE), and two related variants: max-PCE and cooperative equilibrium. PCE may help explain players' behavior in games where cooperation is observed in practice. A player's payoff in a PCE is at least as high as in any NE. However, a PCE does not always exist. We thus consider α-PCE, where α takes into account the degree of cooperation; a PCE is a 0-PCE. Every game has a Pareto-optimal max-PCE (M-PCE); that is, an α-PCE for a maximum α. We show that M-PCE does well at predicting behavior in quite a few games of interest. We also consider cooperative equilibrium (CE), another generalization of PCE that takes punishment into account. Interestingly, all Pareto-optimal M-PCE are CE. We prove that, in 2-player games, a PCE (if it exists), a M-PCE, and a CE can all be found in polynomial time using bilinear programming. This is a contrast to Nash equilibrium, which is PPAD complete even in 2-player games [Chen, Deng, and Teng 2009]. We compare M-PCE to the coco value [Kalai and Kalai 2009], another solution concept that tries to capture cooperation, both axiomatically and in terms of an algebraic characterization, and show that the two are closely related, despite their very different definitions.
△ Less
Submitted 20 December, 2014;
originally announced December 2014.
-
Sequential Equilibrium in Computational Games
Authors:
Joseph Y. Halpern,
Rafael Pass
Abstract:
We examine sequential equilibrium in the context of computational games, where agents are charged for computation. In such games, an agent can rationally choose to forget, so issues of imperfect recall arise. In this setting, we consider two notions of sequential equilibrium. One is an ex ante notion, where a player chooses his strategy before the game starts and is committed to it, but chooses it…
▽ More
We examine sequential equilibrium in the context of computational games, where agents are charged for computation. In such games, an agent can rationally choose to forget, so issues of imperfect recall arise. In this setting, we consider two notions of sequential equilibrium. One is an ex ante notion, where a player chooses his strategy before the game starts and is committed to it, but chooses it in such a way that it remains optimal even off the equilibrium path. The second is an interim notion, where a player can reconsider at each information set whether he is doing the "right" thing, and if not, can change his strategy. The two notions agree in games of perfect recall, but not in games of imperfect recall. Although the interim notion seems more appealing, \fullv{Halpern and Pass [2011] argue that there are some deep conceptual problems with it in standard games of imperfect recall. We show that the conceptual problems largely disappear in the computational setting. Moreover, in this setting, under natural assumptions, the two notions coincide.
△ Less
Submitted 19 December, 2014;
originally announced December 2014.
-
Coordinated X-ray, Ultraviolet, Optical, and Radio Observations of the PSR J1023+0038 System in a Low-mass X-ray Binary State
Authors:
Slavko Bogdanov,
Anne M. Archibald,
Cees Bassa,
Adam T. Deller,
Jules P. Halpern,
George Heald,
Jason W. T. Hessels,
Gemma H. Janssen,
Andrew G. Lyne,
Javier Moldon,
Zsolt Paragi,
Alessandro Patruno,
Benetge B. P. Perera,
Ben W. Stappers,
Shriharsh P. Tendulkar,
Caroline R. D'Angelo,
Rudy Wijnands
Abstract:
The PSR J1023+0038 binary system hosts a neutron star and a low-mass, main-sequence-like star. It switches on year timescales between states as an eclipsing radio millisecond pulsar and a low-mass X-ray binary. We present a multi-wavelength observational campaign of PSR J1023+0038 in its most recent low-mass X-ray binary state. Two long XMM-Newton observations reveal that the system spends ~70% of…
▽ More
The PSR J1023+0038 binary system hosts a neutron star and a low-mass, main-sequence-like star. It switches on year timescales between states as an eclipsing radio millisecond pulsar and a low-mass X-ray binary. We present a multi-wavelength observational campaign of PSR J1023+0038 in its most recent low-mass X-ray binary state. Two long XMM-Newton observations reveal that the system spends ~70% of the time in a $\approx$$3\times10^{33}$ erg/s X-ray luminosity mode, which, as shown in Archibald et al. (2014), exhibits coherent X-ray pulsations. This emission is interspersed with frequent lower flux mode intervals with $\approx$$5\times 10^{32}$ erg/s and sporadic flares reaching up to $\approx$$10^{34}$ erg/s, with neither mode showing significant X-ray pulsations. The switches between the three flux modes occur on timescales of order 10 s. In the UV and optical, we observe occasional intense flares coincident with those observed in X-rays. Our radio timing observations reveal no pulsations at the pulsar period during any of the three X-ray modes, presumably due to complete quenching of the radio emission mechanism by the accretion flow. Radio imaging detects highly variable, flat-spectrum continuum emission from PSR J1023+0038, consistent with an origin in a weak jet-like outflow. Our concurrent X-ray and radio continuum data sets do not exhibit any correlated behavior. The observational evidence we present bears qualitative resemblance to the behavior predicted by some existing propeller and trapped disk accretion models although none can fully account for all aspects of the rich phenomenology of this system.
△ Less
Submitted 17 April, 2015; v1 submitted 16 December, 2014;
originally announced December 2014.
-
Appropriate Causal Models and the Stability of Causation
Authors:
Joseph Y. Halpern
Abstract:
Causal models defined in terms of structural equations have proved to be quite a powerful way of representing knowledge regarding causality. However, a number of authors have given examples that seem to show that the Halpern-Pearl (HP) definition of causality gives intuitively unreasonable answers. Here it is shown that, for each of these examples, we can give two stories consistent with the descr…
▽ More
Causal models defined in terms of structural equations have proved to be quite a powerful way of representing knowledge regarding causality. However, a number of authors have given examples that seem to show that the Halpern-Pearl (HP) definition of causality gives intuitively unreasonable answers. Here it is shown that, for each of these examples, we can give two stories consistent with the description in the example, such that intuitions regarding causality are quite different for each story. By adding additional variables, we can disambiguate the stories. Moreover, in the resulting causal models, the HP definition of causality gives the intuitively correct answer. It is also shown that, by adding extra variables, a modification to the original HP definition made to deal with an example of Hopkins and Pearl may not be necessary. Given how much can be done by adding extra variables, there might be a concern that the notion of causality is somewhat unstable. Can adding extra variables in a "conservative" way (i.e., maintaining all the relations between the variables in the original model) cause the answer to the question "Is X=x a cause of Y=y" to alternate between "yes" and "no"? It is shown that we can have such alternation infinitely often, but if we take normality into consideration, we cannot. Indeed, under appropriate normality assumptions. adding an extra variable can change the answer from "yes" to "no", but after that, it cannot cannot change back to "yes".
△ Less
Submitted 3 August, 2015; v1 submitted 10 December, 2014;
originally announced December 2014.
-
The Computational Complexity of Structure-Based Causality
Authors:
Gadi Aleksandrowicz,
Hana Chockler,
Joseph Y. Halpern,
Alexander Ivrii
Abstract:
Halpern and Pearl introduced a definition of actual causality; Eiter and Lukasiewicz showed that computing whether X=x is a cause of Y=y is NP-complete in binary models (where all variables can take on only two values) and\ Sigma_2^P-complete in general models. In the final version of their paper, Halpern and Pearl slightly modified the definition of actual cause, in order to deal with problems po…
▽ More
Halpern and Pearl introduced a definition of actual causality; Eiter and Lukasiewicz showed that computing whether X=x is a cause of Y=y is NP-complete in binary models (where all variables can take on only two values) and\ Sigma_2^P-complete in general models. In the final version of their paper, Halpern and Pearl slightly modified the definition of actual cause, in order to deal with problems pointed by Hopkins and Pearl. As we show, this modification has a nontrivial impact on the complexity of computing actual cause. To characterize the complexity, a new family D_k^P, k= 1, 2, 3, ..., of complexity classes is introduced, which generalizes the class DP introduced by Papadimitriou and Yannakakis (DP is just D_1^P). %joe2 %We show that the complexity of computing causality is $\D_2$-complete %under the new definition. Chockler and Halpern \citeyear{CH04} extended the We show that the complexity of computing causality under the updated definition is $D_2^P$-complete.
Chockler and Halpern extended the definition of causality by introducing notions of responsibility and blame. The complexity of determining the degree of responsibility and blame using the original definition of causality was completely characterized. Again, we show that changing the definition of causality affects the complexity, and completely characterize it using the updated definition.
△ Less
Submitted 9 December, 2014;
originally announced December 2014.
-
Algorithmic Rationality: Game Theory with Costly Computation
Authors:
Joseph Y. Halpern,
Rafael Pass
Abstract:
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic results (such as the existence of a Nash equilibrium) no longer hold. Nevertheless, we can use the framework to provide psychologically appealing explanations of observed behavior in well-studied games (such as finitely repeat…
▽ More
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic results (such as the existence of a Nash equilibrium) no longer hold. Nevertheless, we can use the framework to provide psychologically appealing explanations of observed behavior in well-studied games (such as finitely repeated prisoner's dilemma and rock-paper-scissors). Furthermore, we provide natural conditions on games sufficient to guarantee that equilibria exist.
△ Less
Submitted 9 December, 2014;
originally announced December 2014.
-
Cause, Responsibility, and Blame: oA Structural-Model Approach
Authors:
Joseph Y. Halpern
Abstract:
A definition of causality introduced by Halpern and Pearl, which uses structural equations, is reviewed. A more refined definition is then considered, which takes into account issues of normality and typicality, which are well known to affect causal ascriptions. Causality is typically an all-or-nothing notion: either A is a cause of B or it is not. An extension of the definition of causality to ca…
▽ More
A definition of causality introduced by Halpern and Pearl, which uses structural equations, is reviewed. A more refined definition is then considered, which takes into account issues of normality and typicality, which are well known to affect causal ascriptions. Causality is typically an all-or-nothing notion: either A is a cause of B or it is not. An extension of the definition of causality to capture notions of degree of responsibility and degree of blame, due to Chockler and Halpern, is reviewed. For example, if someone wins an election 11-0, then each person who votes for him is less responsible for the victory than if he had won 6-5. Degree of blame takes into account an agent's epistemic state. Roughly speaking, the degree of blame of A for B is the expected degree of responsibility of A for B, taken over the epistemic state of an agent. Finally, the structural-equations definition of causality is compared to Wright's NESS test.
△ Less
Submitted 9 December, 2014;
originally announced December 2014.
-
Translucent Players: Explaining Cooperative Behavior in Social Dilemmas
Authors:
Valerio Capraro,
Joseph Y. Halpern
Abstract:
In the last few decades, numerous experiments have shown that humans do not always behave so as to maximize their material payoff. Cooperative behavior when non-cooperation is a dominant strategy (with respect to the material payoffs) is particularly puzzling. Here we propose a novel approach to explain cooperation, assuming what Halpern and Pass (2013) call "translucent players". Typically, playe…
▽ More
In the last few decades, numerous experiments have shown that humans do not always behave so as to maximize their material payoff. Cooperative behavior when non-cooperation is a dominant strategy (with respect to the material payoffs) is particularly puzzling. Here we propose a novel approach to explain cooperation, assuming what Halpern and Pass (2013) call "translucent players". Typically, players are assumed to be "opaque", in the sense that a deviation by one player does not affect the strategies used by other players. But a player may believe that if he switches from one strategy to another, the fact that he chooses to switch may be visible to the other players. For example, if he chooses to defect in Prisoner's Dilemma, the other player may sense his guilt. We show that by assuming translucent players, we can recover many of the regularities observed in human behavior in well-studied games such as Prisoner's Dilemma, Traveler's Dilemma, Bertrand Competition, and the Public Goods game.
△ Less
Submitted 4 November, 2014; v1 submitted 13 October, 2014;
originally announced October 2014.
-
Discovery of X-ray Pulsations from the INTEGRAL Source IGR J11014-6103
Authors:
J. P. Halpern,
J. A. Tomsick,
E. V. Gotthelf,
F. Camilo,
C. -Y. Ng,
A. Bodaghee,
J. Rodriguez,
S. Chaty,
F. Rahoui
Abstract:
We report the discovery of PSR J1101-6101, a 62.8 ms pulsar in IGR J11014-6103, a hard X-ray source with a jet and a cometary tail that strongly suggests it is moving away from the center of the supernova remnant (SNR) MSH 11-61A at v>1000 km/s. Two XMM-Newton observations were obtained with the EPIC pn in small window mode, resulting in the measurement of its spin-down luminosity E_dot = 1.36e36…
▽ More
We report the discovery of PSR J1101-6101, a 62.8 ms pulsar in IGR J11014-6103, a hard X-ray source with a jet and a cometary tail that strongly suggests it is moving away from the center of the supernova remnant (SNR) MSH 11-61A at v>1000 km/s. Two XMM-Newton observations were obtained with the EPIC pn in small window mode, resulting in the measurement of its spin-down luminosity E_dot = 1.36e36 erg/s, characteristic age Tau_c = 116 kyr, and surface magnetic field strength B_s = 7.4e11 G. In comparison to Tau_c, the 10-30 kyr age estimated for MSH 11-61A suggests that the pulsar was born in the SNR with initial period in the range 54 < P_0 < 60 ms. PSR J1101-6101 is the least energetic of the 15 rotation-powered pulsars detected by INTEGRAL, and has a high efficiency of hard X-ray radiation and jet power. We examine the shape of the cometary nebula in a Chandra image, which is roughly consistent with a bow shock at the velocity inferred from the SNR age and the pulsar's E-dot. However, its structure differs in detail from the classic bow shock, and we explore possible reasons for this.
△ Less
Submitted 8 October, 2014;
originally announced October 2014.
-
Optical Counterparts of Two Fermi Millisecond Pulsars: PSR J1301+0833 and PSR J1628-3205
Authors:
Miao Li,
Jules P. Halpern,
John R. Thorstensen
Abstract:
Using the 1.3m and 2.4m telescopes of the MDM Observatory, we identified the close companions of two eclipsing millisecond radio pulsars discovered by the Green Bank Telescope in searches of Fermi Gamma-ray Space Telescope sources, and measured their light curves. PSR J1301+0833 is a black widow pulsar in a 6.5 hr orbit whose companion star is strongly heated on the side facing the pulsar. It vari…
▽ More
Using the 1.3m and 2.4m telescopes of the MDM Observatory, we identified the close companions of two eclipsing millisecond radio pulsars discovered by the Green Bank Telescope in searches of Fermi Gamma-ray Space Telescope sources, and measured their light curves. PSR J1301+0833 is a black widow pulsar in a 6.5 hr orbit whose companion star is strongly heated on the side facing the pulsar. It varies from R = 21.8 to R > 24 around the orbit. PSR J1628-3205 is a "redback," a nearly Roche-lobe filling system in a 5.0 hr orbit whose optical modulation in the range 19.0 < R < 19.4 is dominated by strong ellipsoidal variations, indicating a large orbital inclination angle. PSR J1628-3205 also shows evidence for a long-term variation of about 0.2 mag, and an asymmetric temperature distribution possibly due to either off-center heating by the pulsar wind, or large starspots. Modelling of its light curve restricts the inclination angle to i > 55 degrees, the mass of the companion to 0.16 < M_c < 0.30 M_sun, and the effective temperature to 3560 < T_eff < 4670 K. As is the case for several redbacks, the companion of PSR J1628-3205 is less dense and hotter than a main-sequence star of the same mass.
△ Less
Submitted 12 September, 2014;
originally announced September 2014.
-
A broadband X-ray study of the Geminga pulsar with NuSTAR and XMM-Newton
Authors:
Kaya Mori,
Eric V. Gotthelf,
Francois Dufour,
Victoria M. Kaspi,
Jules P. Halpern,
Andrei M. Beloborodov,
Hongjun An,
Matteo Bachetti,
Steven E. Boggs,
Finn E. Christensen,
William W. Craig,
Charles J. Hailey,
Fiona A. Harrison,
Chryssa Kouveliotou,
Michael J. Pivovaroff,
Daniel Stern,
William W. Zhang
Abstract:
We report on the first hard X-ray detection of the Geminga pulsar above 10 keV using a 150 ks observation with the NuSTAR observatory. The double-peaked pulse profile of non-thermal emission seen in the soft X-ray band persists at higher energies. Broadband phase-integrated spectra over the 0.2-20 keV band with NuSTAR and archival XMM-Newton data do not fit to a conventional two-component model of…
▽ More
We report on the first hard X-ray detection of the Geminga pulsar above 10 keV using a 150 ks observation with the NuSTAR observatory. The double-peaked pulse profile of non-thermal emission seen in the soft X-ray band persists at higher energies. Broadband phase-integrated spectra over the 0.2-20 keV band with NuSTAR and archival XMM-Newton data do not fit to a conventional two-component model of a blackbody plus power-law, but instead exhibit spectral hardening above ~5 keV. We find two spectral models fit the data well: (1) a blackbody (kT1 ~ 42 eV) with a broken power-law (Gamma1 ~ 2.0, Gamma2 ~ 1.4 and Ebreak ~ 3.4 keV), and (2) two blackbody components (kT1 ~ 44 eV and kT2 ~ 195 eV) with a power-law component (Gamma ~ 1.7). In both cases, the extrapolation of the Rayleigh-Jeans tail of the thermal component is consistent with the UV data, while the non-thermal component overpredicts the near-infrared data, requiring a spectral flattening at E ~ 0.01 - 1 keV. While strong phase variation of the power-law index is present below ~5 keV, our phase-resolved spectroscopy with NuSTAR indicates that another hard non-thermal component with Gamma ~ 1.3 emerges above ~5 keV. The spectral hardening in non-thermal X-ray emission as well as spectral flattening between the optical and X-ray bands argue against the conjecture that a single power-law may account for multi-wavelength non-thermal spectra of middle-aged pulsars.
△ Less
Submitted 7 August, 2014;
originally announced August 2014.
-
A Logic for Reasoning about Upper Probabilities
Authors:
Joseph Y. Halpern,
Riccardo Pucella
Abstract:
We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability to each event. We give a sound and complete axiomatization for the logic, and show that the satisfiability problem is NP-complete, no harder than satisfiability for propositional logic.
We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability to each event. We give a sound and complete axiomatization for the logic, and show that the satisfiability problem is NP-complete, no harder than satisfiability for propositional logic.
△ Less
Submitted 7 August, 2014;
originally announced August 2014.
-
Axiomatizing Causal Reasoning
Authors:
Joseph Y. Halpern
Abstract:
Causal models defined in terms of a collection of equations, as defined by Pearl, are axiomatized here. Axiomatizations are provided for three successively more general classes of causal models: (1) the class of recursive theories (those without feedback), (2) the class of theories where the solutions to the equations are unique, (3) arbitrary theories (where the equations may not have solutions…
▽ More
Causal models defined in terms of a collection of equations, as defined by Pearl, are axiomatized here. Axiomatizations are provided for three successively more general classes of causal models: (1) the class of recursive theories (those without feedback), (2) the class of theories where the solutions to the equations are unique, (3) arbitrary theories (where the equations may not have solutions and, if they do, they are not necessarily unique). It is shown that to reason about causality in the most general third class, we must extend the language used by Galles and Pearl. In addition, the complexity of the decision procedures is examined for all the languages and classes of models considered.
△ Less
Submitted 7 August, 2014;
originally announced August 2014.
-
MDPs with Unawareness
Authors:
Joseph Y. Halpern,
Nan Rong,
Ashutosh Saxena
Abstract:
Markov decision processes (MDPs) are widely used for modeling decision-making problems in robotics, automated control, and economics. Traditional MDPs assume that the decision maker (DM) knows all states and actions. However, this may not be true in many situations of interest. We define a new framework, MDPs with unawareness (MDPUs) to deal with the possibilities that a DM may not be aware of all…
▽ More
Markov decision processes (MDPs) are widely used for modeling decision-making problems in robotics, automated control, and economics. Traditional MDPs assume that the decision maker (DM) knows all states and actions. However, this may not be true in many situations of interest. We define a new framework, MDPs with unawareness (MDPUs) to deal with the possibilities that a DM may not be aware of all possible actions. We provide a complete characterization of when a DM can learn to play near-optimally in an MDPU, and give an algorithm that learns to play near-optimally when it is possible to do so, as efficiently as possible. In particular, we characterize when a near-optimal solution can be found in polynomial time.
△ Less
Submitted 27 July, 2014;
originally announced July 2014.
-
A Game-Theoretic Analysis of Updating Sets of Probabilities
Authors:
Peter D. Grunwald,
Joseph Y. Halpern
Abstract:
We consider how an agent should update her uncertainty when it is represented by a set P of probability distributions and the agent observes that a random variable X takes on value x, given that the agent makes decisions using the minimax criterion, perhaps the best-studied and most commonly-used criterion in the literature. We adopt a game-theoretic framework, where the agent plays against a book…
▽ More
We consider how an agent should update her uncertainty when it is represented by a set P of probability distributions and the agent observes that a random variable X takes on value x, given that the agent makes decisions using the minimax criterion, perhaps the best-studied and most commonly-used criterion in the literature. We adopt a game-theoretic framework, where the agent plays against a bookie, who chooses some distribution from P. We consider two reasonable games that differ in what the bookie knows when he makes his choice. Anomalies that have been observed before, like time inconsistency, can be understood as arising because different games are being played, against bookies with different information. We characterize the important special cases in which the optimal decision rules according to the minimax criterion amount to either conditioning or simply ignoring the information. Finally, we consider the relationship between conditioning and calibration when uncertainty is described by sets of probabilities.
△ Less
Submitted 27 July, 2014;
originally announced July 2014.
-
Evidence with Uncertain Likelihoods
Authors:
Joseph Y. Halpern,
Riccardo Pucella
Abstract:
An agent often has a number of hypotheses, and must choose among them based on observations, or outcomes of experiments. Each of these observations can be viewed as providing evidence for or against various hypotheses. All the attempts to formalize this intuition up to now have assumed that associated with each hypothesis h there is a likelihood function μh, which is a probability measure that int…
▽ More
An agent often has a number of hypotheses, and must choose among them based on observations, or outcomes of experiments. Each of these observations can be viewed as providing evidence for or against various hypotheses. All the attempts to formalize this intuition up to now have assumed that associated with each hypothesis h there is a likelihood function μh, which is a probability measure that intuitively describes how likely each observation is, conditional on h being the correct hypothesis. We consider an extension of this framework where there is uncertainty as to which of a number of likelihood functions is appropriate, and discuss how one formal approach to defining evidence, which views evidence as a function from priors to posteriors, can be generalized to accommodate this uncertainty.
△ Less
Submitted 27 July, 2014;
originally announced July 2014.
-
When Ignorance is Bliss
Authors:
Peter D. Grunwald,
Joseph Y. Halpern
Abstract:
It is commonly-accepted wisdom that more information is better, and that information should never be ignored. Here we argue, using both a Bayesian and a non-Bayesian analysis, that in some situations you are better off ignoring information if your uncertainty is represented by a set of probability measures. These include situations in which the information is relevant for the prediction task at ha…
▽ More
It is commonly-accepted wisdom that more information is better, and that information should never be ignored. Here we argue, using both a Bayesian and a non-Bayesian analysis, that in some situations you are better off ignoring information if your uncertainty is represented by a set of probability measures. These include situations in which the information is relevant for the prediction task at hand. In the non-Bayesian analysis, we show how ignoring information avoids dilation, the phenomenon that additional pieces of information sometimes lead to an increase in uncertainty. In the Bayesian analysis, we show that for small sample sizes and certain prediction tasks, the Bayesian posterior based on a noninformative prior yields worse predictions than simply ignoring the given information.
△ Less
Submitted 27 July, 2014;
originally announced July 2014.
-
A Logic for Reasoning about Evidence
Authors:
Joseph Y. Halpern,
Riccardo Pucella
Abstract:
We introduce a logic for reasoning about evidence, that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after making the observation). We provide a sound and complete axiomatization for the logic, and consider the complexity of the decision problem. Although the reasoning in the logic is mainly propositional, we a…
▽ More
We introduce a logic for reasoning about evidence, that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after making the observation). We provide a sound and complete axiomatization for the logic, and consider the complexity of the decision problem. Although the reasoning in the logic is mainly propositional, we allow variables representing numbers and quantification over them. This expressive power seems necessary to capture important properties of evidence
△ Less
Submitted 27 July, 2014;
originally announced July 2014.
-
Reasoning about Expectation
Authors:
Joseph Y. Halpern,
Riccardo Pucella
Abstract:
Expectation is a central notion in probability theory. The notion of expectation also makes sense for other notions of uncertainty. We introduce a propositional logic for reasoning about expectation, where the semantics depends on the underlying representation of uncertainty. We give sound and complete axiomatizations for the logic in the case that the underlying representation is (a) probabili…
▽ More
Expectation is a central notion in probability theory. The notion of expectation also makes sense for other notions of uncertainty. We introduce a propositional logic for reasoning about expectation, where the semantics depends on the underlying representation of uncertainty. We give sound and complete axiomatizations for the logic in the case that the underlying representation is (a) probability, (b) sets of probability measures, (c) belief functions, and (d) possibility measures. We show that this logic is more expressive than the corresponding logic for reasoning about likelihood in the case of sets of probability measures, but equi-expressive in the case of probability, belief, and possibility. Finally, we show that satisfiability for these logics is NP-complete, no harder than satisfiability for propositional logic.
△ Less
Submitted 27 July, 2014;
originally announced July 2014.
-
Updating Probabilities
Authors:
Peter D. Grunwald,
Joseph Y. Halpern
Abstract:
As examples such as the Monty Hall puzzle show, applying conditioning to update a probability distribution on a ``naive space', which does not take into account the protocol used, can often lead to counterintuitive results. Here we examine why. A criterion known as CAR (coarsening at random) in the statistical literature characterizes when ``naive' conditioning in a naive space works. We show…
▽ More
As examples such as the Monty Hall puzzle show, applying conditioning to update a probability distribution on a ``naive space', which does not take into account the protocol used, can often lead to counterintuitive results. Here we examine why. A criterion known as CAR (coarsening at random) in the statistical literature characterizes when ``naive' conditioning in a naive space works. We show that the CAR condition holds rather infrequently. We then consider more generalized notions of update such as Jeffrey conditioning and minimizing relative entropy (MRE). We give a generalization of the CAR condition that characterizes when Jeffrey conditioning leads to appropriate answers, but show that there are no such conditions for MRE. This generalizes and interconnects previous results obtained in the literature on CAR and MRE.
△ Less
Submitted 27 July, 2014;
originally announced July 2014.
-
Conditional Plausibility Measures and Bayesian Networks
Authors:
Joseph Y. Halpern
Abstract:
A general notion of algebraic conditional plausibility measures is defined. Probability measures, ranking functions, possibility measures, and (under the appropriate definitions) sets of probability measures can all be viewed as defining algebraic conditional plausibility measures. It is shown that the technology of Bayesian networks can be applied to algebraic conditional plausibility measures.
A general notion of algebraic conditional plausibility measures is defined. Probability measures, ranking functions, possibility measures, and (under the appropriate definitions) sets of probability measures can all be viewed as defining algebraic conditional plausibility measures. It is shown that the technology of Bayesian networks can be applied to algebraic conditional plausibility measures.
△ Less
Submitted 27 July, 2014;
originally announced July 2014.
-
Defining Relative Likelihood in Partially-Ordered Preferential Structures
Authors:
Joseph Y. Halpern
Abstract:
Starting with a likelihood or preference order on worlds, we extend it to a likelihood ordering on sets of worlds in a natural way, and examine the resulting logic. Lewis (1973) earlier considered such a notion of relative likelihood in the context of studying counterfactuals, but he assumed a total preference order on worlds. Complications arise when examining partial orders that are not presen…
▽ More
Starting with a likelihood or preference order on worlds, we extend it to a likelihood ordering on sets of worlds in a natural way, and examine the resulting logic. Lewis (1973) earlier considered such a notion of relative likelihood in the context of studying counterfactuals, but he assumed a total preference order on worlds. Complications arise when examining partial orders that are not present for total orders. There are subtleties involving the exact approach to lifting the order on worlds to an order on sets of worlds. In addition, the axiomatization of the logic of relative likelihood in the case of partial orders gives insight into the connection between relative likelihood and default reasoning.
△ Less
Submitted 27 July, 2014;
originally announced July 2014.
-
NuSTAR Discovery of a Young, Energetic Pulsar Associated with the Luminous Gamma-ray Source HESS J1640-465
Authors:
E. V. Gotthelf,
J. A. Tomsick,
J. P. Halpern,
J. D. Gelfand,
F. A. Harrison,
S. E. Boggs,
F. E. Christensen,
W. W. Craig,
J. C. Hailey,
V. M. Kaspi,
D. K. Stern,
W. W. Zhang
Abstract:
We report the discovery of a 206 ms pulsar associated with the TeV gamma-ray source HESS J1640-465 using the Nuclear Spectroscopic Telescope Array (NuSTAR) X-ray observatory. PSR J1640-4631 lies within the shell-type supernova remnant (SNR) G338.3-0.0, and coincides with an X-ray point source and putative pulsar wind nebula (PWN) previously identified in XMM-Newton and Chandra images. It is spinni…
▽ More
We report the discovery of a 206 ms pulsar associated with the TeV gamma-ray source HESS J1640-465 using the Nuclear Spectroscopic Telescope Array (NuSTAR) X-ray observatory. PSR J1640-4631 lies within the shell-type supernova remnant (SNR) G338.3-0.0, and coincides with an X-ray point source and putative pulsar wind nebula (PWN) previously identified in XMM-Newton and Chandra images. It is spinning down rapidly with period derivative Pdot = 9.758(44)E-13, yielding a spin-down luminosity Edot = 4.4E36 erg s-1, characteristic age = P/2Pdot = 3350 yr, and surface dipole magnetic field strength Bs = 1.4E13 G. For the measured distance of 12 kpc to G338.3-0.0, the 0.2 - 10 TeV luminosity of HESS J1640-465 is 6% of the pulsar's present Edot. The Fermi source 1FHL J1640.5-4634 is marginally coincident with PSR J1640-4631, but we find no gamma-ray pulsations in a search using 5 years of Fermi Large Area Telescope (LAT) data. The pulsar energetics support an evolutionary PWN model for the broad-band spectrum of HESS J1640-465, provided that the pulsar's braking index is approximately 2, and that its initial spin period was Po ~ 15 ms.
△ Less
Submitted 2 May, 2014;
originally announced May 2014.
-
Observations and Modeling of the Companions of Short Period Binary Millisecond Pulsars: Evidence for High-Mass Neutron Stars
Authors:
Joshua Schroeder,
Jules Halpern
Abstract:
We present observations of fields containing eight recently discovered binary millisecond pulsars using the telescopes at MDM Observatory. Optical counterparts to four of these systems are detected, one of which, PSR J2214+3000, is a novel detection. Additionally, we present the fully phase-resolved B, V, and R light curves of the optical counterparts to two objects, PSR J1810+1744 and PSR J2215+5…
▽ More
We present observations of fields containing eight recently discovered binary millisecond pulsars using the telescopes at MDM Observatory. Optical counterparts to four of these systems are detected, one of which, PSR J2214+3000, is a novel detection. Additionally, we present the fully phase-resolved B, V, and R light curves of the optical counterparts to two objects, PSR J1810+1744 and PSR J2215+5135 for which we employ model fitting using the ELC model of Orosz & Hauschildt (2000) to measure the unknown system parameters. For PSR J1810+1744 we find that the system parameters cannot be fit even assuming that 100% of the spin-down luminosity of the pulsar is irradiating the secondary, and so radial velocity measurements of this object will be required for the complete solution. However, PSR J2215+5135 exhibits light curves that are extremely well constrained using the ELC model and we find that the mass of the neutron star is constrained by these and the radio observations to be greater than 1.75 solar masses at the 3-sigma level. We also find a discrepancy between the model temperature and the measured colors of this object which we interpret as possible evidence for an additional high-temperature source such as a quiescent disk. Given this and the fact that PSR J2214+5135 contains a relatively high mass companion (greater than 0.1 solar masses), we propose that similar to the binary pulsar systems PSR J1023+0038 and IGR J18245-2452, the pulsar may transition between accretion- and rotation-powered modes.
△ Less
Submitted 30 January, 2014;
originally announced January 2014.
-
Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration
Authors:
Peter D Grunwald,
Joseph Y Halpern
Abstract:
We consider how an agent should update her beliefs when her beliefs are represented by a set P of probability distributions, given that the agent makes decisions using the minimax criterion, perhaps the best-studied and most commonly-used criterion in the literature. We adopt a game-theoretic framework, where the agent plays against a bookie, who chooses some distribution from P. We consider two r…
▽ More
We consider how an agent should update her beliefs when her beliefs are represented by a set P of probability distributions, given that the agent makes decisions using the minimax criterion, perhaps the best-studied and most commonly-used criterion in the literature. We adopt a game-theoretic framework, where the agent plays against a bookie, who chooses some distribution from P. We consider two reasonable games that differ in what the bookie knows when he makes his choice. Anomalies that have been observed before, like time inconsistency, can be understood as arising because different games are being played, against bookies with different information. We characterize the important special cases in which the optimal decision rules according to the minimax criterion amount to either conditioning or simply ignoring the information. Finally, we consider the relationship between updating and calibration when uncertainty is described by sets of probabilities. Our results emphasize the key role of the rectangularity condition of Epstein and Schneider.
△ Less
Submitted 16 January, 2014;
originally announced January 2014.
-
A logic for reasoning about ambiguity
Authors:
Joseph Y. Halpern,
Willemien Kets
Abstract:
Standard models of multi-agent modal logic do not capture the fact that information is often \emph{ambiguous}, and may be interpreted in different ways by different agents. We propose a framework that can model this, and consider different semantics that capture different assumptions about the agents' beliefs regarding whether or not there is ambiguity. We examine the expressive power of logics of…
▽ More
Standard models of multi-agent modal logic do not capture the fact that information is often \emph{ambiguous}, and may be interpreted in different ways by different agents. We propose a framework that can model this, and consider different semantics that capture different assumptions about the agents' beliefs regarding whether or not there is ambiguity. We examine the expressive power of logics of ambiguity compared to logics that cannot model ambiguity, with respect to the different semantics that we propose.
△ Less
Submitted 9 January, 2014;
originally announced January 2014.
-
The Truth Behind the Myth of the Folk Theorem
Authors:
Joseph Y. Halpern,
Rafael Pass,
Lior Seeman
Abstract:
We study the problem of computing an $ε$-Nash equilibrium in repeated games. Earlier work by Borgs et al. [2010] suggests that this problem is intractable. We show that if we make a slight change to their model---modeling the players as polynomial-time Turing machines that maintain state ---and make some standard cryptographic hardness assumptions (the existence of public-key encryption), the prob…
▽ More
We study the problem of computing an $ε$-Nash equilibrium in repeated games. Earlier work by Borgs et al. [2010] suggests that this problem is intractable. We show that if we make a slight change to their model---modeling the players as polynomial-time Turing machines that maintain state ---and make some standard cryptographic hardness assumptions (the existence of public-key encryption), the problem can actually be solved in polynomial time. Our algorithm works not only for games with a finite number of players, but also for constant-degree graphical games.
As Nash equilibrium is a weak solution concept for extensive form games, we additionally define and study an appropriate notion of a subgame-perfect equilibrium for computationally bounded players, and show how to efficiently find such an equilibrium in repeated games (again, making standard cryptographic hardness assumptions).
△ Less
Submitted 20 March, 2015; v1 submitted 3 December, 2013;
originally announced December 2013.
-
X-ray Measurement of the Spin-Down of Calvera: a Radio- and Gamma-ray-Quiet Pulsar
Authors:
J. P. Halpern,
S. Bogdanov,
E. V. Gotthelf
Abstract:
We measure spin-down of the 59 ms X-ray pulsar Calvera by comparing the XMM-Newton discovery data from 2009 with new Chandra timing observations taken in 2013. Its period derivative is P-dot = (3.19+/-0.08)e-15, which corresponds to spin-down luminosity E-dot = 6.1e35 erg/s, characteristic age tau_c = P/2P-dot = 2.9e5 yr, and surface dipole magnetic field strength B_s = 4.4e11 G. These values rule…
▽ More
We measure spin-down of the 59 ms X-ray pulsar Calvera by comparing the XMM-Newton discovery data from 2009 with new Chandra timing observations taken in 2013. Its period derivative is P-dot = (3.19+/-0.08)e-15, which corresponds to spin-down luminosity E-dot = 6.1e35 erg/s, characteristic age tau_c = P/2P-dot = 2.9e5 yr, and surface dipole magnetic field strength B_s = 4.4e11 G. These values rule out a mildly recycled pulsar, but Calvera could be an orphaned central compact object (anti-magnetar), with a magnetic field that was initially buried by supernova debris and is now reemerging and approaching normal strength. We also performed unsuccessful searches for high-energy gamma-rays from Calvera in both imaging and timing of >100 MeV Fermi photons. Even though the distance to Calvera is uncertain by an order of magnitude, an upper limit of d < 2 kpc inferred from X-ray spectra implies a gamma-ray luminosity limit of < 3.3e32 erg/s, which is less than that of any pulsar of comparable E-dot. Calvera shares some properties with PSR J1740+1000, a young radio pulsar that we show by virtue of its lack of proper motion was born outside of the Galactic disk. As an energetic, high-Galactic-latitude pulsar, Calvera is unique in being undetected in both radio and gamma-rays to faint limits, which should place interesting constraints on models for particle acceleration and beam patterns in pulsar magnetospheres.
△ Less
Submitted 24 October, 2013;
originally announced October 2013.
-
Game Theory with Translucent Players
Authors:
Joseph Y. Halpern,
Rafael Pass
Abstract:
A traditional assumption in game theory is that players are opaque to one another -- if a player changes strategies, then this change in strategies does not affect the choice of other players' strategies. In many situations this is an unrealistic assumption. We develop a framework for reasoning about games where the players may be translucent to one another; in particular, a player may believe tha…
▽ More
A traditional assumption in game theory is that players are opaque to one another -- if a player changes strategies, then this change in strategies does not affect the choice of other players' strategies. In many situations this is an unrealistic assumption. We develop a framework for reasoning about games where the players may be translucent to one another; in particular, a player may believe that if she were to change strategies, then the other player would also change strategies. Translucent players may achieve significantly more efficient outcomes than opaque ones.
Our main result is a characterization of strategies consistent with appropriate analogues of common belief of rationality. Common Counterfactual Belief of Rationality (CCBR) holds if (1) everyone is rational, (2) everyone counterfactually believes that everyone else is rational (i.e., all players i believe that everyone else would still be rational even if i were to switch strategies), (3) everyone counterfactually believes that everyone else is rational, and counterfactually believes that everyone else is rational, and so on. CCBR characterizes the set of strategies surviving iterated removal of minimax dominated strategies: a strategy $σ_i$ is minimax dominated for i if there exists a strategy $σ'_i$ for i such that $\min_{μ'_{-i}} u_i(σ_i, μ_{-i}') > \max_{μ_{-i}} u_i(σ_i, μ_{-i})$.
△ Less
Submitted 23 October, 2013;
originally announced October 2013.
-
Language-based Games
Authors:
Adam Bjorndahl,
Joseph Y. Halpern,
Rafael Pass
Abstract:
We introduce language-based games, a generalization of psychological games [6] that can also capture reference-dependent preferences [7]. The idea is to extend the domain of the utility function to situations, maximal consistent sets in some language. The role of the underlying language in this framework is thus particularly critical. Of special interest are languages that can express only coarse…
▽ More
We introduce language-based games, a generalization of psychological games [6] that can also capture reference-dependent preferences [7]. The idea is to extend the domain of the utility function to situations, maximal consistent sets in some language. The role of the underlying language in this framework is thus particularly critical. Of special interest are languages that can express only coarse beliefs [9]. Despite the expressive power of the approach, we show that it can describe games in a simple, natural way. Nash equilibrium and rationalizability are generalized to this setting; Nash equilibrium is shown not to exist in general, while the existence of rationalizable strategies is proved under mild conditions.
△ Less
Submitted 23 October, 2013;
originally announced October 2013.
-
Weighted regret-based likelihood: a new approach to describing uncertainty
Authors:
Joseph Y. Halpern
Abstract:
Recently, Halpern and Leung suggested representing uncertainty by a weighted set of probability measures, and suggested a way of making decisions based on this representation of uncertainty: maximizing weighted regret. Their paper does not answer an apparently simpler question: what it means, according to this representation of uncertainty, for an event E to be more likely than an event E'. In thi…
▽ More
Recently, Halpern and Leung suggested representing uncertainty by a weighted set of probability measures, and suggested a way of making decisions based on this representation of uncertainty: maximizing weighted regret. Their paper does not answer an apparently simpler question: what it means, according to this representation of uncertainty, for an event E to be more likely than an event E'. In this paper, a notion of comparative likelihood when uncertainty is represented by a weighted set of probability measures is defined. It generalizes the ordering defined by probability (and by lower probability) in a natural way; a generalization of upper probability can also be defined. A complete axiomatic characterization of this notion of regret-based likelihood is given.
△ Less
Submitted 4 September, 2013;
originally announced September 2013.
-
Compact Representations of Extended Causal Models
Authors:
Joseph Y. Halpern,
Christopher Hitchcock
Abstract:
Judea Pearl was the first to propose a definition of actual causation using causal models. A number of authors have suggested that an adequate account of actual causation must appeal not only to causal structure, but also to considerations of normality. In earlier work, we provided a definition of actual causation using extended causal models, which include information about both causal structure…
▽ More
Judea Pearl was the first to propose a definition of actual causation using causal models. A number of authors have suggested that an adequate account of actual causation must appeal not only to causal structure, but also to considerations of normality. In earlier work, we provided a definition of actual causation using extended causal models, which include information about both causal structure and normality. Extended causal models are potentially very complex. In this paper, we show how it is possible to achieve a compact representation of extended causal models.
△ Less
Submitted 4 September, 2013;
originally announced September 2013.
-
Graded Causation and Defaults
Authors:
Joseph Y. Halpern,
Christopher Hitchcock
Abstract:
Recent work in psychology and experimental philosophy has shown that judgments of actual causation are often influenced by consideration of defaults, typicality, and normality. A number of philosophers and computer scientists have also suggested that an appeal to such factors can help deal with problems facing existing accounts of actual causation. This paper develops a flexible formal framework f…
▽ More
Recent work in psychology and experimental philosophy has shown that judgments of actual causation are often influenced by consideration of defaults, typicality, and normality. A number of philosophers and computer scientists have also suggested that an appeal to such factors can help deal with problems facing existing accounts of actual causation. This paper develops a flexible formal framework for incorporating defaults, typicality, and normality into an account of actual causation. The resulting account takes actual causation to be both graded and comparative. We then show how our account would handle a number of standard cases.
△ Less
Submitted 4 September, 2013;
originally announced September 2013.
-
Discovery of a new TeV gamma-ray source: VER J0521+211
Authors:
VERITAS Collaboration,
S. Archambault,
T. Arlen,
T. Aune,
M. Beilicke,
W. Benbow,
R. Bird,
A. Bouvier,
J. H. Buckley,
V. Bugaev,
K. Byrum,
A. Cesarini,
L. Ciupik,
M. P. Connolly,
W. Cui,
M. Errando,
A. Falcone,
S. Federici,
Q. Feng,
J. P. Finley,
L. Fortson,
A. Furniss,
N. Galante,
D. Gall,
G. H. Gillanders
, et al. (61 additional authors not shown)
Abstract:
We report the detection of a new TeV gamma-ray source, VER J0521+211, based on observations made with the VERITAS imaging atmospheric Cherenkov telescope array. These observations were motivated by the discovery of a cluster of >30GeV photons in the first year of Fermi-LAT observations. VER J0521+211 is relatively bright at TeV energies, with a mean photon flux of 1.93 +/- 0.13_stat +/- 0.78_sys 1…
▽ More
We report the detection of a new TeV gamma-ray source, VER J0521+211, based on observations made with the VERITAS imaging atmospheric Cherenkov telescope array. These observations were motivated by the discovery of a cluster of >30GeV photons in the first year of Fermi-LAT observations. VER J0521+211 is relatively bright at TeV energies, with a mean photon flux of 1.93 +/- 0.13_stat +/- 0.78_sys 10^-11 cm-2 s-1 above 0.2 TeV during the period of the VERITAS observations. The source is strongly variable on a daily timescale across all wavebands, from optical to TeV, with a peak flux corresponding to ~0.3 times the steady Crab Nebula flux at TeV energies. Follow-up observations in the optical and X-ray bands classify the newly-discovered TeV source as a BL Lac-type blazar with uncertain redshift, although recent measurements suggest z=0.108. VER J0521+211 exhibits all the defining properties of blazars in radio, optical, X-ray, and gamma-ray wavelengths.
△ Less
Submitted 22 August, 2013;
originally announced August 2013.
-
Optical and X-ray Studies of Ten X-ray Selected Cataclysmic Binaries
Authors:
John R. Thorstensen,
Jules Halpern
Abstract:
We report on ground-based optical observations of ten cataclysmic binaries that were discovered through their X-ray emission. Time-resolved radial velocity spectroscopy yields unambiguous orbital periods for eight objects and ambiguous results for the remaining two. The orbital periods range from 87 min to 9.38 hr. We also obtained time-series optical photometry for six targets, four of which have…
▽ More
We report on ground-based optical observations of ten cataclysmic binaries that were discovered through their X-ray emission. Time-resolved radial velocity spectroscopy yields unambiguous orbital periods for eight objects and ambiguous results for the remaining two. The orbital periods range from 87 min to 9.38 hr. We also obtained time-series optical photometry for six targets, four of which have coherent pulsations. These periods are 1218 s for 1RXS J045707.4+452751, 628 s for AX J1740.2-2903, 477 s for AX J1853.3-0128, and 935 s for IGR J19267+1325. A total of seven of the sources have coherent oscillations in X-rays or optical, indicating that they are intermediate polars (DQ Herculis stars). Time-resolved spectroscopy of one object, Swift J2218.4+1925, shows that it is an AM Herculis star, or polar, and IGR J19552+0044 may also be in that class. For another object, Swift J0476.2-1611, we find an orbital period of 9.384 hr and detect the spectrum of the secondary star. The secondary's spectral contribution implies a distance of 900 (+190, -150) pc, where the error bars are estimated using a Monte Carlo technique to account for correlated uncertainties.
△ Less
Submitted 3 September, 2013; v1 submitted 22 August, 2013;
originally announced August 2013.
-
Decision Theory with Resource-Bounded Agents
Authors:
Joseph Y. Halpern,
Rafael Pass,
Lior Seeman
Abstract:
There have been two major lines of research aimed at capturing resource-bounded players in game theory. The first, initiated by Rubinstein, charges an agent for doing costly computation; the second, initiated by Neyman, does not charge for computation, but limits the computation that agents can do, typically by modeling agents as finite automata. We review recent work on applying both approaches i…
▽ More
There have been two major lines of research aimed at capturing resource-bounded players in game theory. The first, initiated by Rubinstein, charges an agent for doing costly computation; the second, initiated by Neyman, does not charge for computation, but limits the computation that agents can do, typically by modeling agents as finite automata. We review recent work on applying both approaches in the context of decision theory. For the first approach, we take the objects of choice in a decision problem to be Turing machines, and charge players for the ``complexity'' of the Turing machine chosen (e.g., its running time). This approach can be used to explain well-known phenomena like first-impression-matters biases (i.e., people tend to put more weight on evidence they hear early on) and belief polarization (two people with different prior beliefs, hearing the same evidence, can end up with diametrically opposed conclusions) as the outcomes of quite rational decisions. For the second approach, we model people as finite automata, and provide a simple algorithm that, on a problem that captures a number of settings of interest, provably performs optimally as the number of states in the automaton increases.
△ Less
Submitted 17 August, 2013;
originally announced August 2013.
-
Game Theory with Translucent Players
Authors:
Joseph Y. Halpern,
Rafael Pass
Abstract:
A traditional assumption in game theory is that players are opaque to one another---if a player changes strategies, then this change in strategies does not affect the choice of other players' strategies. In many situations this is an unrealistic assumption. We develop a framework for reasoning about games where the players may be translucent to one another; in particular, a player may believe that…
▽ More
A traditional assumption in game theory is that players are opaque to one another---if a player changes strategies, then this change in strategies does not affect the choice of other players' strategies. In many situations this is an unrealistic assumption. We develop a framework for reasoning about games where the players may be translucent to one another; in particular, a player may believe that if she were to change strategies, then the other player would also change strategies. Translucent players may achieve significantly more efficient outcomes than opaque ones.
Our main result is a characterization of strategies consistent with appropriate analogues of common belief of rationality. Common Counterfactual Belief of Rationality (CCBR) holds if (1) everyone is rational, (2) everyone counterfactually believes that everyone else is rational (i.e., all players i believe that everyone else would still be rational even if $i$ were to switch strategies), (3) everyone counterfactually believes that everyone else is rational, and counterfactually believes that everyone else is rational, and so on. CCBR characterizes the set of strategies surviving iterated removal of minimax dominated strategies, where a strategy s for player i is minimax dominated by s' if the worst-case payoff for i using s' is better than the best possible payoff using s.
△ Less
Submitted 17 August, 2013;
originally announced August 2013.
-
X-ray Observations of Disrupted Recycled Pulsars: No Refuge for Orphaned Central Compact Objects
Authors:
E. V. Gotthelf,
J. P. Halpern,
B. Allen,
B. Knispel
Abstract:
We present a Chandra X-ray survey of the disrupted recycled pulsars (DRPs), isolated radio pulsars with P > 20 ms and B_s < 3E10 G. These observations were motivated as a search for the immediate descendants of the approx. 10 central compact objects (CCOs) in supernova remnants, three of which have similar timing and magnetic properties as the DRPs, but are bright, thermal X-ray sources consistent…
▽ More
We present a Chandra X-ray survey of the disrupted recycled pulsars (DRPs), isolated radio pulsars with P > 20 ms and B_s < 3E10 G. These observations were motivated as a search for the immediate descendants of the approx. 10 central compact objects (CCOs) in supernova remnants, three of which have similar timing and magnetic properties as the DRPs, but are bright, thermal X-ray sources consistent with minimal neutron star cooling curves. Since none of the DPRs were detected, there is no evidence that they are "orphaned" CCOs, neutron stars whose supernova remnants has dissipated. Upper limits on their thermal X-ray luminosities are in the range log Lx[erg/s] = 31.8-32.8, which implies cooling ages > 1E4 - 1E5 yr, roughly 10 times the ages of the approximately 10 known CCOs in a similar volume of the Galaxy. The order of a hundred CCO descendants that could be detected by this method are thus either intrinsically radio quiet, or occupy a different region of (P,B_s) parameter space from the DRPs. This motivates a new X-ray search for orphaned CCOs among radio pulsars with larger B-fields, which could verify the theory that their fields are buried by fall-back of supernova ejecta, but quickly regrow to join the normal pulsar population.
△ Less
Submitted 8 July, 2013;
originally announced July 2013.
-
Discovery of 47-s pulsations in the X-ray source 1RXS J225352.8+624354
Authors:
P. Esposito,
G. L. Israel,
L. Sidoli,
E. Mason,
G. A. Rodríguez Castillo,
J. P. Halpern,
A. Moretti,
D. Götz
Abstract:
We report on the discovery of pulsations at a period of ~47 s in the persistent X-ray source 1RXS J225352.8+624354 (1RXS J2253) using five Chandra observations performed in 2009. The signal was also detected in Swift and ROSAT data, allowing us to infer over a 16-yr baseline an average, long-term period increasing rate of ~17 ms per year and therefore to confirm the signal as the spin period of an…
▽ More
We report on the discovery of pulsations at a period of ~47 s in the persistent X-ray source 1RXS J225352.8+624354 (1RXS J2253) using five Chandra observations performed in 2009. The signal was also detected in Swift and ROSAT data, allowing us to infer over a 16-yr baseline an average, long-term period increasing rate of ~17 ms per year and therefore to confirm the signal as the spin period of an accreting, spinning-down neutron star. The pulse profile of 1RXS J2253 (~50-60% pulsed fraction) is complex and energy independent (within the statistical uncertainties). The 1-10 keV Chandra spectra are well fit by an absorbed power-law model with photon index ~1.4 and observed flux of (2-5)e-12 erg cm^-2 s^-1. The source was also detected by INTEGRAL in the 17-60 keV band at a persistent flux of ~6e-12 erg cm^-2 s^-1, implying a spectral cut off around 15 keV. We also carried out optical spectroscopic follow-up observations of the 2MASS counterpart at the Nordic Optical Telescope. This made it possible to first classify the companion of 1RXS J2253 as a B0-1III-Ve (most likely a B1Ve) star at a distance of about 4-5 kpc (favouring an association with the Perseus arm of the Galaxy). The latter finding implies an X-ray luminosity of ~3e34 erg s^-1, suggesting that 1RXS J2253 is a new member of the sub-class of low-luminosity long-orbital-period persistent Be/X-ray pulsars in a wide and circular orbit (such as X Persei).
△ Less
Submitted 15 May, 2013;
originally announced May 2013.
-
The Relationship between Knowledge, Belief and Certainty
Authors:
Joseph Y. Halpern
Abstract:
We consider the relation between knowledge and certainty, where a fact is known if it is true at all worlds an agent considers possible and is certain if it holds with probability 1. We identify certainty with probabilistic belief. We show that if we assume one fixed probability assignment, then the logic KD45, which has been identified as perhaps the most appropriate for belief, provides a comple…
▽ More
We consider the relation between knowledge and certainty, where a fact is known if it is true at all worlds an agent considers possible and is certain if it holds with probability 1. We identify certainty with probabilistic belief. We show that if we assume one fixed probability assignment, then the logic KD45, which has been identified as perhaps the most appropriate for belief, provides a complete axiomatization for reasoning about certainty. Just as an agent may believe a fact although phi is false, he may be certain that a fact phi, is true although phi is false. However, it is easy to see that an agent can have such false (probabilistic) beliefs only at a set of worlds of probability 0. If we restrict attention to structures where all worlds have positive probability, then S5 provides a complete axiomatization. If we consider a more general setting, where there might be a different probability assignment at each world, then by placing appropriate conditions on the support of the probability function (the set of worlds which have non-zero probability), we can capture many other well-known modal logics, such as T and S4. Finally, we consider which axioms characterize structures satisfying Miller's principle.
△ Less
Submitted 27 March, 2013;
originally announced April 2013.
-
A New Approach to Updating Beliefs
Authors:
Ronald Fagin,
Joseph Y. Halpern
Abstract:
We define a new notion of conditional belief, which plays the same role for Dempster-Shafer belief functions as conditional probability does for probability functions. Our definition is different from the standard definition given by Dempster, and avoids many of the well-known problems of that definition. Just as the conditional probability Pr (lB) is a probability function which is the result o…
▽ More
We define a new notion of conditional belief, which plays the same role for Dempster-Shafer belief functions as conditional probability does for probability functions. Our definition is different from the standard definition given by Dempster, and avoids many of the well-known problems of that definition. Just as the conditional probability Pr (lB) is a probability function which is the result of conditioning on B being true, so too our conditional belief function Bel (lB) is a belief function which is the result of conditioning on B being true. We define the conditional belief as the lower envelope (that is, the inf) of a family of conditional probability functions, and provide a closed form expression for it. An alternate way of understanding our definition of conditional belief is provided by considering ideas from an earlier paper [Fagin and Halpern, 1989], where we connect belief functions with inner measures. In particular, we show here how to extend the definition of conditional probability to non measurable sets, in order to get notions of inner and outer conditional probabilities, which can be viewed as best approximations to the true conditional probability, given our lack of information. Our definition of conditional belief turns out to be an exact analogue of our definition of inner conditional probability.
△ Less
Submitted 27 March, 2013;
originally announced April 2013.
-
Generating New Beliefs From Old
Authors:
Fahiem Bacchus,
Adam J. Grove,
Joseph Y. Halpern,
Daphne Koller
Abstract:
In previous work [BGHK92, BGHK93], we have studied the random-worlds approach -- a particular (and quite powerful) method for generating degrees of belief (i.e., subjective probabilities) from a knowledge base consisting of objective (first-order, statistical, and default) information. But allowing a knowledge base to contain only objective information is sometimes limiting. We occasionally wish…
▽ More
In previous work [BGHK92, BGHK93], we have studied the random-worlds approach -- a particular (and quite powerful) method for generating degrees of belief (i.e., subjective probabilities) from a knowledge base consisting of objective (first-order, statistical, and default) information. But allowing a knowledge base to contain only objective information is sometimes limiting. We occasionally wish to include information about degrees of belief in the knowledge base as well, because there are contexts in which old beliefs represent important information that should influence new beliefs. In this paper, we describe three quite general techniques for extending a method that generates degrees of belief from objective information to one that can make use of degrees of belief as well. All of our techniques are bloused on well-known approaches, such as cross-entropy. We discuss general connections between the techniques and in particular show that, although conceptually and technically quite different, all of the techniques give the same answer when applied to the random-worlds method.
△ Less
Submitted 27 February, 2013;
originally announced February 2013.
-
Weighted Sets of Probabilities and Minimax Weighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions
Authors:
Joseph Y. Halpern,
Samantha Leung
Abstract:
We consider a setting where an agent's uncertainty is represented by a set of probability measures, rather than a single measure. Measure-by-measure updating of such a set of measures upon acquiring new information is well-known to suffer from problems; agents are not always able to learn appropriately. To deal with these problems, we propose using weighted sets of probabilities: a representation…
▽ More
We consider a setting where an agent's uncertainty is represented by a set of probability measures, rather than a single measure. Measure-by-measure updating of such a set of measures upon acquiring new information is well-known to suffer from problems; agents are not always able to learn appropriately. To deal with these problems, we propose using weighted sets of probabilities: a representation where each measure is associated with a weight, which denotes its significance. We describe a natural approach to updating in such a situation and a natural approach to determining the weights. We then show how this representation can be used in decision-making, by modifying a standard approach to decision making -- minimizing expected regret -- to obtain minimax weighted expected regret (MWER). We provide an axiomatization that characterizes preferences induced by MWER both in the static and dynamic case.
△ Less
Submitted 21 February, 2013;
originally announced February 2013.
-
Plausibility Measures: A User's Guide
Authors:
Nir Friedman,
Joseph Y. Halpern
Abstract:
We examine a new approach to modeling uncertainty based on plausibility measures, where a plausibility measure just associates with an event its plausibility, an element is some partially ordered set. This approach is easily seen to generalize other approaches to modeling uncertainty, such as probability measures, belief functions, and possibility measures. The lack of structure in a plausibilit…
▽ More
We examine a new approach to modeling uncertainty based on plausibility measures, where a plausibility measure just associates with an event its plausibility, an element is some partially ordered set. This approach is easily seen to generalize other approaches to modeling uncertainty, such as probability measures, belief functions, and possibility measures. The lack of structure in a plausibility measure makes it easy for us to add structure on an "as needed" basis, letting us examine what is required to ensure that a plausibility measure has certain properties of interest. This gives us insight into the essential features of the properties in question, while allowing us to prove general results that apply to many approaches to reasoning about uncertainty. Plausibility measures have already proved useful in analyzing default reasoning. In this paper, we examine their "algebraic properties," analogues to the use of + and * in probability theory. An understanding of such properties will be essential if plausibility measures are to be used in practice as a representation tool.
△ Less
Submitted 20 February, 2013;
originally announced February 2013.
-
A Qualitative Markov Assumption and its Implications for Belief Change
Authors:
Nir Friedman,
Joseph Y. Halpern
Abstract:
The study of belief change has been an active area in philosophy and AI. In recent years two special cases of belief change, belief revision and belief update, have been studied in detail. Roughly, revision treats a surprising observation as a sign that previous beliefs were wrong, while update treats a surprising observation as an indication that the world has changed. In general, we would exp…
▽ More
The study of belief change has been an active area in philosophy and AI. In recent years two special cases of belief change, belief revision and belief update, have been studied in detail. Roughly, revision treats a surprising observation as a sign that previous beliefs were wrong, while update treats a surprising observation as an indication that the world has changed. In general, we would expect that an agent making an observation may both want to revise some earlier beliefs and assume that some change has occurred in the world. We define a novel approach to belief change that allows us to do this, by applying ideas from probability theory in a qualitative setting. The key idea is to use a qualitative Markov assumption, which says that state transitions are independent. We show that a recent approach to modeling qualitative uncertainty using plausibility measures allows us to make such a qualitative Markov assumption in a relatively straightforward way, and show how the Markov assumption can be used to provide an attractive belief-change model.
△ Less
Submitted 13 February, 2013;
originally announced February 2013.