This paper considers a new class of agent dynamic logics which provide a formal means of specifying and reasoning about the agents activities and informational, motivational and practical aspects of the behaviour of the agents. We present a Hilbert-style deductive system for a basic agent dynamic logic and consider a number of extensions of this logic with axiom schemata formalising interactions between knowledge and commitment (expressing an agent s awareness of her commitments), and interactions between knowledge and actions (expressing no learning and persistence of knowledge after actions). The deductive systems are proved sound and complete with respect to a Kripke-style semantics. Each of the considered logics is shown to have the small model property and therefore decidable.Presented by Ewa Orlowska 相似文献
Describes the application of a new analytical approach (derived from synergetics, a complex dynamic systems theory) to home observational data of mother–child interactions in average dyads and dyads with children referred for disruptive behavior problems at home and school (n = 11 in each group). Results show that (1) the two groups differed in their daily interactions in predictable ways, and (2) the most frequent patterns of interactions observed in the two groups brought them back repeatedly to behave in similar ways toward each other. The findings are in keeping with a body of literature on mother–child interactions. However, they add to it by providing multivariate, graphical representations of these interactions and by offering a conceptual framework within which to move from an observational to an inferential level of analysis. At that level, the transactional processes that are characteristic of functional and dysfunctional relationships may become apparent. 相似文献
This article highlights some of the conceptual and methodological problems associated with quality of life (QoL) measurement in individuals with neurological illness. It is suggested that these problems have contributed to the underdeveloped status of QoL research in neurological settings. Many of the existing QoL measures that have been used, or show potential for use with individuals with neurological illness, are reviewed in terms of their theoretical basis, content, and practicality. A large proportion of these measures fail to meet adequate psychometric standards and/or have rarely been psychometrically tested. The confusion that surrounds adequate psychometric standards is discussed, and the dynamic nature of QoL is highlighted as a factor that requires further attention. Research addressing the discrepancies between proxy and patient ratings of patient QoL is also warranted. More focused research in these areas may contribute to a clearer understanding of how to assess QoL in individuals with neurological illness. 相似文献
In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to the class of -formulae, i.e. each -formula has a -model iff it has a finite -model. Roughly speaking, a -formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators. 相似文献
Affective well-being in romantic couples was examined from the perspective of interdependence theory. The independent variables were (a) presence of partner, (b) whether an activity met the actor’s goals, and (c) goals of the actor’s partner. Dependent variables were feelings of closeness and affective well-being (happiness, sadness, anger, anxiety). We predicted a three-way interaction with the highest affective well-being when partners are together and activities meet both partners’ goals. In Study 1, data from 194 married individuals who participated in an experience sampling study supported our predictions. Feelings of closeness partially mediated the effect on affective well-being. Study 2 replicated the findings with 112 participants in dating relationships who recalled specific events and made ratings about goals and affective well-being. 相似文献
To create customer-oriented organizations, managers are often asked to promote a values-based vision. Yet, many managers struggle with transferring their values to employees making strategic value changes difficult. Despite this challenge, research has yet to demonstrate how managers effectively align values within the sales force, or the impact alignment has on job outcomes. Therefore, we develop and empirically test a conceptual framework to examine the role of transformational leadership in aligning salesperson customer orientation (CO) values. We find that transformational leadership is a strong mechanism in creating perceived value congruence, yet may have a surprising dark side. Results suggest that transformational managers achieve congruence by raising or, contrary to conventional wisdom, lowering salesperson CO values to meet the perceived values of the manager. Response surface modelling results support the importance of perceived manager values. Customer-oriented salespeople have higher job satisfaction and sales performance when they perceive their manager to also have high CO. When values are misaligned, job satisfaction increases more for low CO salespeople as perceptions of manager CO increase. Exploratory findings show that performance was higher under situations of perfect alignment but also under severe misalignment suggesting that values generate performance under complementary or supplementary conditions. 相似文献
Previous research has identified multiple features of individual objects that are capable of guiding visual attention. However, in dynamic multi-element displays not only individual object features but also changing spatial relations between two or more objects might signal relevance. Here we report a series of experiments that investigated the hypothesis that reduced inter-object spacing guides visual attention toward the corresponding objects. Our participants discriminated between different probes that appeared on moving objects while we manipulated spatial proximity between the objects at the moment of probe onset. Indeed, our results confirm that there is a bias toward temporarily close objects, which persists even when such a bias is harmful for the actual task (Experiments 1a and 1b). Remarkably, this bias is mediated by oculomotor processes. Controlling for eye-movements reverses the pattern of results (Experiment 2a), whereas the location of the gaze tends toward the temporarily close objects under free viewing conditions (Experiment 2b). Taken together, our results provide insights into the interplay of attentional and oculomotor processes during dynamic scene processing. Thereby, they also add to the growing body of evidence showing that within dynamic perception, attentional and oculomotor processes act conjointly and are hardly separable. 相似文献
Background: Testosterone therapy is the predominant treatment for voice masculinization in transgender patients. Although lowering of voice fundamental frequency (f0) occurs with testosterone therapy, evidence suggests voice and gender identity may not fully align—i.e., voice-gender congruence may not be achieved—with its use.
Aim: This meta-analytic review evaluates the effectiveness of testosterone therapy to masculinize voice in transgender patients.
Methods: Multiple electronic databases were queried (inclusion dates: from database inception up to October 27, 2017) to identify original research on voice masculinization using testosterone therapy. Nineteen articles were included in this meta-analytic review, which followed PRISMA guidelines. In addition to qualitative analyses, random effects proportion meta-analyses were performed on data related to f0, voice-gender congruence, voice problems, and satisfaction with voice.
Results: A meta-analysis on f0 data showed after 1 year of testosterone therapy a combined estimate of 21% of participants (95% confidence interval [CI]: 5%–43%; I2: 59.9%) did not achieve cisgender male normative frequencies (f0 ≤ 131 Hz). Meta-analyses on incomplete voice-gender congruence and voice problems indicated combined estimates of 21% (95% CI: 10%–34%; I2: 0.0%) and 46% (95% CI: 14%–79%; I2: 90.2%), respectively. Regarding incomplete satisfaction with voice, a meta-analysis showed a combined estimate of 16% (95% CI: 7%–28%; I2: 0.0%).
Discussion: We found that not all transgender patients using testosterone therapy to masculinize voice should expect f0 lowering to cisgender male normative frequencies after 1 year. The vocal transition may involve voice problems for many patients, and some might not achieve voice-gender congruence without additional, voice-specific intervention. Given these findings, a voice evaluation should occur prior to initiating testosterone therapy and involve counseling on expectations for voice. Transgender patients who pursue voice masculinization may need management from laryngology and speech and language therapy to improve voice-gender congruence, mitigate voice problems, and increase satisfaction with voice. 相似文献