A Multiple-Context Equality-Based Reasoning System

Expert systems are too slow. This work attacks that problem by speeding up a useful system component that remembers facts and tracks down simple consequences. The redesigned component can assimilate new facts more quickly because it uses a compact, grammar-based internal representation to deal with whole classes of equivalent expressions at once. It can support faster hypothetical reasoning because it remembers the consequences of several assumption sets at once. The new design is targeted for situations in which many of the stored facts are equalities. The deductive machinery considered here supplements stored premises with simple new conclusions. The stored premises include permanently asserted facts and temporarily adopted assumptions. The new conclusions are derived by substituting equals for equals and using the properties of the logical connectives AND, Or, and NOT. The deductive system provides supporting premises for its derived conclusions. Reasoning that involves quantifiers is beyond the scope of its limited and automatic operation. The expert system of which the reasoning system is a component is expected to be responsible for overall control of reasoning.

Il Sistema di Revenue Management strumento per lo sviluppo turistico sostenibile delle destinazioni

Businesses interact constantly with the environment, realizing several and heterogeneous exchanges. Organizations can be considered a system of different interests, frequently conflicting and the satisfaction of different stakeholders is a condition of success and survival. National and international literature attempts to explain the complex connection between companies and environment. In particular, the Stakeholder Theory considers crucial for businesses the identification of different stakeholders and their involvement in decision-making process. In this context, profit can not be considered the only purpose of companies existence and business aims become more numerous and different. The Stakeholder Theory is often utilized as framework for tourism studies, in particular in Sustainable Tourism Development research. In fact, authors consider sustainable the tourism development able to satisfy interests of different stakeholders, traditionally identified as local community and government, businesses, tourists and natural environment. Tourism businesses have to guarantee the optimal use of natural resources, the respect of socio-cultural tradition of local community and the creation of socio-economic benefits for all stakeholders in destinations. An obstacle to sustainable tourism development that characterizes a number of destinations worldwide is tourism demand seasonality. In fact, its negative impact on the environment, economy and communities may be highly significant. Pollution, difficulties in the use of public services, stress for residents, seasonal incomes, are all examples of the negative effects of seasonality. According to the World Tourism Organization (2004) the limitation of seasonality can favour the sustainability of tourism. Literature suggests private and public strategies to minimize the negative effects of tourism seasonality, as diversification of tourism products, identification of new market segments, launching events, application of public instruments like eco-taxes and use of differential pricing policies. Revenue Management is a managerial system based on differential pricing and able to affect price sensitive tourists. This research attempts to verify if Revenue Management, created to maximize profits in tourism companies, can also mitigate the seasonality of tourism demand, producing benefits for different stakeholders of destinations and contributing to Sustainable Tourism Development. In particular, the study attempts to answer the following research questions: 1) Can Revenue Management control the flow of tourist demand? 2) Can Revenue Management limit seasonality, producing benefits for different stakeholders of a destination? 3) Can Revenue Management favor the development of Sustainable Tourism? The literature review on Stakeholder Theory, Sustainable Tourism Development, tourism seasonality and Revenue Management forms the foundation of the research, based on a case study approach looking at a significant destination located in the Southern coast of Sardinia, Italy. A deductive methodology was applied and qualitative and quantitative methods were utilized. This study shows that Revenue Management has the potential to limit tourism seasonality, to mitigate negative impacts occurring from tourism activities, producing benefits for local community and to contribute to Sustainable Tourism Development.

The Advanced Students’ Motivation for Explicit Learning of Grammar

The role of the explicit teaching and learning of grammar in the process of foreign language teaching is a very controversial issue. Language teachers and language teaching methodologists differ in their opinions as to whether grammar should be taught at all and, if so, what is the best way of presenting it. In order to find out students’ opinions on the usefulness of the explicit teaching and learning of grammar a questionnaire was given to fifty-one English majors studying in the Institute of English at Adam Mickiewicz University in Poznań. The results of the questionnaire reveal a very positive attitude on the part of the students towards the explicit learning of grammar. The deductive way of learning seems to be favoured by the majority of the respondents, who also unanimously point to translation as a very effective form of grammar exercise.

Public evaluations of novel food technologies: a qualitative citizen-scientist deliberative discourse approach

This qualitative research expands understanding of how information about a range of Novel Food Technologies (NFTs) is used and assimilated, and the implications of this on the evolution of attitudes and acceptance. This work enhances theoretical and applied understanding of citizens’ evaluative processes around these technologies. The approach applied involved observations of interactive exchanges between citizens and information providers (i.e. food scientists), during which they discussed a specific technology. This flexible, yet structured, approach revealed how individuals construct meaning around information about specific NFTs. A rich dataset of 42 ‘deliberate discourse’ and 42 postdiscourse transcripts was collected. Data analysis encompassed three stages: an initial descriptive account of the complete dataset based on the top-down bottom-up (TDBU) model of attitude formation, followed by inductive and deductive thematic analysis across the selected technology groups. The hybrid thematic analysis undertaken identified a Conceptual Model, which represents a holistic perspective on the influences and associated features directing ‘sense-making’ and ultimate evaluations around the technology clusters. How individuals make sense of these technologies is shaped by: their beliefs, values and personal characteristics; their perceptions of power and control over the application of the technology; and, the assumed relevance of the technology and its applications within different contexts. These influences form the frame for the creation of sense-making around the technologies. Internal negotiations between these influences are evident and evaluations are based on the relative importance of each influence to the individual, which tend to contribute to attitude ambivalence and instability. The findings indicate the processes of forming and changing attitudes towards these technologies are: complex; dependent on characteristics of the individual, technology, application and product; and, impacted by the nature and forms of information provided. Challenges are faced in engaging with the public about these technologies, as levels of knowledge, understanding and interest vary.

Phytogeographic characterization of Gran Canaria Island (Canary Islands-Spain)

Studies on the flora and fauna of the Canary Islands show that this Archipelago is one of the planet’s diversity hot spots. However, an analysis of the differences in the phytogeographic characteristics of each of the islands that make up this Archipelago is lacking. This article focuses on the phytogeographic characterization of the island of Gran Canaria. This island exhibits geological and climatic characteristics resulting in a rich vascular flora, including endemic species and genera that are significantly different from the other islands of the Archipelago. These differences are verified through statistical analysis of the existing similarity between the floras of the members of the Canary Islands. This study also analyses the subdivision of Gran Canaria Island, indicating that there are three well-differentiated areas on the island itself. Finally, this study argues that these areas, themselves, should be considered biogeographic sectors.

Deciding between accounts of the selection task: A reply to Oaksford (2002)

In this paper we report on our attempts to fit the optimal data selection (ODS) model (Oaksford Chater, 1994; Oaksford, Chater, & Larkin, 2000) to the selection task data reported in Feeney and Handley (2000) and Handley, Feeney, and Harper (2002). Although Oaksford (2002b) reports good fits to the data described in Feeney and Handley (2000), the model does not adequately capture the data described in Handley et al. (2002). Furthermore, across all six of the experiments modelled here, the ODS model does not predict participants' behaviour at the level of selection rates for individual cards. Finally, when people's probability estimates are used in the modelling exercise, the model adequately captures only I out of 18 conditions described in Handley et al. We discuss the implications of these results for models of the selection task and claim that they support deductive, rather than probabilistic, accounts of the task.

Brunetta’s reform swan song? An assessment of its success in local governments through the analysis of its tools

The work aims at assessing the success of Brunetta’s reform (Legislative Decree n. 150/2009), a far-reaching reform that aimed at improving both organizational and individual performance in Italian public administration through a specific planning and control process (the performance cycle) and most of all through two new tools, Performance Plan and Performance Report. The success of the reform is assessed, with particular emphasis on local governments, analyzing the diffusion and use of these new tools. The study has been conducted using a deductive-inductive methodology. Thus, after a study of managerial reforms in Italy and performance measurement literature, a possible model (PerformEL Model) local governments could follow to draw up Performance Plan and Report as effective tools for performance measurement has been designed (deductive phase). Performance Plans 2011-2013 and Performance Report 2011 downloaded from Italian big sized municipalities’ websites have been analyzed in the light of PerformEL Model, to assess the diffusion of the documents and their coherence with legal requirements and suggestions from literature (inductive phase). Data arising from the empirical analysis have been studied to evaluate the diffusion and the effectiveness of big sized municipalities’ Performance Plans and Reports as performance measurement tools and thus to assess the success of the reform (feedback phase). The study shows a scarce diffusion of the documents; they are mostly drew up because of their compulsoriness or to gain legitimization. The results testify the failure of Brunetta’s reform, at least with regard to local governments.

O desenvolvimento do raciocínio dedutivo ao nível do ensino secundário : recurso a geometrias planas

Este trabalho, no âmbito da Didáctica da Matemática, foca-se no estudo de abordagens alternativas de ensino e aprendizagem da Geometria Euclidiana, no Ensino Secundário, no sentido de promover níveis estruturados do pensamento matemático. Em particular, as potencialidades do recurso a outros modelos de Geometria Plana (e.g. Geometria Hiperbólica, Geometria do Motorista de Táxi) em relação a este problema serão investigadas. A opção pelo Ensino Secundário deve-se ao facto de se tratar de um nível de ensino onde se regista uma elevada taxa de insucesso escolar (especialmente no 10º ano) e onde é notório o abismo existente, entre o ensino Secundário e Universitário, no âmbito do raciocínio lógico - dedutivo. O trabalho a desenvolver pretende aprofundar o estudo de questões ligadas à natureza do conhecimento envolvido que estarão na base de decisões, tais como: Quais os processos que vão ser ensinados? Que processos queremos que os alunos dominem? E, por outro lado, ter em conta que se pretende desenvolver capacidades de ordem superior, significando que o ensino da Matemática deve dirigir-se para níveis elevados de pensamento, tais como: resolução de problemas; comunicar matematicamente; raciocínio e demonstração. No currículo de matemática para o Ensino Básico e Secundário tem-se negligenciado a demonstração matemática, contribuindo para que exista uma desconformidade entre os graus de ensino, secundário e universitário. Muitas vezes as abordagens de ensino centram-se na verificação de resultados e desvalorizam a exploração e explicação (Villiers, 1998). Actualmente, assiste-se a uma tendência para retomar o raciocínio lógico - dedutivo. O principal objectivo desta investigação é analisar ambientes de aprendizagem em que os alunos sejam solicitados a resolver problemas de prova em contextos diversificados e, de uma forma mais geral promover o desenvolvimento do raciocínio dedutivo e uma visão mais alargada do conhecimento matemático. Em particular, a abordagem de problemas de prova num contexto de geometria não Euclidiana, com recurso a artefactos e a software de geometria dinâmica, será investigada.

O perfil em homicídios múltiplos: o caso do estripador de Lisboa

Um dos objectivos deste trabalho, sobre homicídios múltiplos e o “estripador de Lisboa”, passa por sublinhar a importância dos perfis criminais e abordar os problemas de validade científica dos mesmos, tendo em conta as principais metodologias de investigação criminal e do criminal profiling, atento o valor dos processos de análise de dados que podem ser utilizados para a obtenção de informação de natureza preditiva, com relevância para os contributos da psicologia. Assim, e de um ponto de vista transdisciplinar, definimos o nosso problema de investigação questionando se os conhecimentos e competências da psicologia teriam aumentado a eficácia e a eficiência da investigação criminal relativamente ao “estripador de Lisboa”, em termos preditivos do crime e de elaboração do perfil. Para fundamentar o estudo empírico, analisamos os conceitos de violência e de perigosidade, as teorias explicativas do comportamento criminal, as características das personalidades desviantes, o conceito de psicopatia, de assassinos em série, bem como os métodos científicos e não científicos de perfis criminais. A propósito destes, salientamos o perfil lust murder. Trata-se de um estudo de casos múltiplos, complementado por uma entrevista semi-estruturada e um sistema de criminal profiling (tipo indutivo e dedutivo). A amostra é constituída por cinco mulheres, prostitutas, vítimas de homicídio, encontradas na margem Norte e na margem Sul do Tejo, cujas idades variavam entre 22 e 27 anos. Para a realização do estudo recorremos a fontes documentais, à realização da citada entrevista semi-estruturada gravada, bem como utilizámos uma máquina fotográfica e um manequim, de material acrílico, como simulacro do sexo feminino. Para cada caso foi feita uma análise qualitativa, no âmbito da metodologia de estudo de caso. Para a comparação dos casos efectuámos uma Análise de Correspondências Múltiplas (ACM). Analisados os dados, concluímos que o caso particular do “estripador de Lisboa” é, sem dúvida, um bom exemplo de que a fórmula “organizado / desorganizado” não funciona quando aplicada a casos reais. Contudo, cruzando os contributos da psicologia com a reconstituição dos factos, encontramos evidências que nos levam a classificar o autor dos crimes como um sujeito psicopata, com traços esquizóides. O assassino em série que atormentou a cidade de Lisboa seria um indivíduo aparentemente normal, com uma vida social pouco activa e uma visão hostil do mundo exterior. Seria um sujeito impulsivo e agressivo, sem capacidade para sentir qualquer empatia. Essencialmente vingativo e virado para si próprio, tenderia a desenvolver comportamentos de evitação social, mantendo os seus relacionamentos a um nível superficial. Tratar-se-ia de uma pessoa distante, centrada nele mesmo e desligada de factores externos, o que explica a sua falta de cuidado e de planeamento na cena do crime (pela não antecipação das consequências dos factores envolvidos).

‘Racialised’ pedagogic practices influencing young Muslims' physical culture

Background: There is growing concern surrounding the ‘racialised’ body and the way young people develop dispositions towards physical activity (PA) and sports, and more broadly to physical culture. This paper draws on Bourdieu's social theory in an effort to explore the ways in which the intersectionality of various fields (family, religion and school) and their dimensions (culture and social class) influence young Muslims' physical culture. Purpose: More specifically the paper examines the ‘racialised’ pedagogic practices in various fields that influence young Muslims' dispositions to physical culture. Method: The study reports on the voices of 40 participants identifying as young Muslims (12–15 years old; 20 girls and 20 boys) from one secondary school in the South of England, UK. A case study approach was used to explore participants’ understanding, meaning, structural conditions and personal agency with regard to physical culture and ‘racialised’ body pedagogies. Data include semi-structured paired interviews with participants. Data were analysed using thematic analysis. More specifically, thematic analysis based on the notion of ‘fields' informed deductive and inductive procedures. Findings: Results suggested that religion had limited influence on the participants' agency when intersecting with schooling and social class with regard to embodiment of active physical culture. Economic capital, on the other hand, had a considerable influence on participants’ physical culture as it contributed to young people's access to PA opportunities, agency and body pedagogies. In addition, the study concludes that fields outside the school play a significant role in influencing and enabling young Muslims’ physical culture. Conclusions: One of the most significant implications of this study is emphasising that young Muslims should not be viewed as a homogenous group as various fields intersect to influence their participation in physical education and their embodiment of physical culture. Identified fields and their markers make dispositions unique, dependent upon characteristics and their relative influence.

Nichtmonetäres Controlling der Lehrleistungen an der Fachhochschule Hannover

In Niedersachsen setzt das Ministerium für Wissenschaft und Kultur seit 2007 ein Hochschulkennzahlensystem ein, um einen Teil des Grundhaushalts wettbewerblich an die Hochschulen zu verteilen. Über die Mittelvergabe hinaus ist ein Monitoringsystem integriert, mit dem die Entwicklung der Hochschulen beurteilt werden kann. Zur differenzierten Beurteilung werden monetäre und nichtmonetäre Hochschuldaten zu Kennzahlen verdichtet. Die Kennzahlen befinden sich jedoch auf einer zu hohen Aggregationsebene für ein hochschulinternes Controlling an der Fachhochschule Hannover. Daher dienen Berichtssysteme mit Standardberichten der Information über hochschulweite Prozesse und Ressourcen, um im zunehmenden Wettbewerb der Fachhochschulen fundierte Entscheidungen treffen zu können. Beispielhaft werden Standardberichte zu erbrachten Lehrleistungen als erste Komponente des nichtmonetären Controllings in einem Berichtssystem konzipiert. Methodisch basiert die Konzeption auf einer Informationsbedarfsanalyse mit induktiven und deduktiven Verfahren. Das Vorgehen lässt sich grundsätzlich auf weitere nichtmonetäre Leistungen (z. B. der Forschung) übertragen und in die konzipierte Struktur integrieren.

Natural deduction system in paraconsistent setting: proof search for PCont

This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics. These logics are used, in particular, for reasoning about systems where paradoxes do not lead to the `deductive explosion', i.e., where formulae of the type `A follows from false', for any A, are not valid. We formulate the natural deduction system for the logic PCont, explain its main concepts, define a proof searching technique and illustrate it by examples. The presentation is accompanied by demonstrating the correctness of these developments.

Dynamic Network Mechanisms of Relational Integration

A prominent hypothesis states that specialized neural modules within the human lateral frontopolar cortices (LFPCs) support “relational integration” (RI), the solving of complex problems using inter-related rules. However, it has been proposed that LFPC activity during RI could reflect the recruitment of additional “domain-general” resources when processing more difficult problems in general as opposed to RI specifi- cally. Moreover, theoretical research with computational models has demonstrated that RI may be supported by dynamic processes that occur throughout distributed networks of brain regions as opposed to within a discrete computational module. Here, we present fMRI findings from a novel deductive reasoning paradigm that controls for general difficulty while manipulating RI demands. In accordance with the domain- general perspective, we observe an increase in frontoparietal activation during challenging problems in general as opposed to RI specifically. Nonetheless, when examining frontoparietal activity using analyses of phase synchrony and psychophysiological interactions, we observe increased network connectivity during RI alone. Moreover, dynamic causal modeling with Bayesian model selection identifies the LFPC as the effective connectivity source. Based on these results, we propose that during RI an increase in network connectivity and a decrease in network metastability allows rules that are coded throughout working memory systems to be dynamically bound. This change in connectivity state is top-down propagated via a hierarchical system of domain-general networks with the LFPC at the apex. In this manner, the functional network perspective reconciles key propositions of the globalist, modular, and computational accounts of RI within a single unified framework.

O Combate à fraude e evasão fiscais: a atuação da administração tributária e a avaliação dos resultados obtidos

Dissertação para obtenção do Grau de Mestre em Auditoria Orientação científica do Professor Coordenador Rodrigo Mário Oliveira Carvalho

Liderança transformacional/transacional: que impacto no cinismo organizacional?

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Gestão Estratégica das Relações Públicas.