-
Closed-loop Teaching via Demonstrations to Improve Policy Transparency
Authors:
Michael S. Lee,
Reid Simmons,
Henny Admoni
Abstract:
Demonstrations are a powerful way of increasing the transparency of AI policies. Though informative demonstrations may be selected a priori through the machine teaching paradigm, student learning may deviate from the preselected curriculum in situ. This paper thus explores augmenting a curriculum with a closed-loop teaching framework inspired by principles from the education literature, such as th…
▽ More
Demonstrations are a powerful way of increasing the transparency of AI policies. Though informative demonstrations may be selected a priori through the machine teaching paradigm, student learning may deviate from the preselected curriculum in situ. This paper thus explores augmenting a curriculum with a closed-loop teaching framework inspired by principles from the education literature, such as the zone of proximal development and the testing effect. We utilize tests accordingly to close to the loop and maintain a novel particle filter model of human beliefs throughout the learning process, allowing us to provide demonstrations that are targeted to the human's current understanding in real time. A user study finds that our proposed closed-loop teaching framework reduces the regret in human test responses by 43% over a baseline.
△ Less
Submitted 1 April, 2024;
originally announced June 2024.
-
Conformalized Teleoperation: Confidently Map** Human Inputs to High-Dimensional Robot Actions
Authors:
Michelle Zhao,
Reid Simmons,
Henny Admoni,
Andrea Bajcsy
Abstract:
Assistive robotic arms often have more degrees-of-freedom than a human teleoperator can control with a low-dimensional input, like a joystick. To overcome this challenge, existing approaches use data-driven methods to learn a map** from low-dimensional human inputs to high-dimensional robot actions. However, determining if such a black-box map** can confidently infer a user's intended high-dim…
▽ More
Assistive robotic arms often have more degrees-of-freedom than a human teleoperator can control with a low-dimensional input, like a joystick. To overcome this challenge, existing approaches use data-driven methods to learn a map** from low-dimensional human inputs to high-dimensional robot actions. However, determining if such a black-box map** can confidently infer a user's intended high-dimensional action from low-dimensional inputs remains an open problem. Our key idea is to adapt the assistive map at training time to additionally estimate high-dimensional action quantiles, and then calibrate these quantiles via rigorous uncertainty quantification methods. Specifically, we leverage adaptive conformal prediction which adjusts the intervals over time, reducing the uncertainty bounds when the map** is performant and increasing the bounds when the map** consistently mis-predicts. Furthermore, we propose an uncertainty-interval-based mechanism for detecting high-uncertainty user inputs and robot states. We evaluate the efficacy of our proposed approach in a 2D assistive navigation task and two 7DOF Kinova Jaco tasks involving assistive cup gras** and goal reaching. Our findings demonstrate that conformalized assistive teleoperation manages to detect (but not differentiate between) high uncertainty induced by diverse preferences and induced by low-precision trajectories in the map**'s training dataset. On the whole, we see this work as a key step towards enabling robots to quantify their own uncertainty and proactively seek intervention when needed.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
Finite-Choice Logic Programming
Authors:
Robert J. Simmons,
Michael Arntzenius,
Chris Martens
Abstract:
Logic programming, as exemplified by datalog, defines the meaning of a program as the canonical smallest model derived from deductive closure over its inference rules. However, many problems call for an enumeration of models that vary along some set of choices while maintaining structural and logical constraints -- there is no single canonical model. The notion of stable models has successfully ca…
▽ More
Logic programming, as exemplified by datalog, defines the meaning of a program as the canonical smallest model derived from deductive closure over its inference rules. However, many problems call for an enumeration of models that vary along some set of choices while maintaining structural and logical constraints -- there is no single canonical model. The notion of stable models has successfully captured programmer intuition about the set of valid solutions for such problems, giving rise to a family of programming languages and associated solvers collectively known as answer set programming. Unfortunately, the definition of a stable model is frustratingly indirect, especially in the presence of rules containing free variables.
We propose a new formalism, called finite-choice logic programing, for which the set of stable models can be characterized as the least fixed point of an immediate consequence operator. Our formalism allows straightforward expression of common idioms in both datalog and answer set programming, gives meaning to a new and useful class of programs, enjoys a constructive and direct operational semantics, and admits a predictive cost semantics, which we demonstrate through our implementation.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Understanding Robot Minds: Leveraging Machine Teaching for Transparent Human-Robot Collaboration Across Diverse Groups
Authors:
Suresh Kumaar Jayaraman,
Reid Simmons,
Aaron Steinfeld,
Henny Admoni
Abstract:
In this work, we aim to improve transparency and efficacy in human-robot collaboration by develo** machine teaching algorithms suitable for groups with varied learning capabilities. While previous approaches focused on tailored approaches for teaching individuals, our method teaches teams with various compositions of diverse learners using team belief representations to address personalization c…
▽ More
In this work, we aim to improve transparency and efficacy in human-robot collaboration by develo** machine teaching algorithms suitable for groups with varied learning capabilities. While previous approaches focused on tailored approaches for teaching individuals, our method teaches teams with various compositions of diverse learners using team belief representations to address personalization challenges within groups. We investigate various group teaching strategies, such as focusing on individual beliefs or the group's collective beliefs, and assess their impact on learning robot policies for different team compositions. Our findings reveal that team belief strategies yield less variation in learning duration and better accommodate diverse teams compared to individual belief strategies, suggesting their suitability in mixed-proficiency settings with limited resources. Conversely, individual belief strategies provide a more uniform knowledge level, particularly effective for homogeneously inexperienced groups. Our study indicates that the teaching strategy's efficacy is significantly influenced by team composition and learner proficiency, highlighting the importance of real-time assessment of learner proficiency and adapting teaching approaches based on learner proficiency for optimal teaching outcomes.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Bootstrap** Cognitive Agents with a Large Language Model
Authors:
Feiyu Zhu,
Reid Simmons
Abstract:
Large language models contain noisy general knowledge of the world, yet are hard to train or fine-tune. On the other hand cognitive architectures have excellent interpretability and are flexible to update but require a lot of manual work to instantiate. In this work, we combine the best of both worlds: bootstrap** a cognitive-based model with the noisy knowledge encoded in large language models.…
▽ More
Large language models contain noisy general knowledge of the world, yet are hard to train or fine-tune. On the other hand cognitive architectures have excellent interpretability and are flexible to update but require a lot of manual work to instantiate. In this work, we combine the best of both worlds: bootstrap** a cognitive-based model with the noisy knowledge encoded in large language models. Through an embodied agent doing kitchen tasks, we show that our proposed framework yields better efficiency compared to an agent based entirely on large language models. Our experiments indicate that large language models are a good source of information for cognitive architectures, and the cognitive architecture in turn can verify and update the knowledge of large language models to a specific domain.
△ Less
Submitted 24 February, 2024;
originally announced March 2024.
-
Multi-Agent Strategy Explanations for Human-Robot Collaboration
Authors:
Ravi Pandya,
Michelle Zhao,
Changliu Liu,
Reid Simmons,
Henny Admoni
Abstract:
As robots are deployed in human spaces, it is important that they are able to coordinate their actions with the people around them. Part of such coordination involves ensuring that people have a good understanding of how a robot will act in the environment. This can be achieved through explanations of the robot's policy. Much prior work in explainable AI and RL focuses on generating explanations f…
▽ More
As robots are deployed in human spaces, it is important that they are able to coordinate their actions with the people around them. Part of such coordination involves ensuring that people have a good understanding of how a robot will act in the environment. This can be achieved through explanations of the robot's policy. Much prior work in explainable AI and RL focuses on generating explanations for single-agent policies, but little has been explored in generating explanations for collaborative policies. In this work, we investigate how to generate multi-agent strategy explanations for human-robot collaboration. We formulate the problem using a generic multi-agent planner, show how to generate visual explanations through strategy-conditioned landmark states and generate textual explanations by giving the landmarks to an LLM. Through a user study, we find that when presented with explanations from our proposed framework, users are able to better explore the full space of strategies and collaborate more efficiently with new robot partners.
△ Less
Submitted 1 July, 2024; v1 submitted 20 November, 2023;
originally announced November 2023.
-
Classical-to-quantum non-signalling boxes
Authors:
Carolina Moreira Ferrera,
Robin Simmons,
James Purcell,
Daniel Collins,
Sandu Popescu
Abstract:
Here we introduce the concept of classical input - quantum output (C-Q) non-signalling boxes, a generalisation of the classical input - classical output (C-C) non-signalling boxes. We argue that studying such objects leads to a better understanding of the relation between quantum nonlocality and non-locality beyond quantum mechanics. The main issue discussed in the paper is whether there exist 'ge…
▽ More
Here we introduce the concept of classical input - quantum output (C-Q) non-signalling boxes, a generalisation of the classical input - classical output (C-C) non-signalling boxes. We argue that studying such objects leads to a better understanding of the relation between quantum nonlocality and non-locality beyond quantum mechanics. The main issue discussed in the paper is whether there exist 'genuine' C-Q boxes or all C-Q boxes can be built from objects already known, namely C-C boxes acting on pre-shared entangled quantum particles. We show that large classes of C-Q boxes are non-genuine. In particular, we show that all bi-partite C-Q boxes with outputs that are pure states are non-genuine. We also present various strategies for addressing the general problem, i.e. for multi-partite C-Q boxes which output mixed states, whose answer is still open. Finally, we show that even some very simple non-genuine C-Q boxes require large amounts of C-C nonlocal correlations in order to simulate them.
△ Less
Submitted 25 April, 2024; v1 submitted 30 March, 2023;
originally announced March 2023.
-
Coordination with Humans via Strategy Matching
Authors:
Michelle Zhao,
Reid Simmons,
Henny Admoni
Abstract:
Human and robot partners increasingly need to work together to perform tasks as a team. Robots designed for such collaboration must reason about how their task-completion strategies interplay with the behavior and skills of their human team members as they coordinate on achieving joint goals. Our goal in this work is to develop a computational framework for robot adaptation to human partners in hu…
▽ More
Human and robot partners increasingly need to work together to perform tasks as a team. Robots designed for such collaboration must reason about how their task-completion strategies interplay with the behavior and skills of their human team members as they coordinate on achieving joint goals. Our goal in this work is to develop a computational framework for robot adaptation to human partners in human-robot team collaborations. We first present an algorithm for autonomously recognizing available task-completion strategies by observing human-human teams performing a collaborative task. By transforming team actions into low dimensional representations using hidden Markov models, we can identify strategies without prior knowledge. Robot policies are learned on each of the identified strategies to construct a Mixture-of-Experts model that adapts to the task strategies of unseen human partners. We evaluate our model on a collaborative cooking task using an Overcooked simulator. Results of an online user study with 125 participants demonstrate that our framework improves the task performance and collaborative fluency of human-agent teams, as compared to state of the art reinforcement learning methods.
△ Less
Submitted 7 November, 2022; v1 submitted 26 October, 2022;
originally announced October 2022.
-
Reasoning about Counterfactuals to Improve Human Inverse Reinforcement Learning
Authors:
Michael S. Lee,
Henny Admoni,
Reid Simmons
Abstract:
To collaborate well with robots, we must be able to understand their decision making. Humans naturally infer other agents' beliefs and desires by reasoning about their observable behavior in a way that resembles inverse reinforcement learning (IRL). Thus, robots can convey their beliefs and desires by providing demonstrations that are informative for a human learner's IRL. An informative demonstra…
▽ More
To collaborate well with robots, we must be able to understand their decision making. Humans naturally infer other agents' beliefs and desires by reasoning about their observable behavior in a way that resembles inverse reinforcement learning (IRL). Thus, robots can convey their beliefs and desires by providing demonstrations that are informative for a human learner's IRL. An informative demonstration is one that differs strongly from the learner's expectations of what the robot will do given their current understanding of the robot's decision making. However, standard IRL does not model the learner's existing expectations, and thus cannot do this counterfactual reasoning. We propose to incorporate the learner's current understanding of the robot's decision making into our model of human IRL, so that a robot can select demonstrations that maximize the human's understanding. We also propose a novel measure for estimating the difficulty for a human to predict instances of a robot's behavior in unseen environments. A user study finds that our test difficulty measure correlates well with human performance and confidence. Interestingly, considering human beliefs and counterfactuals when selecting demonstrations decreases human performance on easy tests, but increases performance on difficult tests, providing insight on how to best utilize such models.
△ Less
Submitted 3 August, 2022; v1 submitted 3 March, 2022;
originally announced March 2022.
-
Identifying the preschool home learning experiences that predict early number skills: Evidence from a longitudinal study
Authors:
Elena Soto-Calvo,
Fiona R. Simmons,
Anne-Marie Adams,
Hannah N. Francis,
Hannah Patel,
David Giofrè
Abstract:
This study examines the longitudinal relationships between home learning experiences and early number skills. The counting, number transcoding and calculation skills of 274 children were assessed in the penultimate term of preschool (Mage=4:0). Prior to these assessments, parents completed questionnaires that surveyed the frequency of the children's home learning experiences. Three types of experi…
▽ More
This study examines the longitudinal relationships between home learning experiences and early number skills. The counting, number transcoding and calculation skills of 274 children were assessed in the penultimate term of preschool (Mage=4:0). Prior to these assessments, parents completed questionnaires that surveyed the frequency of the children's home learning experiences. Three types of experiences were indexed: code-focused home literacy experiences that focus on the phonological and orthographic features of language, meaning-focused home literacy experiences that focus on sharing the meaning of language and text, and home number experiences. The children's language abilities (phonological awareness and vocabulary) and nonverbal abilities (inhibitory control and nonverbal reasoning) were assessed in the final term of preschool (Mage=4:3). Their number skills were reassessed in the final term of the first year of primary school (Mage=5:3). Home letter-sound interaction experiences (interactive code-focused literacy experiences) had significant longitudinal relationships with counting and number transcoding that were independent of language and nonverbal abilities. The relationship between letter-sound interaction experiences and later counting was also independent of the autoregressive influence of baseline counting ability. We extend previous findings by demonstrating that interactive code-focused home literacy experiences in the preschool period predict growth in counting skills even when a broad range of language and cognitive abilities are controlled.
△ Less
Submitted 31 December, 2021;
originally announced January 2022.
-
Constrained randomization and statistical inference for multi-arm parallel cluster randomized controlled trials
Authors:
Yunji Zhou,
Elizabeth L. Turner,
Ryan A. Simmons,
Fan Li
Abstract:
A practical limitation of cluster randomized controlled trials (cRCTs) is that the number of available clusters may be small, resulting in an increased risk of baseline imbalance under simple randomization. Constrained randomization overcomes this issue by restricting the allocation to a subset of randomization schemes where sufficient overall covariate balance across comparison arms is achieved.…
▽ More
A practical limitation of cluster randomized controlled trials (cRCTs) is that the number of available clusters may be small, resulting in an increased risk of baseline imbalance under simple randomization. Constrained randomization overcomes this issue by restricting the allocation to a subset of randomization schemes where sufficient overall covariate balance across comparison arms is achieved. However, for multi-arm cRCTs, several design and analysis issues pertaining to constrained randomization have not been fully investigated. Motivated by an ongoing multi-arm cRCT, we elaborate the method of constrained randomization and provide a comprehensive evaluation of the statistical properties of model-based and randomization-based tests under both simple and constrained randomization designs in multi-arm cRCTs, with varying combinations of design and analysis-based covariate adjustment strategies. In particular, as randomization-based tests have not been extensively studied in multi-arm cRCTs, we additionally develop most-powerful randomization tests under the linear mixed model framework for our comparisons. Our results indicate that under constrained randomization, both model-based and randomization-based analyses could gain power while preserving nominal type I error rate, given proper analysis-based adjustment for the baseline covariates. Randomization-based analyses, however, are more robust against violations of distributional assumptions. The choice of balance metrics and candidate set sizes and their implications on the testing of the pairwise and global hypotheses are also discussed. Finally, we caution against the design and analysis of multi-arm cRCTs with an extremely small number of clusters, due to insufficient degrees of freedom and the tendency to obtain an overly restricted randomization space.
△ Less
Submitted 17 January, 2022; v1 submitted 20 June, 2021;
originally announced June 2021.
-
Relationship between changing malaria burden and low birth weight in sub-Saharan Africa: a difference-in-differences study via a pair-of-pairs approach
Authors:
Siyu Heng,
Wendy P. O'Meara,
Ryan A. Simmons,
Dylan S. Small
Abstract:
Although interventional studies demonstrate that preventing malaria during pregnancy can reduce the low birth weight (i.e., child's birth weight $<$ 2,500 grams) rate, it remains unknown whether natural changes in parasite transmission and malaria burden can improve birth outcomes. We conduct an observational study of the effect of changing malaria burden on low birth weight using data from 18,112…
▽ More
Although interventional studies demonstrate that preventing malaria during pregnancy can reduce the low birth weight (i.e., child's birth weight $<$ 2,500 grams) rate, it remains unknown whether natural changes in parasite transmission and malaria burden can improve birth outcomes. We conduct an observational study of the effect of changing malaria burden on low birth weight using data from 18,112 births in 19 countries in sub-Saharan African countries during the years 2000--2015. A malaria prevalence decline from a high rate (Plasmodium falciparum parasite rate in children aged 2-up-to-10 (i.e., $Pf\text{PR}_{2-10}$) $>$ 0.4) to a low rate ($Pf\text{PR}_{2-10}$ $<$ 0.2) is estimated to reduce the rate of low birth weight by 1.48 percentage points (95% confidence interval: 3.70 percentage points reduction, 0.74 percentage points increase), which is a 17% reduction in the low birth weight rate compared to the average (8.6%) in our study population with observed birth weight records (1.48/8.6 $\approx$ 17%). When focusing on first pregnancies, a decline in malaria prevalence from high to low is estimated to have a greater impact on the low birth weight rate than for all births: 3.73 percentage points (95% confidence interval: 9.11 percentage points reduction, 1.64 percentage points increase). Although the confidence intervals cannot rule out the possibility of no effect at the 95% confidence level, the concurrence between our primary analysis, secondary analyses, and sensitivity analyses, and the magnitude of the effect size, contribute to the weight of the evidence suggesting that declining malaria burden has an important effect on birth weight at the population level. The novel statistical methodology developed in this article, a pair-of-pairs approach to a difference-in-differences study, could be useful for many settings in which the units observed are different at different times.
△ Less
Submitted 12 July, 2021; v1 submitted 1 December, 2020;
originally announced December 2020.
-
Tradeoff-Focused Contrastive Explanation for MDP Planning
Authors:
Roykrong Sukkerd,
Reid Simmons,
David Garlan
Abstract:
End-users' trust in automated agents is important as automated decision-making and planning is increasingly used in many aspects of people's lives. In real-world applications of planning, multiple optimization objectives are often involved. Thus, planning agents' decisions can involve complex tradeoffs among competing objectives. It can be difficult for the end-users to understand why an agent dec…
▽ More
End-users' trust in automated agents is important as automated decision-making and planning is increasingly used in many aspects of people's lives. In real-world applications of planning, multiple optimization objectives are often involved. Thus, planning agents' decisions can involve complex tradeoffs among competing objectives. It can be difficult for the end-users to understand why an agent decides on a particular planning solution on the basis of its objective values. As a result, the users may not know whether the agent is making the right decisions, and may lack trust in it. In this work, we contribute an approach, based on contrastive explanation, that enables a multi-objective MDP planning agent to explain its decisions in a way that communicates its tradeoff rationale in terms of the domain-level concepts. We conduct a human subjects experiment to evaluate the effectiveness of our explanation approach in a mobile robot navigation domain. The results show that our approach significantly improves the users' understanding, and confidence in their understanding, of the tradeoff rationale of the planning agent.
△ Less
Submitted 2 August, 2020; v1 submitted 27 April, 2020;
originally announced April 2020.
-
RemIX: A Distributed Internet Exchange for Remote and Rural Networks
Authors:
William Waites,
James Sweet,
Roger Baig,
Peter Buneman,
Marwan Fayed,
Gordon Hughes,
Michael Fourman,
Richard Simmons
Abstract:
The concept of the IXP, an Ethernet fabric central to the structure of the global Internet, is largely absent from the development of community-driven collaborative network infrastructure. The reasons for this are two-fold. IXPs exist in central, typically urban, environments where strong network infrastructure ensures high levels of connectivity. Between rural and remote regions, where networks a…
▽ More
The concept of the IXP, an Ethernet fabric central to the structure of the global Internet, is largely absent from the development of community-driven collaborative network infrastructure. The reasons for this are two-fold. IXPs exist in central, typically urban, environments where strong network infrastructure ensures high levels of connectivity. Between rural and remote regions, where networks are separated by distance and terrain, no such infrastructure exists. In this paper we present RemIX a distributed IXPs architecture designed for the community network environment. We examine this praxis using an implementation in Scotland, with suggestions for future development and research.
△ Less
Submitted 29 March, 2016;
originally announced March 2016.
-
Expressing Ethnicity through Behaviors of a Robot Character
Authors:
Maxim Makatchev,
Reid Simmons,
Majd Sakr,
Micheline Ziadee
Abstract:
Achieving homophily, or association based on similarity, between a human user and a robot holds a promise of improved perception and task performance. However, no previous studies that address homophily via ethnic similarity with robots exist. In this paper, we discuss the difficulties of evoking ethnic cues in a robot, as opposed to a virtual agent, and an approach to overcome those difficulties…
▽ More
Achieving homophily, or association based on similarity, between a human user and a robot holds a promise of improved perception and task performance. However, no previous studies that address homophily via ethnic similarity with robots exist. In this paper, we discuss the difficulties of evoking ethnic cues in a robot, as opposed to a virtual agent, and an approach to overcome those difficulties based on using ethnically salient behaviors. We outline our methodology for selecting and evaluating such behaviors, and culminate with a study that evaluates our hypotheses of the possibility of ethnic attribution of a robot character through verbal and nonverbal behaviors and of achieving the homophily effect.
△ Less
Submitted 14 March, 2013;
originally announced March 2013.
-
Relating Reasoning Methodologies in Linear Logic and Process Algebra
Authors:
Yuxin Deng,
Iliano Cervesato,
Robert J. Simmons
Abstract:
We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like calculus obtained from the formula-as-process interpretation of a fragment of linear logic. The argument makes use of other standard notions in process algebra, namely a labeled transition system and a coinductively defined simulation relation. This result…
▽ More
We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like calculus obtained from the formula-as-process interpretation of a fragment of linear logic. The argument makes use of other standard notions in process algebra, namely a labeled transition system and a coinductively defined simulation relation. This result establishes a connection between an approach to reason about process specifications and a method to reason about logic specifications.
△ Less
Submitted 17 November, 2012;
originally announced November 2012.
-
Heuristic Search Value Iteration for POMDPs
Authors:
Trey Smith,
Reid Simmons
Abstract:
We present a novel POMDP planning algorithm called heuristic search value iteration (HSVI).HSVI is an anytime algorithm that returns a policy and a provable bound on its regret with respect to the optimal policy. HSVI gets its power by combining two well-known techniques: attention-focusing search heuristics and piecewise linear convex representations of the value function. HSVI's soundness and co…
▽ More
We present a novel POMDP planning algorithm called heuristic search value iteration (HSVI).HSVI is an anytime algorithm that returns a policy and a provable bound on its regret with respect to the optimal policy. HSVI gets its power by combining two well-known techniques: attention-focusing search heuristics and piecewise linear convex representations of the value function. HSVI's soundness and convergence have been proven. On some benchmark problems from the literature, HSVI displays speedups of greater than 100 with respect to other state-of-the-art POMDP value iteration algorithms. We also apply HSVI to a new rover exploration problem 10 times larger than most POMDP problems in the literature.
△ Less
Submitted 11 July, 2012;
originally announced July 2012.
-
Point-Based POMDP Algorithms: Improved Analysis and Implementation
Authors:
Trey Smith,
Reid Simmons
Abstract:
Existing complexity bounds for point-based POMDP value iteration algorithms focus either on the curse of dimensionality or the curse of history. We derive a new bound that relies on both and uses the concept of discounted reachability; our conclusions may help guide future algorithm design. We also discuss recent improvements to our (point-based) heuristic search value iteration algorithm. Our new…
▽ More
Existing complexity bounds for point-based POMDP value iteration algorithms focus either on the curse of dimensionality or the curse of history. We derive a new bound that relies on both and uses the concept of discounted reachability; our conclusions may help guide future algorithm design. We also discuss recent improvements to our (point-based) heuristic search value iteration algorithm. Our new implementation calculates tighter initial bounds, avoids solving linear programs, and makes more effective use of sparsity.
△ Less
Submitted 4 July, 2012;
originally announced July 2012.
-
Constructive Provability Logic
Authors:
Robert J. Simmons,
Bernardo Toninho
Abstract:
We present constructive provability logic, an intuitionstic modal logic that validates the Löb rule of Gödel and Löb's provability logic by permitting logical reflection over provability. Two distinct variants of this logic, CPL and CPL*, are presented in natural deduction and sequent calculus forms which are then shown to be equivalent. In addition, we discuss the use of constructive provability…
▽ More
We present constructive provability logic, an intuitionstic modal logic that validates the Löb rule of Gödel and Löb's provability logic by permitting logical reflection over provability. Two distinct variants of this logic, CPL and CPL*, are presented in natural deduction and sequent calculus forms which are then shown to be equivalent. In addition, we discuss the use of constructive provability logic to justify stratified negation in logic programming within an intuitionstic and structural proof theory.
△ Less
Submitted 29 May, 2012;
originally announced May 2012.
-
A Cross-cultural Corpus of Annotated Verbal and Nonverbal Behaviors in Receptionist Encounters
Authors:
Maxim Makatchev,
Reid Simmons,
Majd Sakr
Abstract:
We present the first annotated corpus of nonverbal behaviors in receptionist interactions, and the first nonverbal corpus (excluding the original video and audio data) of service encounters freely available online. Native speakers of American English and Arabic participated in a naturalistic role play at reception desks of university buildings in Doha, Qatar and Pittsburgh, USA. Their manually ann…
▽ More
We present the first annotated corpus of nonverbal behaviors in receptionist interactions, and the first nonverbal corpus (excluding the original video and audio data) of service encounters freely available online. Native speakers of American English and Arabic participated in a naturalistic role play at reception desks of university buildings in Doha, Qatar and Pittsburgh, USA. Their manually annotated nonverbal behaviors include gaze direction, hand and head gestures, torso positions, and facial expressions. We discuss possible uses of the corpus and envision it to become a useful tool for the human-robot interaction community.
△ Less
Submitted 10 March, 2012;
originally announced March 2012.
-
Structural focalization
Authors:
Robert J. Simmons
Abstract:
Focusing, introduced by Jean-Marc Andreoli in the context of classical linear logic, defines a normal form for sequent calculus derivations that cuts down on the number of possible derivations by eagerly applying invertible rules and grou** sequences of non-invertible rules. A focused sequent calculus is defined relative to some non-focused sequent calculus; focalization is the property that eve…
▽ More
Focusing, introduced by Jean-Marc Andreoli in the context of classical linear logic, defines a normal form for sequent calculus derivations that cuts down on the number of possible derivations by eagerly applying invertible rules and grou** sequences of non-invertible rules. A focused sequent calculus is defined relative to some non-focused sequent calculus; focalization is the property that every non-focused derivation can be transformed into a focused derivation.
In this paper, we present a focused sequent calculus for propositional intuitionistic logic and prove the focalization property relative to a standard presentation of propositional intuitionistic logic. Compared to existing approaches, the proof is quite concise, depending only on the internal soundness and completeness of the focused logic. In turn, both of these properties can be established (and mechanically verified) by structural induction in the style of Pfenning's structural cut elimination without the need for any tedious and repetitious invertibility lemmas. The proof of cut admissibility for the focused system, which establishes internal soundness, is not particularly novel. The proof of identity expansion, which establishes internal completeness, is a major contribution of this work.
△ Less
Submitted 16 March, 2014; v1 submitted 28 September, 2011;
originally announced September 2011.
-
VHPOP: Versatile Heuristic Partial Order Planner
Authors:
R. G. Simmons,
H. L. S. Younes
Abstract:
VHPOP is a partial order causal link (POCL) planner loosely based on UCPOP. It draws from the experience gained in the early to mid 1990's on flaw selection strategies for POCL planning, and combines this with more recent developments in the field of domain independent planning such as distance based heuristics and reachability analysis. We present an adaptation of the additive heuristic for plan…
▽ More
VHPOP is a partial order causal link (POCL) planner loosely based on UCPOP. It draws from the experience gained in the early to mid 1990's on flaw selection strategies for POCL planning, and combines this with more recent developments in the field of domain independent planning such as distance based heuristics and reachability analysis. We present an adaptation of the additive heuristic for plan space planning, and modify it to account for possible reuse of existing actions in a plan. We also propose a large set of novel flaw selection strategies, and show how these can help us solve more problems than previously possible by POCL planners. VHPOP also supports planning with durative actions by incorporating standard techniques for temporal constraint reasoning. We demonstrate that the same heuristic techniques used to boost the performance of classical POCL planning can be effective in domains with durative actions as well. The result is a versatile heuristic POCL planner competitive with established CSP-based and heuristic state space planners.
△ Less
Submitted 23 June, 2011;
originally announced June 2011.
-
Perception of Personality and Naturalness through Dialogues by Native Speakers of American English and Arabic
Authors:
Maxim Makatchev,
Reid Simmons
Abstract:
Linguistic markers of personality traits have been studied extensively, but few cross-cultural studies exist. In this paper, we evaluate how native speakers of American English and Arabic perceive personality traits and naturalness of English utterances that vary along the dimensions of verbosity, hedging, lexical and syntactic alignment, and formality. The utterances are the turns within dialogue…
▽ More
Linguistic markers of personality traits have been studied extensively, but few cross-cultural studies exist. In this paper, we evaluate how native speakers of American English and Arabic perceive personality traits and naturalness of English utterances that vary along the dimensions of verbosity, hedging, lexical and syntactic alignment, and formality. The utterances are the turns within dialogue fragments that are presented as text transcripts to the workers of Amazon's Mechanical Turk. The results of the study suggest that all four dimensions can be used as linguistic markers of all personality traits by both language communities. A further comparative analysis shows cross-cultural differences for some combinations of measures of personality traits and naturalness, the dimensions of linguistic variability and dialogue acts.
△ Less
Submitted 23 May, 2011;
originally announced May 2011.
-
Products of Weighted Logic Programs
Authors:
Shay B. Cohen,
Robert J. Simmons,
Noah A. Smith
Abstract:
Weighted logic programming, a generalization of bottom-up logic programming, is a well-suited framework for specifying dynamic programming algorithms. In this setting, proofs correspond to the algorithm's output space, such as a path through a graph or a grammatical derivation, and are given a real-valued score (often interpreted as a probability) that depends on the real weights of the base axiom…
▽ More
Weighted logic programming, a generalization of bottom-up logic programming, is a well-suited framework for specifying dynamic programming algorithms. In this setting, proofs correspond to the algorithm's output space, such as a path through a graph or a grammatical derivation, and are given a real-valued score (often interpreted as a probability) that depends on the real weights of the base axioms used in the proof. The desired output is a function over all possible proofs, such as a sum of scores or an optimal score. We describe the PRODUCT transformation, which can merge two weighted logic programs into a new one. The resulting program optimizes a product of proof scores from the original programs, constituting a scoring function known in machine learning as a ``product of experts.'' Through the addition of intuitive constraining side conditions, we show that several important dynamic programming algorithms can be derived by applying PRODUCT to weighted logic programs corresponding to simpler weighted logic programs. In addition, we show how the computation of Kullback-Leibler divergence, an information-theoretic measure, can be interpreted using PRODUCT.
△ Less
Submitted 15 June, 2010;
originally announced June 2010.
-
Magnetic Field Induced Charged Exciton Studies in a GaAs/Al(0.3)Ga(0.7)As Single Heterojunction
Authors:
F. M. Munteanu,
Yongmin Kim,
C. H. Perry,
D. G. Rickel J. A. Simmons,
J. L. Reno
Abstract:
The magnetophotoluminescence (MPL) behavior of a GaAs/Al(0.3)Ga(0.7)As single heterojunction has been investigated to 60T. We observed negatively charged singlet and triplet exciton states that are formed at high magnetic fields beyond the nu=1 quantum Hall state. The variation of the charged exciton binding energies are in good agreement with theoretical predictions. The MPL transition intensit…
▽ More
The magnetophotoluminescence (MPL) behavior of a GaAs/Al(0.3)Ga(0.7)As single heterojunction has been investigated to 60T. We observed negatively charged singlet and triplet exciton states that are formed at high magnetic fields beyond the nu=1 quantum Hall state. The variation of the charged exciton binding energies are in good agreement with theoretical predictions. The MPL transition intensities for these states showed intensity variations (maxima and minima) at the nu=1/3 and 1/5 fractional quantum Hall (FQH) state as a consequence of a large reduction of electron-hole screening at these filling factors.
△ Less
Submitted 19 May, 1999;
originally announced May 1999.
-
One-Loop Quadratic Divergences of the Dual Non-Linear Sigma Model in Four-Dimensional Spacetime
Authors:
R. D. Simmons
Abstract:
Following a review of the dual description of the non-linear sigma model we investigate the one-loop quadratic divergences. We use the covariant background field method for the general case and apply the results to the important example of $SU(2)$.
Following a review of the dual description of the non-linear sigma model we investigate the one-loop quadratic divergences. We use the covariant background field method for the general case and apply the results to the important example of $SU(2)$.
△ Less
Submitted 22 July, 1995;
originally announced July 1995.
-
A Dual Description of the Four Dimensional Non-Linear Sigma Model
Authors:
N. Mohammedi,
R. T. Moss,
R. D. Simmons
Abstract:
The dual of the four dimensional non-linear sigma model is constructed using techniques familiar to string theory. This construction necessitates the introduction of a rank two antisymmetric tensor field whose properties are examined. The physics of the dual theory and that of the original model are compared. As an illustration we study in detail the SU(2) chiral model. We find that the scatteri…
▽ More
The dual of the four dimensional non-linear sigma model is constructed using techniques familiar to string theory. This construction necessitates the introduction of a rank two antisymmetric tensor field whose properties are examined. The physics of the dual theory and that of the original model are compared. As an illustration we study in detail the SU(2) chiral model. We find that the scattering amplitudes of the charged Goldstone bosons in the two theories are in complete agreement at the one loop level.
△ Less
Submitted 6 June, 1995;
originally announced June 1995.
-
A Supersymmetric Effective Chiral Lagrangian
Authors:
K. J. Barnes,
D. A. Ross,
R. D. Simmons
Abstract:
We construct in a manifestly supersymmetric form the leading and subleading terms in momentum for an effective supersymmetric chiral Lagrangian in terms of complex pions and their superpartners. A soft supersymmetry breaking term is included and below the supersymmetry breaking scale the Lagrangian reduces to the usual bosonic chiral Lagrangian in terms of real pions.
We construct in a manifestly supersymmetric form the leading and subleading terms in momentum for an effective supersymmetric chiral Lagrangian in terms of complex pions and their superpartners. A soft supersymmetry breaking term is included and below the supersymmetry breaking scale the Lagrangian reduces to the usual bosonic chiral Lagrangian in terms of real pions.
△ Less
Submitted 2 March, 1994; v1 submitted 1 March, 1994;
originally announced March 1994.