968 resultados para common sense reasoning
Resumo:
At a time when disciplined inference and decision making under uncertainty represent common aims to participants in legal proceedings, the scientific community is remarkably heterogenous in its attitudes as to how these goals ought to be achieved. Probability and decision theory exert a considerable influence, and we think by all reason rightly do so, but they go against a mainstream of thinking that does not embrace-or is not aware of-the 'normative' character of this body of theory. It is normative, in the sense understood in this article, in that it prescribes particular properties, typically (logical) coherence, to which reasoning and decision making ought to conform. Disregarding these properties can result in diverging views which are occasionally used as an argument against the theory, or as a pretext for not following it. Typical examples are objections according to which people, both in everyday life but also individuals involved at various levels in the judicial process, find the theory difficult to understand and to apply. A further objection is that the theory does not reflect how people actually behave. This article aims to point out in what sense these examples misinterpret the analytical framework in its normative perspective. Through examples borrowed mostly from forensic science contexts, it is argued that so-called intuitive scientific attitudes are particularly liable to such misconceptions. These attitudes are contrasted with a statement of the actual liberties and constraints of probability and decision theory and the view according to which this theory is normative.
Resumo:
The purpose of life is its continuation: survival is the reason things live. Here we explore this 'basic' of biology, by reference to the extraordinary life-cycle of the aphid-like pest phylloxera, and the complexity of its relationship with its host the grapevine. The effort and ingenuity that phylloxera employs to continue itself leads to a doubt that survival alone is sufficient reason. It has frequently been suggested that the reduction of life to a catalogue of facts (by science) creates this doubt, because it robs existence of its essence (which is something other than its mechanics). The part that science is said to steal is what Robert Pirsig calls Quality-the harmonious balance of things. Pirsig seems to imply that this is something inherent in things-and independent from us. A more mundane explanation is that the difference between facts and the complete reality is us-the tendency of mind to connect freely between different kinds of information. This possibility is briefly illustrated here by a myth based on the facts of phylloxera.
Resumo:
Researchers suggest that personalization on the Semantic Web adds up to a Web 3.0 eventually. In this Web, personalized agents process and thus generate the biggest share of information rather than humans. In the sense of emergent semantics, which supplements traditional formal semantics of the Semantic Web, this is well conceivable. An emergent Semantic Web underlying fuzzy grassroots ontology can be accomplished through inducing knowledge from users' common parlance in mutual Web 2.0 interactions [1]. These ontologies can also be matched against existing Semantic Web ontologies, to create comprehensive top-level ontologies. On the Web, if augmented with information in the form of restrictions andassociated reliability (Z-numbers) [2], this collection of fuzzy ontologies constitutes an important basis for an implementation of Zadeh's restriction-centered theory of reasoning and computation (RRC) [3]. By considering real world's fuzziness, RRC differs from traditional approaches because it can handle restrictions described in natural language. A restriction is an answer to a question of the value of a variable such as the duration of an appointment. In addition to mathematically well-defined answers, RRC can likewise deal with unprecisiated answers as "about one hour." Inspired by mental functions, it constitutes an important basis to leverage present-day Web efforts to a natural Web 3.0. Based on natural language information, RRC may be accomplished with Z-number calculation to achieve a personalized Web reasoning and computation. Finally, through Web agents' understanding of natural language, they can react to humans more intuitively and thus generate and process information.
Resumo:
Mode of access: Internet.
Resumo:
Title on spine: Testament in paragraphs.
Resumo:
It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.
Resumo:
Eastwards / Westwards: Which Direction for Gender Studies in the XXIst Century? is a collection of essays which focus on themes and methods that characterize current research into gender in Asian countries in general. In this collection, ideas derived from Gender Studies elsewhere in the world have been subjected to scrutiny for their utility in helping to describe and understand regional phenomena. But the concepts of Local and Global – with their discoursive productions – have not functioned as a binary opposition: localism and globalism are mutually constitutive and researchers have interrogated those spaces of interaction between the ‘self’ and the ‘other’, bearing in mind their own embeddedness in social and cultural structures and their own historical memory. Contributors to this collection provided a critical transnational perspective on some of the complex effects of the dynamics of cultural globalization, by exploring the relation between gender and development, language, historiography, education and culture. We have also given attention to the ideological and rhetorical processes through which gender identity is constructed, by comparing textual grids and patterns of expectation. Likewise, we have discussed the role of ethnography, anthropology, historiography, sociology, fiction, popular culture and colonial and post-colonial sources in (re)inventing old/new male/female identities, their conversion into concepts and circulation through time and space. This multicultural and trans-disciplinary selection of essays is totally written in English, fully edited and revised, therefore, it has a good potential for an immediate international circulation. This project may trace new paths and issues for discussion on what concerns the life, practices and narratives by and about women in Asia, as well as elsewhere in the present day global experience. Academic readership: Researchers, scholars, educators, graduate and post-graduate students, doctoral students and general non-fiction readers, with a special interest in Gender Studies, Asia, Colonial and Post-Colonial Literature, Anthropology, Cultural Studies, History, Historiography, Politics, Race, Feminism, Language, Linguistics, Power, Political and Feminist Agendas, Popular Culture, Education, Women’s Writing, Religion, Multiculturalism, Globalisation, Migration. Chapter summary: 1. “Social Gender Stereotypes and their Implication in Hindi”, Anjali Pande, Jawaharlal Nehru University, New Delhi, India. This essay looks at the subtle ways in which gender identities are constructed and reinforced in India through social norms of language use. Language itself becomes a medium for perpetuating gender stereotypes, forcing its speakers to confirm to socially defined gender roles. Using examples from a classroom discussion about a film, this essay will highlight the underlying rigid male-female stereotypes in Indian society with their more obvious expressions in language. For the urban woman in India globalisation meant increased economic equality and exposure to changed lifestyles. On an individual level it also meant redefining gender relations and changing the hierarchy in man-woman relationships. With the economic independence there is a heightened sense of liberation in all spheres of social life, a confidence to fuzz the rigid boundaries of gender roles. With the new films and media celebrating this liberated woman, who is ready to assert her sexual needs, who is ready to explode those long held notions of morality, one would expect that the changes are not just superficial. But as it soon became obvious in the course of a classroom discussion about relationships and stereotypes related to age, the surface changes can not become part of the common vocabulary, for the obvious reason that there is still a vast gap between the screen image of this new woman and the ground reality. Social considerations define the limits of this assertiveness of women, whereas men are happy to be liberal within the larger frame of social sanctions. The educated urban woman in India speaks in favour of change and the educated urban male supports her, but one just needs to scratch the surface to see the time tested formulae of gender roles firmly in place. The way the urban woman happily balances this emerging promise of independence with her gendered social identity, makes it necessary to rethink some aspects of looking at gender in a gradually changing, traditional society like India. 2. “The Linguistic Dimension of Gender Equality”, Alissa Tolstokorova, Kiev Centre for Gender Information and Education, Ukraine. The subject-matter of this essay is gender justice in language which, as I argue, may be achieved through the development of a gender-related approach to linguistic human rights. The last decades of the 20th century, globally marked by a “gender shift” in attitudes to language policy, gave impetus to the social movement for promoting linguistic gender equality. It was initiated in Western Europe and nowadays is moving eastwards, as ideas of gender democracy progress into developing countries. But, while in western societies gender discrimination through language, or linguistic sexism, was an issue of concern for over three decades, in developing countries efforts to promote gender justice in language are only in their infancy. My argument is that to promote gender justice in language internationally it is necessary to acknowledge the rights of women and men to equal representation of their gender in language and speech and, therefore, raise a question of linguistic rights of the sexes. My understanding is that the adoption of the Universal Declaration of Linguistic Rights in 1996 provided this opportunity to address the problem of gender justice in language as a human rights issue, specifically as a gender dimension of linguistic human rights. 3. “The Rebirth of an Old Language: Issues of Gender Equality in Kazakhstan”, Maria Helena Guimarães, Polytechnic Institute of Porto, Portugal. The existing language situation in Kazakhstan, while peaceful, is not without some tension. We propose to analyze here some questions we consider relevant in the frame of cultural globalization and gender equality, such as: free from Russian imperialism, could Kazakhstan become an easy prey of Turkey’s “imperialist dream”? Could these traditionally Muslim people be soon facing the end of religious tolerance and gender equality, becoming this new old language an easy instrument for the infiltration in the country of fundamentalism (it has already crossed the boarders of Uzbekistan), leading to a gradual deterioration of its rich multicultural relations? The present structure of the language is still very fragile: there are three main dialects and many academics defend the re-introduction of the Latin alphabet, thus enlarging the possibility of cultural “contamination” by making the transmission of fundamentalist ideas still easier through neighbour countries like Azerbaijan, Uzbekistan and Turkmenistan (their languages belong to the same sub-group of Common Turkic), where the Latin alphabet is already in use, and where the ground for such ideas shown itself very fruitful. 4. “Construction of Womanhood in the Bengali Language of Bangladesh”, Raasheed Mahmood; University of New South Wales, Sydney. The present essay attempts to explore the role of gender-based language differences and of certain markers that reveal the status accorded to women in Bangladesh. Discrimination against women, in its various forms, is endemic in communities and countries around the world, cutting across class, race, age, and religious and national boundaries. One cannot understand the problems of gender discrimination solely by referring to the relationship of power or authority between men and women. Rather one needs to consider the problem by relating it to the specific social formation in which the image of masculinity and femininity is constructed and reconstructed. Following such line of reasoning this essay will examine the nature of gender bias in the Bengali language of Bangladesh, holding the conviction that as a product of social reality language reflects the socio-cultural behaviour of the community who speaks it. This essay will also attempt to shed some light on the processes through which gender based language differences produce actual consequences for women, who become exposed to low self-esteem, depression and systematic exclusion from public discourse. 5. “Marriage in China as an expression of a changing society”, Elisabetta Rosado David, University of Porto, Portugal, and Università Ca’Foscari, Venezia, Italy. In 29 April 2001, the new Marriage Law was promulgated in China. The first law on marriage was proclaimed in 1950 with the objective of freeing women from the feudal matrimonial system. With the second law, in 1981, values and conditions that had been distorted by the Cultural Revolution were recovered. Twenty years later, a new reform was started, intending to update marriage in the view of the social and cultural changes that occurred with Deng Xiaoping’s “open policy”. But the legal reform is only the starting point for this case-study. The rituals that are followed in the wedding ceremony are often hard to understand and very difficult to standardize, especially because China is a vast country, densely populated and characterized by several ethnic minorities. Two key words emerge from this issue: syncretism and continuity. On this basis, we can understand tradition in a better way, and analyse whether or not marriage, as every social manifestation, has evolved in harmony with Chinese culture. 6. “The Other Woman in the Portuguese Colonial Empire: The Case of Portuguese India”, Maria de Deus Manso, University of Évora, Portugal. This essay researches the social, cultural and symbolic history of local women in the Portuguese Indian colonial enclaves. The normative Portuguese overseas history has not paid any attention to the “indigenous” female populations in colonial Portuguese territories, albeit the large social importance of these social segments largely used in matrimonial and even catholic missionary strategies. The first attempt to open fresh windows in the history of this new field was the publication of Charles Boxer’s referential study about Women in lberian Overseas Expansion, edited in Portugal only after the Revolution of 1975. After this research we can only quote some other fragmentary efforts. In fact, research about the social, cultural, religious, political and symbolic situation of women in the Portuguese colonial territories, from the XVI to the XX century, is still a minor historiographic field. In this essay we discuss this problem and we study colonial representations of women in the Portuguese Indian enclaves, mainly in the territory of Goa, using case studies methodologies. 7. “Heading East this Time: Critical Readings on Gender in Southeast Asia”, Clara Sarmento, Polytechnic Institute of Porto, Portugal. This essay intends to discuss some critical readings of fictional and theoretical texts on gender condition in Southeast Asian countries. Nowadays, many texts about women in Southeast Asia apply concepts of power in unusual areas. Traditional forms of gender hegemony have been replaced by other powerful, if somewhat more covert, forms. We will discuss some universal values concerning conventional female roles as well as the strategies used to recognize women in political fields traditionally characterized by male dominance. Female empowerment will mean different things at different times in history, as a result of culture, local geography and individual circumstances. Empowerment needs to be perceived as an individual attitude, but it also has to be facilitated at the macrolevel by society and the State. Gender is very much at the heart of all these dynamics, strongly related to specificities of historical, cultural, ethnic and class situatedness, requiring an interdisciplinary transnational approach.
Resumo:
Apresentação no âmbito da Dissertação de Mestrado Orientador: Doutora Alcina Dias
Resumo:
Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.
Resumo:
Game theory describes and analyzes strategic interaction. It is usually distinguished between static games, which are strategic situations in which the players choose only once as well as simultaneously, and dynamic games, which are strategic situations involving sequential choices. In addition, dynamic games can be further classified according to perfect and imperfect information. Indeed, a dynamic game is said to exhibit perfect information, whenever at any point of the game every player has full informational access to all choices that have been conducted so far. However, in the case of imperfect information some players are not fully informed about some choices. Game-theoretic analysis proceeds in two steps. Firstly, games are modelled by so-called form structures which extract and formalize the significant parts of the underlying strategic interaction. The basic and most commonly used models of games are the normal form, which rather sparsely describes a game merely in terms of the players' strategy sets and utilities, and the extensive form, which models a game in a more detailed way as a tree. In fact, it is standard to formalize static games with the normal form and dynamic games with the extensive form. Secondly, solution concepts are developed to solve models of games in the sense of identifying the choices that should be taken by rational players. Indeed, the ultimate objective of the classical approach to game theory, which is of normative character, is the development of a solution concept that is capable of identifying a unique choice for every player in an arbitrary game. However, given the large variety of games, it is not at all certain whether it is possible to device a solution concept with such universal capability. Alternatively, interactive epistemology provides an epistemic approach to game theory of descriptive character. This rather recent discipline analyzes the relation between knowledge, belief and choice of game-playing agents in an epistemic framework. The description of the players' choices in a given game relative to various epistemic assumptions constitutes the fundamental problem addressed by an epistemic approach to game theory. In a general sense, the objective of interactive epistemology consists in characterizing existing game-theoretic solution concepts in terms of epistemic assumptions as well as in proposing novel solution concepts by studying the game-theoretic implications of refined or new epistemic hypotheses. Intuitively, an epistemic model of a game can be interpreted as representing the reasoning of the players. Indeed, before making a decision in a game, the players reason about the game and their respective opponents, given their knowledge and beliefs. Precisely these epistemic mental states on which players base their decisions are explicitly expressible in an epistemic framework. In this PhD thesis, we consider an epistemic approach to game theory from a foundational point of view. In Chapter 1, basic game-theoretic notions as well as Aumann's epistemic framework for games are expounded and illustrated. Also, Aumann's sufficient conditions for backward induction are presented and his conceptual views discussed. In Chapter 2, Aumann's interactive epistemology is conceptually analyzed. In Chapter 3, which is based on joint work with Conrad Heilmann, a three-stage account for dynamic games is introduced and a type-based epistemic model is extended with a notion of agent connectedness. Then, sufficient conditions for backward induction are derived. In Chapter 4, which is based on joint work with Jérémie Cabessa, a topological approach to interactive epistemology is initiated. In particular, the epistemic-topological operator limit knowledge is defined and some implications for games considered. In Chapter 5, which is based on joint work with Jérémie Cabessa and Andrés Perea, Aumann's impossibility theorem on agreeing to disagree is revisited and weakened in the sense that possible contexts are provided in which agents can indeed agree to disagree.
Resumo:
The inability to deal with substance misuse is a universal human problem. No country has discovered a failsafe way of tackling it. In Ireland there is an annual public outcry about an ever-deepening drinking culture but once the outcry is over the problem subsides below consciousness. Strategies are created and launched and quickly forgotten. Everybody is aware of the problem in their own family or neighbourhood and everybody has their own opinion on causes and remedies. Why then does nothing seem to work? After demonstrating the shortcomings of previous models of addiction, Jack Houlahan identifies a pattern that all human use of substances has in common. In A Ghost in Daylight, the general reader will find many popular stereotypes re-examined in a way that will illuminate their own experience; the specialist addiction worker or researcher will find reason to challenge first principles; a new approach to counselling and advice work is suggested; the policy-maker will find a firm foundation for what will be the first attempt at an integrated policy for dealing with the range of issues we group under the title 'substance misuse'.This resource was contributed by The National Documentation Centre on Drug Use.
Plasmacytoid dendritic cells sense skin injury and promote wound healing through type I interferons.
Resumo:
Plasmacytoid dendritic cells (pDCs) are specialized type I interferon (IFN-α/β)-producing cells that express intracellular toll-like receptor (TLR) 7 and TLR9 and recognize viral nucleic acids in the context of infections. We show that pDCs also have the ability to sense host-derived nucleic acids released in common skin wounds. pDCs were found to rapidly infiltrate both murine and human skin wounds and to transiently produce type I IFNs via TLR7- and TLR9-dependent recognition of nucleic acids. This process was critical for the induction of early inflammatory responses and reepithelization of injured skin. Cathelicidin peptides, which facilitate immune recognition of released nucleic acids by promoting their access to intracellular TLR compartments, were rapidly induced in skin wounds and were sufficient but not necessary to stimulate pDC activation and type I IFN production. These data uncover a new role of pDCs in sensing tissue damage and promoting wound repair at skin surfaces.
Resumo:
Aquest treball de final de carrera tracta sobre l’aplicació de les modernes tècniques de reflexió estratègica aplicades al sector de la cultura popular catalana, concretament la cultura popular catalana que engloba les manifestacions on el vincle comú és la formació musical pròpia: la cobla. Aprofitar aquest sector, a priori tant complex i tant allunyat en principi del món d’estratègia d’empresa com aquest, és l’excusa per veure el comportament d’aquestes eines i teories, i comprovar-ne la seva eficàcia i adaptabilitat als diferents casos de la realitat, a més de poder treballar un tema tant nou com la valoració d’intangibles. A la vegada, es produeix una síntesi de treballs orientats a l’organització d’entitats sense ànim de lucre existents en la bibliografia especialitzada, i que han tingut un inexistent ressò pràctic. Això pot ser un contrasentit en un país on l’associacionisme és tan arrelat i un dels pilars socials que ens vertebren i diferencien. En el cas de la música per a cobla, especialment destacable en un moment molt important i crític per estar en un temps de transició social molt fort. També, cal destacar vivament que té una sèrie de valors afegits de qualitat i complexitat que la situen en un interessant camí entre la cultura popular i les propostes de caràcter més comercial, en unes condicions actuals de gran desconeixement social. Les vinculacions entre estratègia, innovació, responsabilitat social i cultura del coneixement, donen a aquest treball un fort caràcter actual i adaptat a la realitat en les consideracions sobre el management en general.
Resumo:
Chlorophyll determination with a portable chlorophyll meter can indicate the period of highest N demand of plants and whether sidedressing is required or not. In this sense, defining the optimal timing of N application to common bean is fundamental to increase N use efficiency, increase yields and reduce the cost of fertilization. The objectives of this study were to evaluate the efficiency of N sufficiency index (NSI) calculated based on the relative chlorophyll index (RCI) in leaves, measured with a portable chlorophyll meter, as an indicator of time of N sidedressing fertilization and to verify which NSI (90 and 95 %) value is the most appropriate to indicate the moment of N fertilization of common bean cultivar Perola. The experiment was carried out in the rainy and dry growing seasons of the agricultural year 2009/10 on a dystroferric Red Nitosol, in Botucatu, São Paulo State, Brazil. The experiment was arranged in a randomized complete block design with five treatments, consisting of N managements (M1: 200 kg ha-1 N (40 kg at sowing + 80 kg 15 days after emergence (DAE) + 80 kg 30 DAE); M2: 100 kg ha-1 N (20 kg at sowing + 40 kg 15 DAE + 40 kg 30 DAE); M3: 20 kg ha-1 N at sowing + 30 kg ha-1 when chlorophyll meter readings indicated NSI < 95 %; M4: 20 kg ha-1 N at sowing + 30 kg ha-1 N when chlorophyll meter readings indicated NSI < 90 % and, M5: control (without N application)) and four replications. The variables RCI, aboveground dry matter, total leaf N concentration, production components, grain yield, relative yield, and N use efficiency were evaluated. The RCI correlated with leaf N concentrations. By monitoring the RCI with the chlorophyll meter, the period of N sidedressing of common bean could be defined, improving N use efficiency and avoiding unnecessary N supply to common bean. The NSI 90 % of the reference area was more efficient to define the moment of N sidedressing of common bean, to increase N use efficiency.
Resumo:
We introduce a model of strategic thinking in games of initial response. Unlike standard level-k models, in this framework the player's `depth of reasoning' is endogenously determined, andit can be disentangled from his beliefs over his opponent's cognitive bound. In our approach,individuals act as if they follow a cost-benefit analysis. The depth of reasoning is a function ofthe player's cognitive abilities and his payoffs. The costs are exogenous and represent the gametheoretical sophistication of the player; the benefit instead is related to the game payoffs. Behavioris in turn determined by the individual's depth of reasoning and his beliefs about the reasoningprocess of the opponent. Thus, in our framework, payoffs not only affect individual choices inthe traditional sense, but they also shape the cognitive process itself. Our model delivers testableimplications on players' chosen actions as incentives and opponents change. We then test themodel's predictions with an experiment. We administer different treatments that vary beliefs overpayoffs and opponents, as well as beliefs over opponents' beliefs. The results of this experiment,which are not accounted for by current models of reasoning in games, strongly support our theory.Our approach therefore serves as a novel, unifying framework of strategic thinking that allows forpredictions across games.