921 resultados para Counterfactual reasoning
Resumo:
Faced with today’s ill-structured business environment of fast-paced change and rising uncertainty, organizations have been searching for management tools that will perform satisfactorily under such ambiguous conditions. In the arena of managerial decision making, one of the approaches being assessed is the use of intuition. Based on our definition of intuition as a non-sequential information-processing mode, which comprises both cognitive and affective elements and results in direct knowing without any use of conscious reasoning, we develop a testable model of integrated analytical and intuitive decision making and propose ways to measure the use of intuition.
Resumo:
This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for example, modifications at some time change legal rules but their conclusions persist afterwards from cases where also their conclusions are blocked.
Resumo:
Argumentation is modelled as a game where the payoffs are measured in terms of the probability that the claimed conclusion is, or is not, defeasibly provable, given a history of arguments that have actually been exchanged, and given the probability of the factual premises. The probability of a conclusion is calculated using a standard variant of Defeasible Logic, in combination with standard probability calculus. It is a new element of the present approach that the exchange of arguments is analysed with game theoretical tools, yielding a prescriptive and to some extent even predictive account of the actual course of play. A brief comparison with existing argument-based dialogue approaches confirms that such a prescriptive account of the actual argumentation has been almost lacking in the approaches proposed so far.
Resumo:
Action systems are a construct for reasoning about concurrent, reactive systems, in which concurrent behaviour is described by interleaving atomic actions. Sere and Troubitsyna have proposed an extension to action systems in which actions may be expressed and composed using discrete probabilistic choice as well as demonic nondeterministic choice. In this paper we develop a trace-based semantics for probabilistic action systems. This semantics provides a simple theoretical base on which practical refinement rules for probabilistic action systems may be justified.
Resumo:
Trust is a vital feature for Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design and implementation of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.
Resumo:
This paper presents the unique collection of additional features of Qu-Prolog, a variant of the Al programming language Prolog, and illustrates how they can be used for implementing DAI applications. By this we mean applications comprising communicating information servers, expert systems, or agents, with sophisticated reasoning capabilities and internal concurrency. Such an application exploits the key features of Qu-Prolog: support for the programming of sound non-clausal inference systems, multi-threading, and high level inter-thread message communication between Qu-Prolog query threads anywhere on the internet. The inter-thread communication uses email style symbolic names for threads, allowing easy construction of distributed applications using public names for threads. How threads react to received messages is specified by a disjunction of reaction rules which the thread periodically executes. A communications API allows smooth integration of components written in C, which to Qu-Prolog, look like remote query threads.
Resumo:
Almeida E. S. de, Haddad E. A. and Hewings G. J. D. Transport-regional equity issue revisited, Regional Studies. The objective of this paper is to analyse the relationship between transport and regional equity in Minas Gerais, Brazil. Furthermore, the existence of a trade-off between economic performance and regional equity is investigated as well. To do so, the paper develops a spatial computable general equilibrium model based on Brocker and Schneider`s approach of 2002 to implement comparative static analysis, explicitly incorporating iceberg transportation costs. Four activities are modelled, namely production, final demand, transportation and exports. Two production factors are assumed: labour and other factors. The model has 12 domestic regions and three external regions. Four counterfactual experiments are developed based on decreases in transportation costs due to a `distance shortening`. The main findings indicate that if the transport infrastructure improvement is focused only among poor regions, the promotion of regional equity is insignificant. If the transport infrastructure improvement links are concentrated among rich regions, there is an increase in regional income inequalities. However, if the improvements are targeted to the roads linking poor regions and rich ones, there is greater promotion of regional equity. The same result will occur when improvements are made to all road links of the state. [image omitted] Almeida E. S. de, Haddad E. A. et Hewings G. J. D. La question du rapport entre le transport et l`equilibre regional vue sous un jour nouveau, Regional Studies. Cet article cherche a analyser le rapport entre le transport et l`equilibre regional en Minas Gerais au Bresil. En outre, on examine la presence d`un echange entre la performance economoique et l`equilibre regional. Pour le faire, on construit un modele geographique de l`equilibre general a utiliser sur ordinateur fonde sur l`approche de Brockner et Schneider en 2002 afin de mettre en oeuvre une analyse statique comparative qui comprend explicitement les frais de transport iceberg. On modelise quatre activites, a savoir, la production, la demande finale, le transport et l`exportation. On fait deux suppositions quant aux facteurs de production: la main-d`oevre et d`autres facteurs. Le modele embrasse douze regions internes et trois regions externes. On fait quatre experiences paradoxales fondees sur la baisse des frais de transport due a une `reduction des distances`. Les principaux resultats indiquent que si l`amelioration de l`equipement de transport ne porte que sur les regions defavorisees, la promotion de l`equilibre regional s`avere negligeable. Si l`amelioration de l`equipement de transport focalise les regions riches, il s`avere un creusement des ecarts des revenus regionaux. Cependant, si les ameliorations ciblent les routes qui relient les regions defavorisees aux regions riches, il s`avere une plus grande promotion de l`equilibre regional. Il en va de meme pour la situation ou on a apporte des amenagements a toutes les liaisons routieres de l`etat. Modele geographique de l`equilibre general a utiliser sur ordinateur Equilibre regional Peformance economique Frais de transport Almeida E. S. de, Haddad E. A. und Hewings G. J. D. Die Wiederaufnahme der Frage von Verkehrswesen im Verhaltnis zu regionaler Fairness, Regional Studies. Dieser Aufsatz beabsichtigt, die Beziehung zwischen Verkehrswesen und regionaler Fairness in Minas Gerais (Brasilien) zu analysieren und zugleich auch das Vorkommen von Einbussen entweder bei wirtschaftlicher Leistung der regionaler Fairness zu untersuchen. Zu diesem Zwecke wird ein auf dem Ansatz von Brocker und Schneider (2002) aufbauendes raumliches komputables allgemeines Gleichgewichtsmodell entwickelt, um vergleichende statistische Analysen durchzufuhren, wobei verborgene `Eisberg`-Transportkosten ausdrucklich berucksichtigt werden. Es werden vier Unternehmenstatigk eiten aufgefuhrt: Herstellung, Nachfrage, Transportwesen und Exporte, und zwei Produktionsfaktoren vorausgesetzt: Arbeitskrafte und andere Faktoren. Das Modell umfasst zwolf Inlandsregionen und drei externe Regionen. Es werden vier gegensatzliche Experimente entwickelt, die auf einer Abnahme der Transportkosten infolge einer `Verkurzung der Entfernungen` beruhen. Die Hauptbefunde weisen darauf hin, dass die Forderung regionaler Fairness unbedeutend bleibt, wenn die Verbesserungen der Transportinfrastruktur sich nur auf minderbemittelte Regionen konzentrieren; werden die Verbesserungen der Verbindungen der Transportinfrastruktur in wohlhabenden Regionen durchgefuhrt, so nehmen regionale Einkommensunterschiede zu. Wenn die Verbesserungen jedoch auf Strassen abzielen, die wohlhabende Regionen mit weniger bemittelten verbinden, wird regionale Fairness starker gefordert. Das gleiche Ergebnis wird sich einstellen, wenn Verbesserungen an allen Strassenverbindungen des Staates vorgenommen werden. Raumliches, komputables, allgemeines Gleichgewichtsmodell Regionale Fairness Wirtschaftsleistung Transportkosten Almeida E. S. de, Haddad E. A. y Hewings G. J. D. Revisando el tema de la igualdad del transporte en las regiones, Regional Studies. El objetivo de este documento es analizar la relacion entre el transporte y la igualdad regional en Minas Gerais, Brasil. Asimismo investigamos la existencia de una compensacion entre el rendimiento economico y la igualdad regional. Para ello desarrollamos un modelo de equilibrio general computable y espacial basado en el enfoque de Brocker y Schneider en 2002 para hacer un analisis estatico y comparativo, explicitamente incorporando los costes ocultos de transporte. Se modelan cuatro actividades: la produccion, la demanda final, el transporte y las exportaciones. Suponemos que existen dos factores de produccion: mano de obra y otros factores. En este modelo, existen doce regiones internas y tres regiones externas. Desarrollamos cuatro experimentos contrafactuales basados en la disminucion de los costes de transporte debido a una `acortamiento de las distancias`. Los principales resultados indican que si la mejora de la infraestructura del transporte se centra solo entre las regiones mas pobres, el fomento de la igualdad regional es insignificante. Si los enlaces de la mejora de la infraestructura del transporte se concentran en las regiones ricas, aumentan las desigualdades de ingresos regionales. Sin embargo, si se mejoran los enlaces de carreteras entre las regiones pobres y ricas, se fomenta mejor la igualdad regional. El mismo resultado ocurre cuando se mejoran los enlaces de todas las carreteras del estado. Modelo de equilibrio general computable y espacial Igualdad regional Rendimiento economico Costes de transporte.
Resumo:
The major limiting factor in the successful application of adjuvant therapy for metastatic disease is the lack of adjuvant specificity that leads to severe side effects. Reasoning that T cells of the immune system are highly specific, we generated tumor-specific T cells by genetic modification of mouse primary T cells with a chimeric receptor reactive with the human breast cancer-associated Ag erbB-2. These T cells killed breast cancer cells and secreted IFN-gamma in an Ag-specific manner in vitro. We investigated their use against metastatic breast cancer in mice in an adjuvant setting, and compared their effectiveness with the commonly applied adjuvants doxorubicin, 5-fluorouracil, and herceptin. Mice were inoculated orthotopically with the human erbB-2-expressing spontaneously metastatic mouse breast cancer 4T1.2 in mammary tissue, and the primary tumor was surgically removed 8 days later., Significant metastatic disease was demonstrated in lung and liver at the time of surgery on day 8 with increased tumor burden at later time points. T cell adjuvant treatment of day 8 metastatic disease resulted in dramatic increases in survival of mice, and this survival was significantly greater than that afforded by either doxorubicin, 5-fluorouracil, or herceptin.
Resumo:
We add to current discussions about the interface between ecology, values, and objectivity by reporting on a novel Delphi-based study of the scientific reasoning employed by a group of eight ecologists as they collectively considered current ecological thinking. We rely on contextual empiricism, with its features of multiple ways of relating theory to reality and science as a social activity, to provide a richer understanding of scientific objectivity. This understanding recognizes the place and contributions of values and, in so doing, moves the discussion beyond whether or not science is value neutral.
Resumo:
Mental rotation involves the creation and manipulation of internal images, with the later being particularly useful cognitive capacities when applied to high-level mathematical thinking and reasoning. Many neuroimaging studies have demonstrated mental rotation to be mediated primarily by the parietal lobes, particularly on the right side. Here, we use fMRI to show for the first time that when performing 3-dimensional mental rotations, mathematically gifted male adolescents engage a qualitatively different brain network than those of average math ability, one that involves bilateral activation of the parietal lobes and frontal cortex, along with heightened activation of the anterior cingulate. Reliance on the processing characteristics of this uniquely bilateral system and the interplay of these anterior/posterior regions may be contributors to their mathematical precocity.
Resumo:
Five refractory obsessive-compulsive patients were assessed using a neuropsychological battery after a modified gamma knife capsulotomy. The surgical technique was not associated with profound cognitive deficits. The authors found improvements in attention, vocabulary, learning, abstract reasoning, and memory. (The journal of Neuropsychiatry and Clinical Neurosciences 2009; 21:393-397)
Resumo:
Recent interest in the development and evolution of theory of mind has provided a wealth of information about representational skills in both children and animals, According to J, Perrier (1991), children begin to entertain secondary representations in the 2nd year of life. This advance manifests in their passing hidden displacement tasks, engaging in pretense and means-ends reasoning, interpreting external representations, displaying mirror self-recognition and empathic behavior, and showing an early understanding of mind and imitation. New data show a cluster of mental accomplishments in great apes that is very similar to that observed in 2-year-old humans. It is suggested that it is most parsimonious to assume that this cognitive profile is of homologous origin and that great apes possess secondary representational capacity. Evidence from animals other than apes is scant. This analysis leads to a number of predictions for future research.
Resumo:
Teaching ethics incorporates teaching of knowledge as well as skills and attitudes. Each of these requires different teaching and assessment methods. A core curriculum of ethics knowledge must address both the foundations of ethics and specific ethical topics. Ethical skills teaching focuses on the development of ethical awareness, moral reasoning, communication and collaborative action skills. Attitudes that are important for medical students to develop include honesty, integrity and trustworthiness, empathy and compassion, respect, and responsibility, as well as critical self-appraisal and commitment to lifelong education.
Resumo:
In this paper we describe a distributed object oriented logic programming language in which an object is a collection of threads deductively accessing and updating a shared logic program. The key features of the language, such as static and dynamic object methods and multiple inheritance, are illustrated through a series of small examples. We show how we can implement object servers, allowing remote spawning of objects, which we can use as staging posts for mobile agents. We give as an example an information gathering mobile agent that can be queried about the information it has so far gathered whilst it is gathering new information. Finally we define a class of co-operative reasoning agents that can do resource bounded inference for full first order predicate logic, handling multiple queries and information updates concurrently. We believe that the combination of the concurrent OO and the LP programming paradigms produces a powerful tool for quickly implementing rational multi-agent applications on the internet.
Resumo:
This paper tests the explanatory capacities of different versions of new institutionalism by examining the Australian case of a general transition in central banking practice and monetary politics: namely, the increased emphasis on low inflation and central bank independence. Standard versions of rational choice institutionalism largely dominate the literature on the politics of central banking, but this approach (here termed RC1) fails to account for Australian empirics. RC1 has a tendency to establish actor preferences exogenously to the analysis; actors' motives are also assumed a priori; actor's preferences are depicted in relatively static, ahistorical terms. And there is the tendency, even a methodological requirement, to assume relatively simple motives and preference sets among actors, in part because of the game theoretic nature of RC1 reasoning. It is possible to build a more accurate rational choice model by re-specifying and essentially updating the context, incentives and choice sets that have driven rational choice in this case. Enter RC2. However, this move subtly introduces methodological shifts and new theoretical challenges. By contrast, historical institutionalism uses an inductive methodology. Compared with deduction, it is arguably better able to deal with complexity and nuance. It also utilises a dynamic, historical approach, and specifies (dynamically) endogenous preference formation by interpretive actors. Historical institutionalism is also able to more easily incorporate a wider set of key explanatory variables and incorporate wider social aggregates. Hence, it is argued that historical institutionalism is the preferred explanatory theory and methodology in this case.