Learning Horn Envelopes via Queries from Large Language Models

We investigate an approach for extracting knowledge from trained neural networks based on Angluin's exact learning model with membership and equivalence queries to an oracle. In this approach, the oracle is a trained neural network. We consider Angluin's classical algorithm for learning Horn theories and study the necessary changes to make it applicable to learn from neural networks. In particular, we have to consider that trained neural networks may not behave as Horn oracles, meaning that their underlying target theory may not be Horn. We propose a new algorithm that aims at extracting the "tightest Horn approximation" of the target theory and that is guaranteed to terminate in exponential time (in the worst case) and in polynomial time if the target has polynomially many non-Horn examples. To showcase the applicability of the approach, we perform experiments on pre-trained language models and extract rules that expose occupation-based gender biases.Comment: 35 pages, 2 figures; manuscript accepted for publication in the International Journal of Approximate Reasoning (IJAR

Probabilistic Hybrid Action Models for Predicting Concurrent Percept-driven Robot Behavior

This article develops Probabilistic Hybrid Action Models (PHAMs), a realistic causal model for predicting the behavior generated by modern percept-driven robot plans. PHAMs represent aspects of robot behavior that cannot be represented by most action models used in AI planning: the temporal structure of continuous control processes, their non-deterministic effects, several modes of their interferences, and the achievement of triggering conditions in closed-loop robot plans. The main contributions of this article are: (1) PHAMs, a model of concurrent percept-driven behavior, its formalization, and proofs that the model generates probably, qualitatively accurate predictions; and (2) a resource-efficient inference method for PHAMs based on sampling projections from probabilistic action models and state descriptions. We show how PHAMs can be applied to planning the course of action of an autonomous robot office courier based on analytical and experimental results

Spartan Daily, April 26, 1989

Volume 92, Issue 57https://scholarworks.sjsu.edu/spartandaily/7847/thumbnail.jp

The Hedonistic Paradox: Is Homo Economicus Happier?

The “Hedonistic Paradox” states that homo economicus, or someone who seeks happiness for him- or herself, will not find it, but the person who helps others will. This study examines two questions in connection with happiness and generosity. First, do more generous people, as identified in dictator experiments, report on average greater happiness, or subjective well-being (SWB), as measured by responses to various questionnaires? Second, if the answer is affirmative, what is the causal relationship between generosity and happiness? We find a favorable correlation between generosity and happiness (i.e., SWB is directly related to several measures of happiness and inversely related to unhappiness) and examine various possible explanations, including that material well-being causes both happiness and generosity. The evidence from this experiment, however, indicates that a tertiary personality variable, sometimes called psychological well-being, is the primary cause of both happiness and greater generosity. In contrast to field studies, the experimental method of this inquiry permits anonymity measures designed to minimize subject misrepresentation of intrinsic generosity (e.g., due to social approval motives) and of actual happiness (e.g., because of social desirability biases) and produces a rich data set with multiple measures of subjective, psychological and material well-being. The results of this and other studies raise the question of whether greater attention should be paid to the potential benefits (beyond solely the material ones) of policies that promote charitable donations, volunteerism, service education, and, more generally, community involvement, political action, and social institutions that foster psychological well-being.Happiness; Subjective well-being; Altruism; Generosity; Psychological well-being; Eudaimonia

Audio source separation techniques including novel time-frequency representation tools

The thesis explores the development of tools for audio representation with applications in Audio Source Separation and in the Music Information Retrieval (MIR) field. A novel constant Q transform was introduced, called IIR-CQT. The transform allows a flexible design and achieves low computational cost. Also, an independent development of the Fan Chirp Transform (FChT) with the focus on the representation of simultaneous sources is studied, which has several applications in the analysis of polyphonic music signals. Dierent applications are explored in the MIR field, some of them directly related with the low-level representation tools that were analyzed. One of these applications is the development of a visualization tool based in the FChT that proved to be useful for musicological analysis . The tool has been made available as an open source, freely available software. The proposed Transform has also been used to detect and track fundamental frequencies of harmonic sources in polyphonic music. Also, the information of the slope of the pitch was used to define a similarity measure between two harmonic components that are close in time. This measure helps to use clustering algorithms to track multiple sources in polyphonic music. Additionally, the FChT was used in the context of the Query by Humming application. One of the main limitations of such application is the construction of a search database. In this work, we propose an algorithm to automatically populate the database of an existing Query by Humming, with promising results. Finally, two audio source separation techniques are studied. The first one is the separation of harmonic signals based on the FChT. The second one is an application for which the fundamental frequency of the sources is assumed to be known (Score Informed Source Separation problem)

Seventh Annual Workshop on Space Operations Applications and Research (SOAR 1993), volume 1

This document contains papers presented at the Space Operations, Applications and Research Symposium (SOAR) Symposium hosted by NASA/Johnson Space Center (JSC) on August 3-5, 1993, and held at JSC Gilruth Recreation Center. SOAR included NASA and USAF programmatic overview, plenary session, panel discussions, panel sessions, and exhibits. It invited technical papers in support of U.S. Army, U.S. Navy, Department of Energy, NASA, and USAF programs in the following areas: robotics and telepresence, automation and intelligent systems, human factors, life support, and space maintenance and servicing. SOAR was concerned with Government-sponsored research and development relevant to aerospace operations. More than 100 technical papers, 17 exhibits, a plenary session, several panel discussions, and several keynote speeches were included in SOAR '93

The California Polytechnic El Mustang, November 30, 1940

Student newspaper of California Polytechnic State University, San Luis Obispo, CA.https://digitalcommons.calpoly.edu/studentnewspaper/1338/thumbnail.jp

Playing-related musculoskeletal problems in children learning instrumental music: prevalence and associated potential risk factors

731 child instrumentalists were surveyed to establish the 1) prevalence and location of PRMP, and 2) independent association of potential risk factors with PRMP. 67% reported lifetime prevalence of PRMP, 56% monthly PRMP and 30% were unable to play the instrument as usual. The hands and neck were the most commonly reported PRMP locations. Individual factors and music-related factors were significantly associated with PRMP. Understanding potential risk factors will guide intervention initiatives for young instrumentalists