-
Eliciting Problem Specifications via Large Language Models
Authors:
Robert E. Wray,
James R. Kirk,
John E. Laird
Abstract:
Cognitive systems generally require a human to translate a problem definition into some specification that the cognitive system can use to attempt to solve the problem or perform the task. In this paper, we illustrate that large language models (LLMs) can be utilized to map a problem class, defined in natural language, into a semi-formal specification that can then be utilized by an existing reaso…
▽ More
Cognitive systems generally require a human to translate a problem definition into some specification that the cognitive system can use to attempt to solve the problem or perform the task. In this paper, we illustrate that large language models (LLMs) can be utilized to map a problem class, defined in natural language, into a semi-formal specification that can then be utilized by an existing reasoning and learning system to solve instances from the problem class. We present the design of LLM-enabled cognitive task analyst agent(s). Implemented with LLM agents, this system produces a definition of problem spaces for tasks specified in natural language. LLM prompts are derived from the definition of problem spaces in the AI literature and general problem-solving strategies (Polya's How to Solve It). A cognitive system can then use the problem-space specification, applying domain-general problem solving strategies ("weak methods" such as search), to solve multiple instances of problems from the problem class. This result, while preliminary, suggests the potential for speeding cognitive systems research via disintermediation of problem formulation while also retaining core capabilities of cognitive systems, such as robust inference and online learning.
△ Less
Submitted 10 June, 2024; v1 submitted 20 May, 2024;
originally announced May 2024.
-
Exploiting Language Models as a Source of Knowledge for Cognitive Agents
Authors:
James R. Kirk,
Robert E. Wray,
John E. Laird
Abstract:
Large language models (LLMs) provide capabilities far beyond sentence completion, including question answering, summarization, and natural-language inference. While many of these capabilities have potential application to cognitive systems, our research is exploiting language models as a source of task knowledge for cognitive agents, that is, agents realized via a cognitive architecture. We identi…
▽ More
Large language models (LLMs) provide capabilities far beyond sentence completion, including question answering, summarization, and natural-language inference. While many of these capabilities have potential application to cognitive systems, our research is exploiting language models as a source of task knowledge for cognitive agents, that is, agents realized via a cognitive architecture. We identify challenges and opportunities for using language models as an external knowledge source for cognitive systems and possible ways to improve the effectiveness of knowledge extraction by integrating extraction with cognitive architecture capabilities, highlighting with examples from our recent work in this area.
△ Less
Submitted 5 September, 2023;
originally announced October 2023.
-
Improving Knowledge Extraction from LLMs for Task Learning through Agent Analysis
Authors:
James R. Kirk,
Robert E. Wray,
Peter Lindes,
John E. Laird
Abstract:
Large language models (LLMs) offer significant promise as a knowledge source for task learning. Prompt engineering has been shown to be effective for eliciting knowledge from an LLM, but alone it is insufficient for acquiring relevant, situationally grounded knowledge for an embodied agent learning novel tasks. We describe a cognitive-agent approach, STARS, that extends and complements prompt engi…
▽ More
Large language models (LLMs) offer significant promise as a knowledge source for task learning. Prompt engineering has been shown to be effective for eliciting knowledge from an LLM, but alone it is insufficient for acquiring relevant, situationally grounded knowledge for an embodied agent learning novel tasks. We describe a cognitive-agent approach, STARS, that extends and complements prompt engineering, mitigating its limitations and thus enabling an agent to acquire new task knowledge matched to its native language capabilities, embodiment, environment, and user preferences. The STARS approach is to increase the response space of LLMs and deploy general strategies, embedded within the autonomous agent, to evaluate, repair, and select among candidate responses produced by the LLM. We describe the approach and experiments that show how an agent, by retrieving and evaluating a breadth of responses from the LLM, can achieve 77-94% task completion in one-shot learning without user oversight. The approach achieves 100% task completion when human oversight (such as an indication of preference) is provided. Further, the type of oversight largely shifts from explicit, natural language instruction to simple confirmation/discomfirmation of high-quality responses that have been vetted by the agent before presentation to a user.
△ Less
Submitted 20 February, 2024; v1 submitted 11 June, 2023;
originally announced June 2023.
-
Computational-level Analysis of Constraint Compliance for General Intelligence
Authors:
Robert E. Wray,
Steven J. Jones,
John E. Laird
Abstract:
Human behavior is conditioned by codes and norms that constrain action. Rules, ``manners,'' laws, and moral imperatives are examples of classes of constraints that govern human behavior. These systems of constraints are "messy:" individual constraints are often poorly defined, what constraints are relevant in a particular situation may be unknown or ambiguous, constraints interact and conflict wit…
▽ More
Human behavior is conditioned by codes and norms that constrain action. Rules, ``manners,'' laws, and moral imperatives are examples of classes of constraints that govern human behavior. These systems of constraints are "messy:" individual constraints are often poorly defined, what constraints are relevant in a particular situation may be unknown or ambiguous, constraints interact and conflict with one another, and determining how to act within the bounds of the relevant constraints may be a significant challenge, especially when rapid decisions are needed. Despite such messiness, humans incorporate constraints in their decisions robustly and rapidly. General, artificially-intelligent agents must also be able to navigate the messiness of systems of real-world constraints in order to behave predictability and reliably. In this paper, we characterize sources of complexity in constraint processing for general agents and describe a computational-level analysis for such constraint compliance. We identify key algorithmic requirements based on the computational-level analysis and outline an initial, exploratory implementation of a general approach to constraint compliance.
△ Less
Submitted 15 June, 2023; v1 submitted 7 March, 2023;
originally announced March 2023.
-
Revisiting Decidable Bounded Quantification, via Dinaturality
Authors:
James Laird
Abstract:
We use a semantic interpretation to investigate the problem of defining an expressive but decidable type system with bounded quantification. Typechecking in the widely studied System Fsub is undecidable thanks to an undecidable subty** relation, for which the culprit is the rule for subty** bounded quantification. Weaker versions of this rule, allowing decidable subty**, have been proposed.…
▽ More
We use a semantic interpretation to investigate the problem of defining an expressive but decidable type system with bounded quantification. Typechecking in the widely studied System Fsub is undecidable thanks to an undecidable subty** relation, for which the culprit is the rule for subty** bounded quantification. Weaker versions of this rule, allowing decidable subty**, have been proposed. One of the resulting type systems (Kernel Fsub) lacks expressiveness, another (System Fsubtop) lacks the minimal ty** property and thus has no evident typechecking algorithm.
We consider these rules as defining distinct forms of bounded quantification, one for interpreting type variable abstraction, and the other for type instantiation. By giving a semantic interpretation for both in terms of unbounded quantification, using the dinaturality of type instantiation with respect to subsumption, we show that they can coexist within a single type system. This does have the minimal ty** property and thus a simple typechecking procedure.
We consider the fragments of this unified type system over types which contain only one form of bounded quantifier. One of these is equivalent to Kernel Fsub, while the other can type strictly more terms than System Fsubtop but the same set of beta-normal terms. We show decidability of typechecking for this fragment, and thus for System Fsubtop typechecking of beta-normal terms.
△ Less
Submitted 20 February, 2023; v1 submitted 9 December, 2022;
originally announced December 2022.
-
Improving Language Model Prompting in Support of Semi-autonomous Task Learning
Authors:
James R. Kirk,
Robert E. Wray,
Peter Lindes,
John E. Laird
Abstract:
Language models (LLMs) offer potential as a source of knowledge for agents that need to acquire new task competencies within a performance environment. We describe efforts toward a novel agent capability that can construct cues (or "prompts") that result in useful LLM responses for an agent learning a new task. Importantly, responses must not only be "reasonable" (a measure used commonly in resear…
▽ More
Language models (LLMs) offer potential as a source of knowledge for agents that need to acquire new task competencies within a performance environment. We describe efforts toward a novel agent capability that can construct cues (or "prompts") that result in useful LLM responses for an agent learning a new task. Importantly, responses must not only be "reasonable" (a measure used commonly in research on knowledge extraction from LLMs) but also specific to the agent's task context and in a form that the agent can interpret given its native language capacities. We summarize a series of empirical investigations of prompting strategies and evaluate responses against the goals of targeted and actionable responses for task learning. Our results demonstrate that actionable task knowledge can be obtained from LLMs in support of online agent task learning.
△ Less
Submitted 19 November, 2022; v1 submitted 13 September, 2022;
originally announced September 2022.
-
Integrating Diverse Knowledge Sources for Online One-shot Learning of Novel Tasks
Authors:
James R. Kirk,
Robert E. Wray,
Peter Lindes,
John E. Laird
Abstract:
Autonomous agents are able to draw on a wide variety of potential sources of task knowledge; however current approaches invariably focus on only one or two. Here we investigate the challenges and impact of exploiting diverse knowledge sources to learn online, in one-shot, new tasks for a simulated office mobile robot. The resulting agent, developed in the Soar cognitive architecture, uses the foll…
▽ More
Autonomous agents are able to draw on a wide variety of potential sources of task knowledge; however current approaches invariably focus on only one or two. Here we investigate the challenges and impact of exploiting diverse knowledge sources to learn online, in one-shot, new tasks for a simulated office mobile robot. The resulting agent, developed in the Soar cognitive architecture, uses the following sources of domain and task knowledge: interaction with the environment, task execution and search knowledge, human natural language instruction, and responses retrieved from a large language model (GPT-3). We explore the distinct contributions of these knowledge sources and evaluate the performance of different combinations in terms of learning correct task knowledge and human workload. Results show that an agent's online integration of diverse knowledge sources improves one-shot task learning overall, reducing human feedback needed for rapid and reliable task learning.
△ Less
Submitted 15 May, 2023; v1 submitted 19 August, 2022;
originally announced August 2022.
-
Introduction to Soar
Authors:
John E. Laird
Abstract:
This paper is the recommended initial reading for a functional overview of Soar, version 9.6. It includes an abstract overview of the architectural structure of Soar including its processing, memories, learning modules, their interfaces, and the representations of knowledge used by those modules. From there it describes the processing supported by those modules, including decision making, impasses…
▽ More
This paper is the recommended initial reading for a functional overview of Soar, version 9.6. It includes an abstract overview of the architectural structure of Soar including its processing, memories, learning modules, their interfaces, and the representations of knowledge used by those modules. From there it describes the processing supported by those modules, including decision making, impasses and substates, procedure learning via chunking, reinforcement learning, semantic memory, episodic memory, and spatial-visual reasoning. It then reviews the levels of decision making and variety of learning in Soar, and analysis of Soar as an architecture supporting general human-level AI. Following the references is an appendix that contains short descriptions of recent Soar agents and a glossary of the terminology we use in describing Soar.
△ Less
Submitted 8 May, 2022;
originally announced May 2022.
-
Evaluating Proposed Fairness Models for Face Recognition Algorithms
Authors:
John J. Howard,
Eli J. Laird,
Yevgeniy B. Sirotin,
Rebecca E. Rubin,
Jerry L. Tipton,
Arun R. Vemury
Abstract:
The development of face recognition algorithms by academic and commercial organizations is growing rapidly due to the onset of deep learning and the widespread availability of training data. Though tests of face recognition algorithm performance indicate yearly performance gains, error rates for many of these systems differ based on the demographic composition of the test set. These "demographic d…
▽ More
The development of face recognition algorithms by academic and commercial organizations is growing rapidly due to the onset of deep learning and the widespread availability of training data. Though tests of face recognition algorithm performance indicate yearly performance gains, error rates for many of these systems differ based on the demographic composition of the test set. These "demographic differentials" in algorithm performance can contribute to unequal or unfair outcomes for certain groups of people, raising concerns with increased worldwide adoption of face recognition systems. Consequently, regulatory bodies in both the United States and Europe have proposed new rules requiring audits of biometric systems for "discriminatory impacts" (European Union Artificial Intelligence Act) and "fairness" (U.S. Federal Trade Commission). However, no standard for measuring fairness in biometric systems yet exists. This paper characterizes two proposed measures of face recognition algorithm fairness (fairness measures) from scientists in the U.S. and Europe. We find that both proposed methods are challenging to interpret when applied to disaggregated face recognition error rates as they are commonly experienced in practice. To address this, we propose a set of interpretability criteria, termed the Functional Fairness Measure Criteria (FFMC), that outlines a set of properties desirable in a face recognition algorithm fairness measure. We further develop a new fairness measure, the Gini Aggregation Rate for Biometric Equitability (GARBE), and show how, in conjunction with the Pareto optimization, this measure can be used to select among alternative algorithms based on the accuracy/fairness trade-space. Finally, we have open-sourced our dataset of machine-readable, demographically disaggregated error rates. We believe this is currently the largest open-source dataset of its kind.
△ Less
Submitted 9 March, 2022;
originally announced March 2022.
-
Intensity Modulated Photocurrent Microspectrosopy for Next Generation Photovoltaics
Authors:
Jamie Laird,
Sandheep Ravishankar,
Askhkat Jumabekov,
Kevin Rietwyk,
Wenxin Mao,
Udo Bach,
Trevor Smith
Abstract:
In this report, we describe a large-area Laser Beam Induced Current (LBIC) microscope that has been adapted to perform Intensity Modulated Photocurrent Spectroscopy in an imaging mode combined with automated J-V electrical characterization. Henceforth we refer to the method as either Intensity Modulated Photocurrent Micro-spectroscopy or simply IMPS microscopy. Microscopy based IMPS aims to use th…
▽ More
In this report, we describe a large-area Laser Beam Induced Current (LBIC) microscope that has been adapted to perform Intensity Modulated Photocurrent Spectroscopy in an imaging mode combined with automated J-V electrical characterization. Henceforth we refer to the method as either Intensity Modulated Photocurrent Micro-spectroscopy or simply IMPS microscopy. Microscopy based IMPS aims to use the localised frequency response to correlate the optoelectrical response with a particular interface, bulk material, specific transport layer or transport parameter. The system developed here is specifically designed to track the decomposition of organic solar cells including hybrid-inorganic PSCs during long-term exposure to quantities such as light, oxygen, moisture, and heat
△ Less
Submitted 22 April, 2022; v1 submitted 25 January, 2022;
originally announced January 2022.
-
An Analysis and Comparison of ACT-R and Soar
Authors:
John E. Laird
Abstract:
This is a detailed analysis and comparison of the ACT-R and Soar cognitive architectures, including their overall structure, their representations of agent data and metadata, and their associated processing. It focuses on working memory, procedural memory, and long-term declarative memory. I emphasize the commonalities, which are many, but also highlight the differences. I identify the processes a…
▽ More
This is a detailed analysis and comparison of the ACT-R and Soar cognitive architectures, including their overall structure, their representations of agent data and metadata, and their associated processing. It focuses on working memory, procedural memory, and long-term declarative memory. I emphasize the commonalities, which are many, but also highlight the differences. I identify the processes and distinct classes of information used by these architectures, including agent data, metadata, and meta-process data, and explore the roles that metadata play in decision making, memory retrievals, and learning.
△ Less
Submitted 23 January, 2022;
originally announced January 2022.
-
Language Models as a Knowledge Source for Cognitive Agents
Authors:
Robert E. Wray, III,
James R. Kirk,
John E. Laird
Abstract:
Language models (LMs) are sentence-completion engines trained on massive corpora. LMs have emerged as a significant breakthrough in natural-language processing, providing capabilities that go far beyond sentence completion including question answering, summarization, and natural-language inference. While many of these capabilities have potential application to cognitive systems, exploiting languag…
▽ More
Language models (LMs) are sentence-completion engines trained on massive corpora. LMs have emerged as a significant breakthrough in natural-language processing, providing capabilities that go far beyond sentence completion including question answering, summarization, and natural-language inference. While many of these capabilities have potential application to cognitive systems, exploiting language models as a source of task knowledge, especially for task learning, offers significant, near-term benefits. We introduce language models and the various tasks to which they have been applied and then review methods of knowledge extraction from language models. The resulting analysis outlines both the challenges and opportunities for using language models as a new knowledge source for cognitive systems. It also identifies possible ways to improve knowledge extraction from language models using the capabilities provided by cognitive systems. Central to success will be the ability of a cognitive agent to itself learn an abstract model of the knowledge implicit in the LM as well as methods to extract high-quality knowledge effectively and efficiently. To illustrate, we introduce a hypothetical robot agent and describe how language models could extend its task knowledge and improve its performance and the kinds of knowledge and methods the agent can use to exploit the knowledge within a language model.
△ Less
Submitted 23 October, 2021; v1 submitted 16 September, 2021;
originally announced September 2021.
-
Fraud detection in telephone conversations for financial services using linguistic features
Authors:
Nikesh Bajaj,
Tracy Goodluck Constance,
Marvin Rajwadi,
Julie Wall,
Mansour Moniri,
Cornelius Glackin,
Nigel Cannings,
Chris Woodruff,
James Laird
Abstract:
Detecting the elements of deception in a conversation is one of the most challenging problems for the AI community. It becomes even more difficult to design a transparent system, which is fully explainable and satisfies the need for financial and legal services to be deployed. This paper presents an approach for fraud detection in transcribed telephone conversations using linguistic features. The…
▽ More
Detecting the elements of deception in a conversation is one of the most challenging problems for the AI community. It becomes even more difficult to design a transparent system, which is fully explainable and satisfies the need for financial and legal services to be deployed. This paper presents an approach for fraud detection in transcribed telephone conversations using linguistic features. The proposed approach exploits the syntactic and semantic information of the transcription to extract both the linguistic markers and the sentiment of the customer's response. We demonstrate the results on real-world financial services data using simple, robust and explainable classifiers such as Naive Bayes, Decision Tree, Nearest Neighbours, and Support Vector Machines.
△ Less
Submitted 10 December, 2019;
originally announced December 2019.
-
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
Authors:
James Laird
Abstract:
We give extensional and intensional characterizations of functional programs with nondeterminism: as structure preserving functions between biorders, and as nondeterministic sequential algorithms on ordered concrete data structures which compute them. A fundamental result establishes that these extensional and intensional representations are equivalent, by showing how to construct the unique seque…
▽ More
We give extensional and intensional characterizations of functional programs with nondeterminism: as structure preserving functions between biorders, and as nondeterministic sequential algorithms on ordered concrete data structures which compute them. A fundamental result establishes that these extensional and intensional representations are equivalent, by showing how to construct the unique sequential algorithm which computes a given monotone and stable function, and describing the conditions on sequential algorithms which correspond to continuity with respect to each order. We illustrate by defining may-testing and must-testing denotational semantics for sequential functional languages with bounded and unbounded choice operators. We prove that these are computationally adequate, despite the non-continuity of the must-testing semantics of unbounded nondeterminism. In the bounded case, we prove that our continuous models are fully abstract with respect to may-testing and must-testing by identifying a simple universal type, which may also form the basis for models of the untyped λ-calculus. In the unbounded case we observe that our model contains computable functions which are not denoted by terms, by identifying a further "weak continuity" property of the definable elements, and use this to establish that it is not fully abstract.
△ Less
Submitted 23 November, 2021; v1 submitted 27 October, 2017;
originally announced October 2017.
-
Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics
Authors:
William John Gowers,
James Laird
Abstract:
The non-commutative sequoid operator $\oslash$ on games was introduced to capture algebraically the presence of state in history-sensitive strategies in game semantics, by imposing a causality relation on the tensor product of games. Coalgebras for the functor $A \oslash \_$ - i.e. morphisms from $S$ to $A \oslash S$ - may be viewed as state transformers: if $A \oslash \_$ has a final coalgebra,…
▽ More
The non-commutative sequoid operator $\oslash$ on games was introduced to capture algebraically the presence of state in history-sensitive strategies in game semantics, by imposing a causality relation on the tensor product of games. Coalgebras for the functor $A \oslash \_$ - i.e. morphisms from $S$ to $A \oslash S$ - may be viewed as state transformers: if $A \oslash \_$ has a final coalgebra, $!A$, then the anamorphism of such a state transformer encapsulates its explicit state, so that it is shared only between successive invocations.
We study the conditions under which a final coalgebra $!A$ for $A \oslash \_$ is the carrier of a cofree commutative comonoid on $A$. That is, it is a model of the exponential of linear logic in which we can construct imperative objects such as reference cells coalgebraically, in a game semantics setting. We show that if the tensor decomposes into the sequoid, the final coalgebra $!A$ may be endowed with the structure of the cofree commutative comonoid if there is a natural isomorphism from $!(A \times B)$ to $!A \otimes !B$. This condition is always satisfied if $!A$ is the bifree algebra for $A \oslash \_$, but in general it is necessary to impose it, as we establish by giving an example of a sequoidally decomposable category of games in which plays will be allowed to have transfinite length. In this category, the final coalgebra for the functor $A \oslash \_$ is not the cofree commutative comonoid over A: we illustrate this by explicitly contrasting the final sequence for the functor $A \oslash \_$ with the chain of symmetric tensor powers used in the construction of the cofree commutative comonoid as a limit by Melliés, Tabareau and Tasson.
△ Less
Submitted 31 May, 2017;
originally announced June 2017.
-
A Computational Model for Situated Task Learning with Interactive Instruction
Authors:
Shiwali Mohan,
James Kirk,
John Laird
Abstract:
Learning novel tasks is a complex cognitive activity requiring the learner to acquire diverse declarative and procedural knowledge. Prior ACT-R models of acquiring task knowledge from instruction focused on learning procedural knowledge from declarative instructions encoded in semantic memory. In this paper, we identify the requirements for designing compu- tational models that learn task knowledg…
▽ More
Learning novel tasks is a complex cognitive activity requiring the learner to acquire diverse declarative and procedural knowledge. Prior ACT-R models of acquiring task knowledge from instruction focused on learning procedural knowledge from declarative instructions encoded in semantic memory. In this paper, we identify the requirements for designing compu- tational models that learn task knowledge from situated task- oriented interactions with an expert and then describe and evaluate a model of learning from situated interactive instruc- tion that is implemented in the Soar cognitive architecture.
△ Less
Submitted 22 April, 2016;
originally announced April 2016.
-
Towards an Indexical Model of Situated Language Comprehension for Cognitive Agents in Physical Worlds
Authors:
Shiwali Mohan,
Aaron Mininger,
John Laird
Abstract:
We propose a computational model of situated language comprehension based on the Indexical Hypothesis that generates meaning representations by translating amodal linguistic symbols to modal representations of beliefs, knowledge, and experience external to the linguistic system. This Indexical Model incorporates multiple information sources, including perceptions, domain knowledge, and short-term…
▽ More
We propose a computational model of situated language comprehension based on the Indexical Hypothesis that generates meaning representations by translating amodal linguistic symbols to modal representations of beliefs, knowledge, and experience external to the linguistic system. This Indexical Model incorporates multiple information sources, including perceptions, domain knowledge, and short-term and long-term experiences during comprehension. We show that exploiting diverse information sources can alleviate ambiguities that arise from contextual use of underspecific referring expressions and unexpressed argument alternations of verbs. The model is being used to support linguistic interactions in Rosie, an agent implemented in Soar that learns from instruction.
△ Less
Submitted 19 October, 2022; v1 submitted 8 April, 2016;
originally announced April 2016.
-
Combining and Relating Control Effects and their Semantics
Authors:
James Laird
Abstract:
Combining local exceptions and first class continuations leads to programs with complex control flow, as well as the possibility of expressing powerful constructs such as resumable exceptions. We describe and compare games models for a programming language which includes these features, as well as higher-order references. They are obtained by contrasting methodologies: by annotating sequences…
▽ More
Combining local exceptions and first class continuations leads to programs with complex control flow, as well as the possibility of expressing powerful constructs such as resumable exceptions. We describe and compare games models for a programming language which includes these features, as well as higher-order references. They are obtained by contrasting methodologies: by annotating sequences of moves with "control pointers" indicating where exceptions are thrown and caught, and by composing the exceptions and continuations monads.
The former approach allows an explicit representation of control flow in games for exceptions, and hence a straightforward proof of definability (full abstraction) by factorization, as well as offering the possibility of a semantic approach to control flow analysis of exception-handling. However, establishing soundness of such a concrete and complex model is a non-trivial problem. It may be resolved by establishing a correspondence with the monad semantics, based on erasing explicit exception moves and replacing them with control pointers.
△ Less
Submitted 5 September, 2013;
originally announced September 2013.
-
Imperative Programs as Proofs via Game Semantics
Authors:
Martin Churchill,
Jim Laird,
Guy McCusker
Abstract:
Game semantics extends the Curry-Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond intuitionistic logics and lambda calculus, to capture stateful programs. In this paper we describe a logical counterpart to this extension, in which proofs denote such strategies. The system is expressive: it contains all of the connectives of…
▽ More
Game semantics extends the Curry-Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond intuitionistic logics and lambda calculus, to capture stateful programs. In this paper we describe a logical counterpart to this extension, in which proofs denote such strategies. The system is expressive: it contains all of the connectives of Intuitionistic Linear Logic, and first-order quantification. Use of Laird's sequoid operator allows proofs with imperative behaviour to be expressed. Thus, we can embed first-order Intuitionistic Linear Logic into this system, Polarized Linear Logic, and an imperative total programming language.
The proof system has a tight connection with a simple game model, where games are forests of plays. Formulas are modelled as games, and proofs as history-sensitive winning strategies. We provide a strong full completeness result with respect to this model: each finitary strategy is the denotation of a unique analytic (cut-free) proof. Infinite strategies correspond to analytic proofs that are infinitely deep. Thus, we can normalise proofs, via the semantics.
△ Less
Submitted 8 July, 2013;
originally announced July 2013.
-
Hunting for the progenitor of SN 1006: High resolution spectroscopic search with the FLAMES instrument
Authors:
Wolfgang E. Kerzendorf,
Brian P. Schmidt,
John B. Laird,
Philipp Podsiadlowski,
Michael S. Bessell
Abstract:
Type Ia supernovae play a significant role in the evolution of the Universe and have a wide range of applications. It is widely believed that these events are the thermonuclear explosions of carbon-oxygen white dwarfs close to the Chandrasekhar mass (1.38 M\odot). However, CO white dwarfs are born with masses much below the Chandrasekhar limit and thus require mass accretion to become Type Ia supe…
▽ More
Type Ia supernovae play a significant role in the evolution of the Universe and have a wide range of applications. It is widely believed that these events are the thermonuclear explosions of carbon-oxygen white dwarfs close to the Chandrasekhar mass (1.38 M\odot). However, CO white dwarfs are born with masses much below the Chandrasekhar limit and thus require mass accretion to become Type Ia supernovae. There are two main scenarios for accretion. First, the merger of two white dwarfs and, second, a stable mass accretion from a companion star. According to predictions, this companion star (also referred to as donor star) survives the explosion and thus should be visible in the center of Type Ia remnants. In this paper we scrutinize the central stars (79 in total) of the SN 1006 remnant to search for the surviving donor star as predicted by this scenario. We find no star consistent with the traditional accretion scenario in SN1006.
△ Less
Submitted 18 July, 2012;
originally announced July 2012.
-
Relational Reinforcement Learning in Infinite Mario
Authors:
Shiwali Mohan,
John E. Laird
Abstract:
Relational representations in reinforcement learning allow for the use of structural information like the presence of objects and relationships between them in the description of value functions. Through this paper, we show that such representations allow for the inclusion of background knowledge that qualitatively describes a state and can be used to design agents that demonstrate learning behavi…
▽ More
Relational representations in reinforcement learning allow for the use of structural information like the presence of objects and relationships between them in the description of value functions. Through this paper, we show that such representations allow for the inclusion of background knowledge that qualitatively describes a state and can be used to design agents that demonstrate learning behavior in domains with large state and actions spaces such as computer games.
△ Less
Submitted 28 February, 2012;
originally announced February 2012.
-
An Architectural Approach to Ensuring Consistency in Hierarchical Execution
Authors:
J. E. Laird,
R. E. Wray
Abstract:
Hierarchical task decomposition is a method used in many agent systems to organize agent knowledge. This work shows how the combination of a hierarchy and persistent assertions of knowledge can lead to difficulty in maintaining logical consistency in asserted knowledge. We explore the problematic consequences of persistent assumptions in the reasoning process and introduce novel potential solution…
▽ More
Hierarchical task decomposition is a method used in many agent systems to organize agent knowledge. This work shows how the combination of a hierarchy and persistent assertions of knowledge can lead to difficulty in maintaining logical consistency in asserted knowledge. We explore the problematic consequences of persistent assumptions in the reasoning process and introduce novel potential solutions. Having implemented one of the possible solutions, Dynamic Hierarchical Justification, its effectiveness is demonstrated with an empirical analysis.
△ Less
Submitted 23 June, 2011;
originally announced June 2011.
-
A collision in 2009 as the origin of the debris trail of asteroid P/2010 A2
Authors:
Colin Snodgrass,
Cecilia Tubiana,
Jean-Baptiste Vincent,
Holger Sierks,
Stubbe Hviid,
Richard Moissl,
Hermann Boehnhardt,
Cesare Barbieri,
Detlef Koschny,
Philippe Lamy,
Hans Rickman,
Rafael Rodrigo,
Benoît Carry,
Stephen C. Lowry,
Ryan J. M. Laird,
Paul R. Weissman,
Alan Fitzsimmons,
Simone Marchi
Abstract:
The peculiar object P/2010 A2 was discovered by the LINEAR near-Earth asteroid survey in January 2010 and given a cometary designation due to the presence of a trail of material, although there was no central condensation or coma. The appearance of this object, in an asteroidal orbit (small eccentricity and inclination) in the inner main asteroid belt attracted attention as a potential new member…
▽ More
The peculiar object P/2010 A2 was discovered by the LINEAR near-Earth asteroid survey in January 2010 and given a cometary designation due to the presence of a trail of material, although there was no central condensation or coma. The appearance of this object, in an asteroidal orbit (small eccentricity and inclination) in the inner main asteroid belt attracted attention as a potential new member of the recently recognized class of 'Main Belt Comets' (MBCs). If confirmed, this new object would greatly expand the range in heliocentric distance over which MBCs are found. Here we present observations taken from the unique viewing geometry provided by ESA's Rosetta spacecraft, far from the Earth, that demonstrate that the trail is due to a single event rather than a period of cometary activity, in agreement with independent results from the Hubble Space Telescope (HST). The trail is made up of relatively large particles of millimetre to centimetre size that remain close to the parent asteroid. The shape of the trail can be explained by an initial impact ejecting large clumps of debris that disintegrated and dispersed almost immediately. We determine that this was an asteroid collision that occurred around February 10, 2009.
△ Less
Submitted 27 October, 2010; v1 submitted 14 October, 2010;
originally announced October 2010.
-
2M1938+4603: A rich, multimode pulsating sdB star with an eclipsing dM companion observed with Kepler
Authors:
R. H. Østensen,
E. M. Green,
S. Bloemen,
T. R. Marsh,
J. B. Laird,
M. Morris,
E. Moriyama,
R. Oreiro,
M. D. Reed,
S. D. Kawaler,
C. Aerts,
M. Vuckovic,
P. Degroote,
J. H. Telting,
H. Kjeldsen,
R. L. Gilliland,
J. Christensen-Dalsgaard,
W. J. Borucki,
D. Koch
Abstract:
2M1938+4603 (KIC 9472174) displays a spectacular light curve dominated by a strong reflection effect and rather shallow, grazing eclipses. The orbital period is 0.126 days, the second longest period yet found for an eclipsing sdB+dM, but still close to the minimum 0.1-d period among such systems. The phase-folded light curve was used to detrend the orbital effects from the dataset, and the resulti…
▽ More
2M1938+4603 (KIC 9472174) displays a spectacular light curve dominated by a strong reflection effect and rather shallow, grazing eclipses. The orbital period is 0.126 days, the second longest period yet found for an eclipsing sdB+dM, but still close to the minimum 0.1-d period among such systems. The phase-folded light curve was used to detrend the orbital effects from the dataset, and the resulting amplitude spectrum shows a rich collection of pulsation peaks spanning frequencies from ~50 to 4500 uHz. The presence of a complex pulsation spectrum in both the p-mode and the g-mode regions has never been seen before in a compact pulsator. Eclipsing sdB+dM stars are very rare, with only seven systems known and only one with a pulsating primary. Pulsating stars in eclipsing binaries are especially important since they permit masses derived from seismological model fits to be cross checked with orbital mass constraints. We present a first analysis of this star based on the Kepler 9.7-day commissioning light curve and extensive ground-based photometry and spectroscopy that allow us to set useful bounds on the system parameters. We derive a radial-velocity amplitude K_1 = 65.7 +/- 0.6 km/s, inclination angle i = 69.45 +/- 0.20 degrees, and find that the masses of the components are M_1 = 0.48 +/- 0.03 and M_2 = 0.12 +/- 0.01 solar masses.
△ Less
Submitted 22 June, 2010;
originally announced June 2010.
-
A Concrete Representation of Observational Equivalence for PCF
Authors:
Martin Churchill,
James Laird,
Guy McCusker
Abstract:
The full abstraction result for PCF using game semantics requires one to identify all innocent strategies that are innocently indistinguishable. This involves a quantification over all innocent tests, cf. quantification over all innocent contexts. Here we present a representation of innocent strategies that equates innocently indistinguishable ones, yielding a representation of PCF terms that eq…
▽ More
The full abstraction result for PCF using game semantics requires one to identify all innocent strategies that are innocently indistinguishable. This involves a quantification over all innocent tests, cf. quantification over all innocent contexts. Here we present a representation of innocent strategies that equates innocently indistinguishable ones, yielding a representation of PCF terms that equates precisely those terms that are observational equivalent.
△ Less
Submitted 27 February, 2010;
originally announced March 2010.
-
Modeling the System Parameters of 2M1533+3759: A New Longer-Period Low-Mass Eclipsing sdB+dM Binary
Authors:
B. -Q. For,
E. M. Green,
G. Fontaine,
H. Drechsel,
J. S. Shaw,
J. A. Dittmann,
A. G. Fay,
M. Francoeur,
J. Laird,
E. Moriyama,
M. Morris,
C. Rodríguez-López,
J. M. Sierchio,
S. M. Story,
A. Strom,
C. Wang,
S. M. Adams,
D. E. Bolin,
M. Eskew,
P. Chayer
Abstract:
We present new photometric and spectroscopic observations for 2M 1533+3759 (= NSVS 07826147). It has an orbital period of 0.16177042 day, significantly longer than the 2.3--3.0 hour periods of the other known eclipsing sdB+dM systems. Spectroscopic analysis of the hot primary yields Teff = 29230 +/- 125 K, log g = 5.58 +/- 0.03 and log N(He)/N(H) = -2.37 +/- 0.05. The sdB velocity amplitude is K…
▽ More
We present new photometric and spectroscopic observations for 2M 1533+3759 (= NSVS 07826147). It has an orbital period of 0.16177042 day, significantly longer than the 2.3--3.0 hour periods of the other known eclipsing sdB+dM systems. Spectroscopic analysis of the hot primary yields Teff = 29230 +/- 125 K, log g = 5.58 +/- 0.03 and log N(He)/N(H) = -2.37 +/- 0.05. The sdB velocity amplitude is K1 = 71.1 +/- 1.0 km/s. The only detectable light contribution from the secondary is due to the surprisingly strong reflection effect. Light curve modeling produced several solutions corresponding to different values of the system mass ratio, q(M2/M1), but only one is consistent with a core helium burning star, q=0.301. The orbital inclination is 86.6 degree. The sdB primary mass is M1 = 0.376 +/- 0.055 Msun and its radius is R1 = 0.166 +/- 0.007 Rsun. 2M1533+3759 joins PG0911+456 (and possibly also HS2333+3927) in having an unusually low mass for an sdB star. SdB stars with masses significantly lower than the canonical value of 0.48 Msun, down to as low as 0.30 Msun, were theoretically predicted by Han et al. (2002, 2003), but observational evidence has only recently begun to confirm the existence of such stars. The existence of core helium burning stars with masses lower than 0.40--0.43 Msun implies that at least some sdB progenitors have initial main sequence masses of 1.8--2.0 Msun or more, i.e. they are at least main sequence A stars. The secondary is a main sequence M5 star.
△ Less
Submitted 10 November, 2009;
originally announced November 2009.
-
A Keck HIRES Doppler Search for Planets Orbiting Metal-Poor Dwarfs. II. On the Frequency of Giant Planets in the Metal-Poor Regime
Authors:
A. Sozzetti,
G. Torres,
D. W. Latham,
R. P. Stefanik,
S. G. Korzennik,
A. P. Boss,
B. W. Carney,
J. B. Laird
Abstract:
We present an analysis of three years of precision radial velocity measurements of 160 metal-poor stars observed with HIRES on the Keck 1 telescope. We report on variability and long-term velocity trends for each star in our sample. We identify several long-term, low-amplitude radial-velocity variables worthy of follow-up with direct imaging techniques. We place lower limits on the detectable co…
▽ More
We present an analysis of three years of precision radial velocity measurements of 160 metal-poor stars observed with HIRES on the Keck 1 telescope. We report on variability and long-term velocity trends for each star in our sample. We identify several long-term, low-amplitude radial-velocity variables worthy of follow-up with direct imaging techniques. We place lower limits on the detectable companion mass as a function of orbital period. Our survey would have detected, with a 99.5% confidence level, over 95% of all companions on low-eccentricity orbits with velocity semi-amplitude K > 100 m/s, or M_p*sin(i) > 3.0 M_JUP*(P/yr)^(1/3), for orbital periods P< 3 yr. None of the stars in our sample exhibits radial-velocity variations compatible with the presence of Jovian planets with periods shorter than the survey duration. The resulting average frequency of gas giants orbiting metal-poor dwarfs with -2.0 < [Fe/H] < -0.6 is f_p<0.67% (at the 1-sigma confidence level). We examine the implications of this null result in the context of the observed correlation between the rate of occurrence of giant planets and the metallicity of their main-sequence solar-type stellar hosts. By combining our dataset with the Fischer & Valenti (2005) uniform sample, we confirm that the likelihood of a star to harbor a planet more massive than Jupiter within 2 AU is a steeply rising function of the host's metallicity. However, the data for stars with -1.0 < [Fe/H] < 0.0 are compatible, in a statistical sense, with a constant occurrence rate f_p~1%. Our results can usefully inform theoretical studies of the process of giant planet formation across two orders of magnitude in metallicity.
△ Less
Submitted 27 February, 2009;
originally announced February 2009.
-
A New Spectroscopic and Photometric Analysis of the Transiting Planet Systems TrES-3 and TrES-4
Authors:
A. Sozzetti,
G. Torres,
D. Charbonneau,
J. N. Winn,
S. G. Korzennik,
M. J. Holman,
D. W. Latham,
J. B. Laird,
J. Fernandez,
F. T. O'Donovan,
G. Mandushev,
E. Dunham,
M. E. Everett,
G. A. Esquerdo,
M. Rabus,
J. A. Belmonte,
H. J. Deeg,
T. N. Brown,
M. G. Hidas,
N. Baliber
Abstract:
We report new spectroscopic and photometric observations of the parent stars of the recently discovered transiting planets TrES-3 and TrES-4. A detailed abundance analysis based on high-resolution spectra yields [Fe/H] $= -0.19\pm 0.08$, $T_\mathrm{eff} = 5650\pm 75$ K, and $\log g = 4.4\pm 0.1$ for TrES-3, and [Fe/H] $= +0.14\pm 0.09$, $T_\mathrm{eff} = 6200\pm 75$ K, and $\log g = 4.0\pm0.1$ f…
▽ More
We report new spectroscopic and photometric observations of the parent stars of the recently discovered transiting planets TrES-3 and TrES-4. A detailed abundance analysis based on high-resolution spectra yields [Fe/H] $= -0.19\pm 0.08$, $T_\mathrm{eff} = 5650\pm 75$ K, and $\log g = 4.4\pm 0.1$ for TrES-3, and [Fe/H] $= +0.14\pm 0.09$, $T_\mathrm{eff} = 6200\pm 75$ K, and $\log g = 4.0\pm0.1$ for TrES-4. The accuracy of the effective temperatures is supported by a number of independent consistency checks. The spectroscopic orbital solution for TrES-3 is improved with our new radial-velocity measurements of that system, as are the light-curve parameters for both systems based on newly acquired photometry for TrES-3 and a reanalysis of existing photometry for TrES-4. We have redetermined the stellar parameters taking advantage of the strong constraint provided by the light curves in the form of the normalized separation $a/R_\star$ (related to the stellar density) in conjunction with our new temperatures and metallicities. The masses and radii we derive are $M_\star=0.928_{-0.048}^{+0.028} M_{\sun}$,$R_\star = 0.829_{-0.022}^{+0.015} R_{\sun}$, and $M_\star = 1.404_{-0.134}^{+0.066} M_{\sun}$, $R_\star=1.846_{-0.087}^{+0.096} R_{\sun}$ for TrES-3 and TrES-4, respectively. With these revised stellar parameters we obtain improved values for the planetary masses and radii. We find $M_p = 1.910_{-0.080}^{+0.075} M_\mathrm{Jup}$, $R_p=1.336_{-0.036}^{+0.031} R_\mathrm{Jup}$ for TrES-3, and $M_p=0.925 \pm 0.082 M_\mathrm{Jup}$, $R_p=1.783_{-0.086}^{+0.093} R_\mathrm{Jup}$ for TrES-4. We confirm TrES-4 as the planet with the largest radius among the currently known transiting hot Jupiters.
△ Less
Submitted 26 September, 2008;
originally announced September 2008.
-
Rotation and Macroturbulence in Metal-poor Field Red Giant and Red Horizontal Branch Stars
Authors:
Bruce W. Carney,
David F. Gray,
David Yong,
David W. Latham,
N. Manset,
R. Zelman,
John B. Laird
Abstract:
We report the results for rotational velocities, Vrot sin i, and macroturbulence dispersion, zeta(RT), for 12 metal-poor field red giant branch stars and 7 metal-poor field red horizontal branch stars. The results are based on Fourier transform analyses of absorption line profiles from high-resolution (R ~ 120,000), high-S/N (~ 215 per pixel) spectra obtained with the Gecko spectrograph at CFHT.…
▽ More
We report the results for rotational velocities, Vrot sin i, and macroturbulence dispersion, zeta(RT), for 12 metal-poor field red giant branch stars and 7 metal-poor field red horizontal branch stars. The results are based on Fourier transform analyses of absorption line profiles from high-resolution (R ~ 120,000), high-S/N (~ 215 per pixel) spectra obtained with the Gecko spectrograph at CFHT. We find that the zeta(RT) values for the metal-poor RGB stars are very similar to those for metal-rich disk giants studied earlier by Gray and his collaborators. Six of the RGB stars have small rotational values, less than 2.0 km/sec, while five show significant rotation, over 3 km/sec. The fraction of rapidly rotating RHB stars is somewhat lower than found among BHB stars. We devise two empirical methods to translate the line-broadening results obtained by Carney et al. (2003, 2008) into Vrot sin i for all the RGB and RHB stars they studied. Binning the RGB stars by luminosity, we find that most metal-poor field RGB stars show no detectable sign, on average, of rotation. However, the most luminous stars, with M(V) <= -1.5, do show net rotation, with mean values of 2 to 4 km/sec, depending on the algorithm employed, and these stars also show signs of radial velocity jitter and mass loss.
△ Less
Submitted 30 November, 2007;
originally announced November 2007.
-
Observational Tests of Planet Formation Models
Authors:
A. Sozzetti,
G. Torres,
D. W. Latham,
B. W. Carney,
J. B. Laird,
R. P. Stefanik,
A. P. Boss,
D. Charbonneau,
F. T. O'Donovan,
M. J. Holman,
J. N. Winn
Abstract:
We summarize the results of two experiments to address important issues related to the correlation between planet frequencies and properties and the metallicity of the hosts. Our results can usefully inform formation, structural, and evolutionary models of gas giant planets.
We summarize the results of two experiments to address important issues related to the correlation between planet frequencies and properties and the metallicity of the hosts. Our results can usefully inform formation, structural, and evolutionary models of gas giant planets.
△ Less
Submitted 30 November, 2007;
originally announced November 2007.
-
Line Broadening in Field Metal-poor Red Giant and Red Horizontal Branch Stars
Authors:
Bruce W. Carney,
David W. Latham,
R. P. Stefanik,
John B. Laird
Abstract:
We report 349 radial velocities for 45 metal-poor field red giant and red horizontal branch stars. We have have identified one new spectroscopic binary, HD 4306, and one possible such system, HD 184711. We also report 57 radial velocities for 11 of the 91 stars reported on previously by Carney et al. (2003). As was found in the previous study, radial velocity "jitter" is present in many of the m…
▽ More
We report 349 radial velocities for 45 metal-poor field red giant and red horizontal branch stars. We have have identified one new spectroscopic binary, HD 4306, and one possible such system, HD 184711. We also report 57 radial velocities for 11 of the 91 stars reported on previously by Carney et al. (2003). As was found in the previous study, radial velocity "jitter" is present in many of the most luminous stars. Excluding stars showing spectroscopic binary orbital motion, all 7 of the red giants with M(V) <= -2.0 display jitter, as well as 3 of the 14 stars with -2.0 <= M(V) <= -1.4. We have also measured line broadening in all of the new spectra, using synthetic spectra as templates. The most luminous red giants show significant line broadening, as do many of the red horizontal branch stars, and we discuss briefly possible causes.
△ Less
Submitted 1 October, 2007;
originally announced October 2007.
-
Improving Stellar and Planetary Parameters of Transiting Planet Systems: The Case of TrES-2
Authors:
A. Sozzetti,
G. Torres,
D. Charbonneau,
D. W. Latham,
M. J. Holman,
J. N. Winn,
J. B. Laird,
F. T. O'Donovan
Abstract:
We report on a spectroscopic determination of the atmospheric parameters and chemical abundance of the parent star of the recently discovered transiting planet {TrES-2}. A detailed LTE analysis of a set of \ion{Fe}{1} and \ion{Fe}{2} lines from our Keck spectra yields $T_\mathrm{eff} = 5850\pm 50$ K, $\log g = 4.4\pm 0.1$, and [Fe/H] $= -0.15\pm 0.10$. Several independent checks (e.g., additiona…
▽ More
We report on a spectroscopic determination of the atmospheric parameters and chemical abundance of the parent star of the recently discovered transiting planet {TrES-2}. A detailed LTE analysis of a set of \ion{Fe}{1} and \ion{Fe}{2} lines from our Keck spectra yields $T_\mathrm{eff} = 5850\pm 50$ K, $\log g = 4.4\pm 0.1$, and [Fe/H] $= -0.15\pm 0.10$. Several independent checks (e.g., additional spectroscopy, line-depth ratios) confirm the reliability of our spectroscopic $T_\mathrm{eff}$ estimate. The mass and radius of the star, needed to determine the properties of the planet, are traditionally inferred by comparison with stellar evolution models using $T_\mathrm{eff}$ and some measure of the stellar luminosity, such as the spectroscopic surface gravity (when a trigonometric parallax is unavailable, as in this case). We apply here a new method in which we use instead of $\log g$ the normalized separation $a/R_\star$ (related to the stellar density), which can be determined directly from the light curves of transiting planets with much greater precision. With the $a/R_\star$ value from the light curve analysis of Holman et al. \citeyearpar{holman07b} and our $T_\mathrm{eff}$ estimate we obtain $M_\star = 0.980\pm0.062 M_\odot$ and $R_\star = 1.000_{-0.033}^{+0.036} R_\odot$, and an evolutionary age of $5.1^{+2.7}_{-2.3}$ Gyr, in good agreement with other constraints based on the strength of the emission in the \ion{Ca}{2} H & K line cores, the Lithium abundance, and rotation. The new stellar parameters yield improved values for the planetary mass and radius of $M_p = 1.198 \pm 0.053 M_\mathrm{Jup}$ and $R_p = 1.220^{+0.045}_{-0.042} R_\mathrm{Jup}$, confirming that {TrES-2} is the most massive among the currently known nearby ($d\lesssim 300$ pc) transiting hot Jupiters. [Abridged]
△ Less
Submitted 23 April, 2007;
originally announced April 2007.
-
Bistable Biorders: A Sequential Domain Theory
Authors:
James Laird
Abstract:
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order -- the extensional order -- and a bistable coherence, which captures equivalence of program behaviour, up to permutation of top (error) and bottom (divergence). We show that monotone and bistable functions (which are required…
▽ More
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order -- the extensional order -- and a bistable coherence, which captures equivalence of program behaviour, up to permutation of top (error) and bottom (divergence). We show that monotone and bistable functions (which are required to preserve bistably bounded meets and joins) are strongly sequential, and use this fact to prove universality results for the bistable biorder semantics of the simply-typed lambda-calculus (with atomic constants), and an extension with arithmetic and recursion.
We also construct a bistable model of SPCF, a higher-order functional programming language with non-local control. We use our universality result for the lambda-calculus to show that the semantics of SPCF is fully abstract. We then establish a direct correspondence between bistable functions and sequential algorithms by showing that sequential data structures give rise to bistable biorders, and that each bistable function between such biorders is computed by a sequential algorithm.
△ Less
Submitted 15 May, 2007; v1 submitted 28 February, 2007;
originally announced February 2007.
-
A Keck/HIRES Doppler Search for Planets Orbiting Metal-Poor Dwarfs. I. Testing Giant Planet Formation and Migration Scenarios
Authors:
A. Sozzetti,
G. Torres,
D. W. Latham,
B. W. Carney,
R. P. Stefanik,
A. P. Boss,
J. B. Laird,
S. G. Korzennik
Abstract:
We describe a high-precision Doppler search for giant planets orbiting a well-defined sample of metal-poor dwarfs in the field. This experiment constitutes a fundamental test of theoretical predictions which will help discriminate between proposed giant planet formation and migration models. We present here details on the survey as well as an overall assessment of the quality of our measurements…
▽ More
We describe a high-precision Doppler search for giant planets orbiting a well-defined sample of metal-poor dwarfs in the field. This experiment constitutes a fundamental test of theoretical predictions which will help discriminate between proposed giant planet formation and migration models. We present here details on the survey as well as an overall assessment of the quality of our measurements, making use of the results for the stars that show no significant velocity variation.
△ Less
Submitted 26 May, 2006;
originally announced May 2006.
-
Chemical Composition of the Planet-Harboring Star TrES-1
Authors:
A. Sozzetti,
D. Yong,
B. W. Carney,
J. B. Laird,
D. W. Latham,
G. Torres
Abstract:
We present a detailed chemical abundance analysis of the parent star of the transiting extrasolar planet TrES-1. Based on high-resolution Keck/HIRES and HET/HRS spectra, we have determined abundances relative to the Sun for 16 elements (Na, Mg, Al, Si, Ca, Sc, Ti, V, Cr, Mn, Co, Ni, Cu, Zn, Y, and Ba). The resulting average abundance of $<[$$X$/H$]>$ $= -0.02\pm0.06$ is in good agreement with in…
▽ More
We present a detailed chemical abundance analysis of the parent star of the transiting extrasolar planet TrES-1. Based on high-resolution Keck/HIRES and HET/HRS spectra, we have determined abundances relative to the Sun for 16 elements (Na, Mg, Al, Si, Ca, Sc, Ti, V, Cr, Mn, Co, Ni, Cu, Zn, Y, and Ba). The resulting average abundance of $<[$$X$/H$]>$ $= -0.02\pm0.06$ is in good agreement with initial estimates of solar metallicity based on iron. We compare the elemental abundances of TrES-1 with those of the sample of stars with planets, searching for possible chemical abundance anomalies. TrES-1 appears not to be chemically peculiar in any measurable way. We investigate possible signs of selective accretion of refractory elements in TrES-1 and other stars with planets, and find no statistically significant trends of metallicity [$X$/H] with condensation temperature $T_c$. We use published abundances and kinematic information for the sample of planet-hosting stars (including TrES-1) and several statistical indicators to provide an updated classification in terms of their likelihood to belong to either the thin disk or the thick disk of the Milky Way Galaxy. TrES-1 is found to be a very likely member of the thin disk population. By comparing $α$-element abundances of planet hosts and a large control sample of field stars, we also find that metal-rich ([Fe/H]$\gtrsim 0.0$) stars with planets appear to be systematically underabundant in [$α$/Fe] by $\approx 0.1$ dex with respect to comparison field stars. The reason for this signature is unclear, but systematic differences in the analysis procedures adopted by different groups cannot be ruled out.
△ Less
Submitted 20 December, 2005;
originally announced December 2005.
-
A Survey of Proper Motion Stars. XVII. A Deficiency of Binary Stars on Retrograde Galactic Orbits and the Possibility that omega Centauri is Related to the Effect
Authors:
Bruce W. Carney,
Luis A. Aguilar,
David W. Latham,
John B. Laird
Abstract:
We find a deficiency of binary stars moving on strongly retrograde Galactic orbits. No binary deficiencies are seen for U or W velocities, however. From theoretical analyses, we rule out preferential disruption of pre-existing binary stars due to encounters with massive perturbers. We also rule out globular clusters as the source of the effect since prograde motions are more likely to create suc…
▽ More
We find a deficiency of binary stars moving on strongly retrograde Galactic orbits. No binary deficiencies are seen for U or W velocities, however. From theoretical analyses, we rule out preferential disruption of pre-existing binary stars due to encounters with massive perturbers. We also rule out globular clusters as the source of the effect since prograde motions are more likely to create such an effect. We search for star streams and find one possible candidate, but it is not on a retrograde orbit and probably represents the remains of a cluster that has passed too near the Galactic center. Based on a very small number of stars, we find that about the right fraction of stars on retrograde Galactic orbits share some chemical similarities to the cluster omega Cen, suggesting that its parent galaxy could be the explanation.
△ Less
Submitted 5 December, 2004;
originally announced December 2004.
-
Metal-poor Field Blue Stragglers: More Evidence for Mass Transfer
Authors:
Bruce W. Carney,
David W. Latham,
John B. Laird
Abstract:
We report radial velocity studies of five candidate metal-poor field blue stragglers, all known to be deficient in lithium. Four of the five stars are single-lined spectroscopic binaries, with periods ranging from 302 to 840 days, and low orbital eccentricities, in agreement with similar behavior found for other blue straggler candidates by Preston & Sneden (2000) and Carney et al. (2001). The l…
▽ More
We report radial velocity studies of five candidate metal-poor field blue stragglers, all known to be deficient in lithium. Four of the five stars are single-lined spectroscopic binaries, with periods ranging from 302 to 840 days, and low orbital eccentricities, in agreement with similar behavior found for other blue straggler candidates by Preston & Sneden (2000) and Carney et al. (2001). The limited data available for lithium abundances indicate that all blue straggler candidates have depleted lithium abundances. Our results show higher values of v(rot) sin i for the binary stars than comparable temperature constant-velocity stars. The orbital periods are too long for tidal effects to now be important, implying that spin-up during mass transfer when the orbital separations and periods were smaller is that cause of the enhanced rotation.
△ Less
Submitted 5 December, 2004;
originally announced December 2004.
-
A Keck/HIRES Doppler Search for Planets Orbiting Metal-Poor Dwarfs
Authors:
A. Sozzetti,
D. W. Latham,
G. Torres,
R. P. Stefanik,
A. P. Boss,
B. W. Carney,
J. B. Laird
Abstract:
We present results from our ongoing spectroscopic search for giant planets within 1 AU around a well-defined sample of metal-poor stars with HIRES on the Keck 1 telescope. We have achieved an rms radial velocity precision of $\sim 8$ m/s over a time-span of 1.5 years. The data collected so far build toward evidence of the absence of very short-period ($< 1$ month) giant planets. However, about 7…
▽ More
We present results from our ongoing spectroscopic search for giant planets within 1 AU around a well-defined sample of metal-poor stars with HIRES on the Keck 1 telescope. We have achieved an rms radial velocity precision of $\sim 8$ m/s over a time-span of 1.5 years. The data collected so far build toward evidence of the absence of very short-period ($< 1$ month) giant planets. However, about 7% of the stars in our sample exhibits velocity trends indicative of the existence of companions. We place preliminary upper limits on the detectable companion mass as a function of orbital period, and compare them with the performance of ESA's future space-borne high-precision astrometric observatory Gaia.
△ Less
Submitted 10 November, 2004;
originally announced November 2004.
-
High-Resolution Spectroscopy of the Transiting Planet Host Star TrES-1
Authors:
A. Sozzetti,
D. Yong,
G. Torres,
D. Charbonneau,
D. W. Latham,
C. A. Prieto,
T. M. Brown,
B. W. Carney,
J. B. Laird
Abstract:
We report on a spectroscopic determination of the stellar parameters and chemical abundances for the parent star of the transiting planet TrES-1. Based on a detailed analysis of iron lines in our Keck and HET spectra we derive $T_\mathrm{eff} = 5250\pm 75$ K, $\log g = 4.6\pm 0.2$, and [Fe/H] $= 0.00\pm 0.09$. By measuring the \ion{Ca}{2} activity indicator and by putting useful upper limits on…
▽ More
We report on a spectroscopic determination of the stellar parameters and chemical abundances for the parent star of the transiting planet TrES-1. Based on a detailed analysis of iron lines in our Keck and HET spectra we derive $T_\mathrm{eff} = 5250\pm 75$ K, $\log g = 4.6\pm 0.2$, and [Fe/H] $= 0.00\pm 0.09$. By measuring the \ion{Ca}{2} activity indicator and by putting useful upper limits on the Li abundance we constrain the age of TrES-1 to be $2.5\pm 1.5$ Gyr. By comparing theoretical stellar evolution models with the observational parameters we obtain $M_\star = 0.89\pm 0.05$ $M_\odot$, and $R_\star = 0.83\pm 0.05$ $R_\odot$. Our improved estimates of the stellar parameters are utilized in a new analysis of the transit photometry of TrES-1 to derive a mass $M_p = 0.76\pm 0.05$ $M_\mathrm{J}$, a radius $R_p = 1.04^{+0.08}_{-0.05}$ $R_\mathrm{J}$, and an inclination $i = 89^\circ.5^{+0.5}_{-1.3}$. The improved planetary mass and radius estimates provide the grounds for new crucial tests of theoretical models of evolution and evaporation of irradiated extrasolar giant planets.
△ Less
Submitted 20 October, 2004;
originally announced October 2004.
-
When Do Planets Form? A Search for Extra-solar Planets Around Metal-Poor Stars
Authors:
A. Sozzetti,
D. W. Latham,
G. Torres,
R. P. Stefanik,
A. P. Boss,
B. W. Carney,
J. B. Laird
Abstract:
We present preliminary results from our spectroscopic search for planets within 1 AU of metal-poor field dwarfs using NASA time with HIRES on Keck I. The core accretion model of gas giant planet formation is sensitive to the metallicity of the raw material, while the disk instability model is not. By observing metal-poor stars in the field we eliminate the role of dynamical interactions in dense…
▽ More
We present preliminary results from our spectroscopic search for planets within 1 AU of metal-poor field dwarfs using NASA time with HIRES on Keck I. The core accretion model of gas giant planet formation is sensitive to the metallicity of the raw material, while the disk instability model is not. By observing metal-poor stars in the field we eliminate the role of dynamical interactions in dense stellar environments, such as a globular cluster. The results of our survey should allow us to distinguish the relative roles of the two competing giant planet formation scenarios.
△ Less
Submitted 1 November, 2003;
originally announced November 2003.
-
The Spectroscopic Orbit of the Planetary Companion Transiting HD209458
Authors:
T. Mazeh,
D. Naef,
G. Torres,
D. W. Latham,
M. Mayor,
J. -L. Beuzit,
T. M. Brown,
L. Buchhave,
M. Burnet,
B. W. Carney,
D. Charbonneau,
G. A. Drukier,
J. B. Laird,
F. Pepe,
C. Perrier,
D. Queloz,
N. C. Santos,
J. -P. Sivan,
S. Udry,
S. Zucker
Abstract:
We report a spectroscopic orbit with period P = 3.52433 +/- 0.00027 days for the planetary companion that transits the solar-type star HD209458. For the metallicity, mass, and radius of the star we derive [Fe/H] = 0.00 +/- 0.02, M = 1.1 +/- 0.1 solar masses, and R = 1.3 +/- 0.1 solar radii. This is based on a new analysis of the iron lines in our HIRES template spectrum, and also on the absolute…
▽ More
We report a spectroscopic orbit with period P = 3.52433 +/- 0.00027 days for the planetary companion that transits the solar-type star HD209458. For the metallicity, mass, and radius of the star we derive [Fe/H] = 0.00 +/- 0.02, M = 1.1 +/- 0.1 solar masses, and R = 1.3 +/- 0.1 solar radii. This is based on a new analysis of the iron lines in our HIRES template spectrum, and also on the absolute magnitude and color of the star, and uses isochrones from four different sets of stellar evolution models. Using these values for the stellar parameters we reanalyze the transit data and derive an orbital inclination of i = 85.2 +/- 1.4 degrees. For the planet we derive a mass of Mp = 0.69 +/- 0.05 Jupiter masses, a radius of Rp = 1.54 +/- 0.18 Jupiter radii, and a density of 0.23 +/- 0.08 grams per cubic cm.
△ Less
Submitted 16 January, 2000;
originally announced January 2000.
-
Flexibly Instructable Agents
Authors:
S. B. Huffman,
J. E. Laird
Abstract:
This paper presents an approach to learning from situated, interactive tutorial instruction within an ongoing agent. Tutorial instruction is a flexible (and thus powerful) paradigm for teaching tasks because it allows an instructor to communicate whatever types of knowledge an agent might need in whatever situations might arise. To support this flexibility, however, the agent must be able to lea…
▽ More
This paper presents an approach to learning from situated, interactive tutorial instruction within an ongoing agent. Tutorial instruction is a flexible (and thus powerful) paradigm for teaching tasks because it allows an instructor to communicate whatever types of knowledge an agent might need in whatever situations might arise. To support this flexibility, however, the agent must be able to learn multiple kinds of knowledge from a broad range of instructional interactions. Our approach, called situated explanation, achieves such learning through a combination of analytic and inductive techniques. It combines a form of explanation-based learning that is situated for each instruction with a full suite of contextually guided responses to incomplete explanations. The approach is implemented in an agent called Instructo-Soar that learns hierarchies of new tasks and other domain knowledge from interactive natural language instructions. Instructo-Soar meets three key requirements of flexible instructability that distinguish it from previous systems: (1) it can take known or unknown commands at any instruction point; (2) it can handle instructions that apply to either its current situation or to a hypothetical situation specified in language (as in, for instance, conditional instructions); and (3) it can learn, from instructions, each class of knowledge it uses to perform tasks.
△ Less
Submitted 31 October, 1995;
originally announced November 1995.
