902 resultados para Psychology of logic
Resumo:
Includes index.
Resumo:
Mode of access: Internet.
Resumo:
Dynamical principles in recent psychology / Madison Bentley -- Some neglected aspects of a history of psychology / Coleman R. Griffith -- A preliminary study of the emothions/ C.A. Ruckmick -- A comment upon the psychology of the audience / Coleman R. Griffith -- Leading and legibility / Madison Bentley -- The printing of backbone titles on thin books and magazines / P.N. Gould, L.C. Raines and C.A. Ruckmick -- Experiments in sound localization / C.A. Ruckmick -- The intensive summation of thermal sensations / Annette Baron and Madison Bentley.
Resumo:
In this thesis we discuss in what ways computational logic (CL) and data science (DS) can jointly contribute to the management of knowledge within the scope of modern and future artificial intelligence (AI), and how technically-sound software technologies can be realised along the path. An agent-oriented mindset permeates the whole discussion, by stressing pivotal role of autonomous agents in exploiting both means to reach higher degrees of intelligence. Accordingly, the goals of this thesis are manifold. First, we elicit the analogies and differences among CL and DS, hence looking for possible synergies and complementarities along 4 major knowledge-related dimensions, namely representation, acquisition (a.k.a. learning), inference (a.k.a. reasoning), and explanation. In this regard, we propose a conceptual framework through which bridges these disciplines can be described and designed. We then survey the current state of the art of AI technologies, w.r.t. their capability to support bridging CL and DS in practice. After detecting lacks and opportunities, we propose the notion of logic ecosystem as the new conceptual, architectural, and technological solution supporting the incremental integration of symbolic and sub-symbolic AI. Finally, we discuss how our notion of logic ecosys- tem can be reified into actual software technology and extended towards many DS-related directions.
Resumo:
The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.
Resumo:
The aim of this study was to determine how well Gray's model of personality [Gray, J.A. (1982). The neuropsychology of anxiety: an enquiry into the functions of the septo-hippocampal system. Oxfords: Oxford University Press, Gray, J.A. (1987). The psychology of fear and stress. Cambridge: Cambridge University Press], as measured by the Gray Wilson Personality Questionnaire (GWPQ), can provide a full description of personality as measured by the primary scales of the Eysenck Personality Profiler (EPP) and the type scales of the short version or the EPQ-R. Factor analysis of the GWPQ the Anxiety and linpulsivity scales of the EPP and the Learning Styles Questionnaire (LSQ) showed that the GWPQ seemed to measure general activation and inhibition factors, but not the finer features of Gray's theory. When the GWPQ scales were regressed against each scale of the EPP., it was round that they generally provide only a reasonable explanation of the EPP primary scales. It is concluded that the GWPQ measures general propel-ties of Gray's model, that the linpulsivity and Anxiety scales of the EPP also scent related to the GWPQ scales, and that Gray's model of personality provides only a partial explanation of personality in general. (C) 2002 Published by Elsevier Science Ltd. All rights reserved.
Resumo:
One fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challenge in service composition is ensuring correctness of transaction recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to transaction recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from faults, as correct compositions of compensable processes. Moreover, we develop an automated verification approach and we apply it to an illustrative case study.
Resumo:
Tese de Doutoramento em Filosofia - Especialidade de Filosofia da Mente
Resumo:
Drinking motives (DM) reflect the reasons why individuals drink alcohol. Weekdays are mainly dedicated to work, whereas weekends are generally associated with spending time with friends during special events or leisure activities; using alcohol on weekdays and weekends may also be related to different DM. This study examined whether DM were differentially associated with drinking volume (DV) on weekdays and weekends. A representative sample of 5,391 young Swiss men completed a questionnaire assessing weekday and weekend DV, as well as their DM, namely, enhancement, social, coping, and conformity motives. Associations of DM with weekday and weekend DV were examined using structural equation models. Each DM was tested individually in a separate model; all associations were positive and generally stronger (except conformity) for weekend rather than for weekday DV. Further specific patterns of association were found when DM were entered into a single model simultaneously. Associations with weekday and with weekend DV were positive for enhancement and coping motives. However, associations were stronger with weekend rather than with weekday DV for enhancement, and stronger with weekday than with weekend DV for coping motives. Associations of social motives were not significant with weekend DV and negative with weekday DV. Conformity motives were negatively associated with weekend DV and positively related to weekday DV. These results suggest that interventions targeting enhancement motives should be particularly effective at decreasing weekend drinking, whereas interventions targeted at coping motives would be particularly effective at reducing alcohol use on weekdays. (PsycINFO Database Record (c) 2014 APA, all rights reserved).
Resumo:
Objectives This article presents a psychological approach to substance use in sport using a dynamic and situated activity framework. The aim was to analyze the various relationships between activity and the consumption of substances during the sporting life course of athletes who recognized doping violation. Design Data were collected from secondary sources and biographical and self-confrontational interviews to build traces of the past activity. Method Twelve doping athletes or those admitting to having used banned substances volunteered to participate. The data were coded and compared to identify typical activities and their intrinsic dynamics. Results Six activities were identified: "Agree to use," "Drop out of a non-viable state," Return to a former state," "Prevent a potential deficiency," "Maintain an acquired state," and "Balance the sporting life with substance use," comprising 11 patterns. Conclusions The athletes' activity embedded substance use in reciprocal relationships that consisted of freezing, exploring and exploiting fields of possible actions created and offered by the situation dynamics. Recommendations for situated and dynamic prevention are provided.