Implementation of a non ground meta interpreter for defeasible logic

Human reasoning is a fascinating and complex cognitive process that can be applied in different research areas such as philosophy, psychology, laws and financial. Unfortunately, developing supporting software (to those different areas) able to cope such as complex reasoning it’s difficult and requires a suitable logic abstract formalism. In this thesis we aim to develop a program, that has the job to evaluate a theory (a set of rules) w.r.t. a Goal, and provide some results such as “The Goal is derivable from the KB5 (of the theory)”. In order to achieve this goal we need to analyse different logics and choose the one that best meets our needs. In logic, usually, we try to determine if a given conclusion is logically implied by a set of assumptions T (theory). However, when we deal with programming logic we need an efficient algorithm in order to find such implications. In this work we use a logic rather similar to human logic. Indeed, human reasoning requires an extension of the first order logic able to reach a conclusion depending on not definitely true6 premises belonging to a incomplete set of knowledge. Thus, we implemented a defeasible logic7 framework able to manipulate defeasible rules. Defeasible logic is a non-monotonic logic designed for efficient defeasible reasoning by Nute (see Chapter 2). Those kind of applications are useful in laws area especially if they offer an implementation of an argumentation framework that provides a formal modelling of game. Roughly speaking, let the theory is the set of laws, a keyclaim is the conclusion that one of the party wants to prove (and the other one wants to defeat) and adding dynamic assertion of rules, namely, facts putted forward by the parties, then, we can play an argumentative challenge between two players and decide if the conclusion is provable or not depending on the different strategies performed by the players. Implementing a game model requires one more meta-interpreter able to evaluate the defeasible logic framework; indeed, according to Göedel theorem (see on page 127), we cannot evaluate the meaning of a language using the tools provided by the language itself, but we need a meta-language able to manipulate the object language8. Thus, rather than a simple meta-interpreter, we propose a Meta-level containing different Meta-evaluators. The former has been explained above, the second one is needed to perform the game model, and the last one will be used to change game execution and tree derivation strategies.

Expériences du sacré et (dé)figurations du Christ. Artaud, Beckett, Pasolini

« Dieu est mort » proclame à l’envi le fou nietzschéen. C’est sous l’égide inquiète de cette assertion paroxystique, traduisant ce «malaise de la culture» qu’évoquait Freud, que la pensée, la littérature et l’art du XXe siècle européen évoluent. Cependant, le christianisme dont ce cri signe l’extrême décadence, n’est pas seul à imprégner les productions artistiques de ce siècle, même les plus prétendument athées, mais avant tout la figure du Christ - autour de laquelle sont structurés tant cette religion que son système de croyance – semble, littéralement et paradoxalement, infester l’imaginaire du XXe siècle, sous des formes plus ou moins fantasmatiques. Ce travail se propose ainsi précisément d’étudier, dans une optique interdisciplinaire entre littérature, art et cinéma, cette dynamique controversée, ses causes, les processus qui la sous-tendent ainsi que ses effets, à partir des œuvres de trois auteurs : Artaud, Beckett et Pasolini. L’objectif est de fournir une clé de lecture de cette problématique qui mette en exergue comment « la conversion de la croyance », comme la définit Deleuze, à laquelle ces auteurs participent, n’engendre pas un rejet purement profanatoire du christianisme mais, à l’inverse, la mise en œuvre d’un mouvement aussi violent que libératoire qualifié par Nancy de « déconstruction du christianisme ». Ce travail entend donc étudier tout d’abord à la lumière de l’expérience intérieure de Bataille, l’imaginaire christique qui sous-tend leurs productions ; puis, d’en analyser les mouvements et les effets en les questionnant sur la base de cette dynamique ambivalente que Grossman nomme la « défiguration de la forme christique ». Les excès délirants d’Artaud, l’ironie tranchante de Beckett et la passion ambiguë de Pasolini s’avèrent ainsi participer à un mouvement commun qui, oscillant entre reprise et rejet, débouche sur une attitude tout aussi destructive que revitalisante des fondements du christianisme.

La sociologia relazionale di Georg Simmel. La relazione come forma sociale vitale

La tesi di dottorato ha come oggetto il pensiero sociologico di Georg Simmel con particolare riferimento alla sua interpretazione nei diversi indirizzi di ricerca della sociologia relazionale contemporanea. In particolare, si propone una rilettura del contributo simmeliano alla luce del paradigma relazionale della sociologia di Pierpaolo Donati. Il lavoro di ricerca è stato condotto secondo una rigorosa ricognizione testuale dell’opus simmeliano e della bibliografia critica internazionale sull'argomento in oggetto. A partire dalla nozione di relazione sociale, si dipana l’analisi della proposta sociologica simmeliana: il termine tedesco Wechselwirkung (azione reciproca) racchiude la complessa semantica con cui assume senso l’intera teoria sociologica simmeliana. Simmel è il primo "sociologo relazionale", come sostenuto da Donati, e in questa ricerca si cerca di mostrare le evidenze della validità di tale asserzione. Nella formulazione simmeliana si trovano importanti indizi teorici che permettono di rielaborare la relazione nei termini di una “forma sociale vitale”. Questo significa che la relazione sociale trova la sua ragion d’essere in quanto fenomeno umano che si determina a partire dalle nozioni di “spirito” (Geist) e “vita”(Leben). Nel primo capitolo si chiarisce la natura di questa relazione sociale in rapporto alle varie proposte sociologiche relazionali in campo internazionale. Nel secondo capitolo si analizza in maniera critica la (ri)formulazione simmeliana della relazione come scambio (nella forma simbolica del denaro) e le interpretazioni relazionali che si sono succedute a partire da questo cambio di rotta. Nel terzo capitolo vengono passate in rassegna le principali figure relazionali (la vita della metropoli, la moda, il conflitto, il povero, lo straniero) con le quali si confronta il sociologo berlinese. Nel quarto capitolo si propone di rileggere fenomeni sociali e culturali come forme relazionali in riferimento alla sfera dell’arte e della teologia (religione).

A landscape mosaics approach for characterizing swidden systems from a REDD+ perspective

Swidden agriculture is often deemed responsible for deforestation and forest degradation in tropical regions, yet swidden landscapes are commonly not visible on land cover/use maps, making it difficult to prove this assertion. For a future REDD+ scheme, the correct identification of deforestation and forest degradation and linking these processes to land use is crucial. However, it is a key challenge to distinguish degradation and deforestation from temporal vegetation dynamics inherent to swiddening. In this article we present an approach for spatial delineation of swidden systems based on landscape mosaics. Furthermore we introduce a classification for change processes based on the change matrix of these landscape mosaics. Our approach is illustrated by a case study in Viengkham district in northern Laos. Over a 30-year time period the swidden landscapes have increased in extent and they have degraded, shifting from long crop–fallow cycles to short cycles. From 2007 to 2009 degradation within the swidden system accounted for half of all the landscape mosaics change processes. Pioneering shifting cultivation did not prevail. The landscape mosaics approach could be used in a swidden compatible monitoring, reporting and verification (MRV) system of a future REDD+ framework.

Women And The Epistemologies Of Pleasure: An Analysis Of Female Sexual Appetites And Practices At Bucknell University

Using an epistemological and feminist lens, this thesis analyzes the political and social forces that actively construct both knowledge and ignorance around female sexual pleasure. It draws from interviews and a focus group, all conducted at Bucknell Unviersity to explore the journeys that women take to gain knowledge about sexual pleasure, and how the sources and cultural mores that women in the twenty-first century rely on or go up against in order to gain such knowledge are often limited, unauthorized or phallocentric. This aids in the construction and perpetuation of ignorance. This thesis looks at how women feel shame or enact self-censorship, regardless of their assertion of knowledge concerning their sexual appetites, which results in consequential ambivalence. For this reason, it concludes that more informed and educational conversations between peers, parents and partners need to take place. These conversations will help to ignite change and to raise awareness about the knowledge and ignorance surrounding female sexual pleasure, which would allow for more pleasurable experiences to take place generally and with a brief over view on Bucknell's campus specifically.

Economic and Social Changes in Czech Society after 1989: an Alternative View

The group presents an analysis of the development of the Czech society and economy during the 1990s. They believe that the Czech neo-liberal strategy of transformation led to a partial and uneven modernisation and that this strategy is unable to provide a firm basis for a complex process of modernisation. The increasing developmental problems encountered during 1996-1999 can be seen as empirical evidence of the inadequacy of the neo-liberal transformation strategy. These problems are connected to institutional shortcomings due to the excessive speed of privatisation, its form with certain important Czech innovations (particularly the voucher method and an attempt to resuscitate the Czech national capital) and with the overlooking of the importance of the legal framework and its enforcement. The overly hasty privatisation has created a type of 'recombinant property' which lacks the economic order necessary to stimulate efficiency in an atmosphere of prevailing social justice. A second reason for the present difficulties is the long-term lag behind the civilisation and cultural standards typical of the advanced European countries. The first steps of the Czech transformation concentrated mainly on changes in the institutions important for the distribution of power and wealth and largely neglected the necessity of deep-reaching modernisation of Czech society and the economy. The neo-liberal strategy created conditions conducive to predatory and speculative behaviour at the expense of creative behaviour. Inherited principles of egalitarianism combined with undeserved economic privileges survived and were reinforced by important new developments in the same direction. This situation hinders the assertion of meritocratic motivations. The group advocates the development and implementation of a complex strategy of modernisation based on deliberate reforms, institutional changes and restructuring on the basis of strategic planning, and structural and regional policies which stress the role of cultivation of the institutional order and of the most important factors of economic growth and development.

Weak Senses as a Type of Semantic Information

'Weak senses' are a specific type of semantic information as opposed to assertions and presuppositions. The universal trait of weak senses is that they assume 'if' modality in negative contexts. In addition they exhibit several other diagnostic properties, e.g. they fill at least one of their valency places with a semantic element sensitive to negation (i.e. with an assertion or other weak sense), they normally do not fall within the scope of functors, do not play any role in causal relations, and resist intensification. As weak senses are widespread in lexical, grammatical and referential semantics, this notion holds the clue to phenomena as diverse as the oppositions little - a little, few - a few, edva ('hardly') - cut' ('slightly), where a little, a few, cut, convey 'weakly' approximately what little, few, and edva do in an assertive way, the semantics of the Russian perfect aspect, and the formation rules for conjunction strings. Zeldovich outlines a typology of weak senses, the main distinction being between weak senses unilaterally dependent upon the truthfulness of what they saturate their valency with, and weak senses exerting their own influence on the main situation. The latter, called, non-trivial, are instantiated by existential quantifiers involved in the semantics of indefinite pronouns, iterative verbs, etc.

Understanding "Just Enough" Computer Users: Motivation Style and Proficiency

Among daily computer users who are proficient, some are flexible at accomplishing unfamiliar tasks on their own and others have difficulty. Software designers and evaluators involved with Human Computer Interaction (HCI) should account for any group of proficient daily users that are shown to stumble over unfamiliar tasks. We define "Just Enough" (JE) users as proficient daily computer users with predominantly extrinsic motivation style who know just enough to get what they want or need from the computer. We hypothesize that JE users have difficulty with unfamiliar computer tasks and skill transfer, whereas intrinsically motivated daily users accomplish unfamiliar tasks readily. Intrinsic motivation can be characterized by interest, enjoyment, and choice and extrinsic motivation is externally regulated. In our study we identified users by motivation style and then did ethnographic observations. Our results confirm that JE users do have difficulty accomplishing unfamiliar tasks on their own but had fewer problems with near skill transfer. In contrast, intrinsically motivated users had no trouble with unfamiliar tasks nor with near skill transfer. This supports our assertion that JE users know enough to get routine tasks done and can transfer that knowledge, but become unproductive when faced with unfamiliar tasks. This study combines quantitative and qualitative methods. We identified 66 daily users by motivation style using an inventory adapted from Deci and Ryan (Ryan and Deci 2000) and from Guay, Vallerand, and Blanchard (Guay et al. 2000). We used qualitative ethnographic methods with a think aloud protocol to observe nine extrinsic users and seven intrinsic users. Observation sessions had three customized phases where the researcher directed the participant to: 1) confirm the participant's proficiency; 2) test the participant accomplishing unfamiliar tasks; and 3) test transfer of existing skills to unfamiliar software.

Developing Higher-level Cognitive Skills In a Fire Protection Course

In an ideal world, all instructors of safety and health courses would be masters of course subject matter as well as the theories and practices for effective teaching. In practice, however, most instructors are much stronger in one or the other. This paper provides an example of how some fundamental knowledge from educational experts can be useful for improving a traditional safety course. Is there a problem with the way traditional safety and health (S&H) courses are taught? It is asserted by this author that S&H education, in general, places too much emphasis on acquisition and comprehension of facts at the expense of helping students develop higher-level cognitive abilities. This paper explains the basis for the assertion and reports an experience upgrading a traditional fire protection course to include more assignments involving the higher-level ability known in the education community as synthesis.

On the road through the Bolivian Amazon: a multi-level land governance analysis of deforestation

Previous studies have shown that collective property rights offer higher flexibility than individual property and improve sustainable community-based forest management. Our case study, carried out in the Beni department of Bolivia, does not contradict this assertion, but shows that collective rights have been granted in areas where ecological contexts and market facilities were less favourable to intensive land use. Previous experiences suggest investigating political processes in order to understand the criteria according to which access rights were distributed. Based on remote sensing and on a multi-level land governance framework, our research confirms that land placed under collective rights, compared to individual property, is less affected by deforestation among Andean settlements. However, analysis of the historical process of land distribution in the area shows that the distribution of property rights is the result of a political process based on economic, spatial, and environmental strategies that are defined by multiple stakeholders. Collective titles were established in the more remote areas and distributed to communities with lower productive potentialities. Land rights are thus a secondary factor of forest cover change which results from diverse political compromises based on population distribution, accessibility, environmental perceptions, and expected production or extraction incomes.

Bodily and Embodied: Being Human in the Tradition of the Hebrew Bible

A depiction of the ancient Hebrew understanding of the human being must take into account the fact that the Bible does not contain a systematic anthropology, but unfolds the multiplicity of human existence inductively, aspectively, and in narrative fashion. In comparison to Greek body/soul dualism, but also in the context of body-(de-)construction and gender debates, this circumstance makes it a treasure trove of interesting, often contrasting recollections and insights with liberating potential. This assertion will be illustrated concretely in terms of the nexus points of the human body (throat, heart, and womb), the relationship of humans to animals and angels, and the questions of the power and value of a human being.

Middle managers' attitudes toward employee assistance programs in the corporate setting

Several studies have shown that successful Employee Assistance Programs (EAPs) have strong management endorsement. Strong management endorsement is defined as positive support in utilizing EAP services for themselves and their employees. This study focuses solely on middle management as opposed to upper or general management support. The study further examines success or lack of success of an EAP by the utilization rate defined as the number of employees over a year period who access EAP services.^ A analytical cross-sectional design was used to compare and observe differences between two groups of middle managers (utilizers and nonutilizers). Middle manager data was collected through a mail questionnaire. The study focused on identifying predictors that influence middle managers' utilization rate specifically: attitude toward EAPs, EAP knowledge level, attitude toward mental health professionals, age, gender, years worked as a middle manager, education level, training, and other possible predictors of utilization. The overall hypothesis states middle manager utilizers of EAP services have more positive attitudes and a better understanding of their EAP than middle management nonutilizers.^ As predicted, nonparametric bivariate results showed significant differences between the two groups. Middle managers in the utilization group (n = 473) tended to show more positive attitudes toward their EAP and mental health professionals and demonstrated greater EAP knowledge compared to the nonutilization group (n = 154). These findings support past studies on variables that influence EAP utilization rates.^ Further variables found to influence middle management utilization were identified by multivariate logistic regression results. These variable were gender (female supervisors), educational levels of employees supervised (employees with lower levels of education), number of employees supervised (greater the number supervised, more likely to utilize), managerial EAP training (trained supervisors) and awareness that problems do influence an employee's productivity.^ These findings strengthen the assertion that middle management's attitudes, as well as other variables may influence utilization. Study findings add new information about important variables specifically influencing middle management who utilize EAPs. An understanding of these variables is essential in developing competent EAP program training and orientation programs for middle managers. ^

Is output performance all about the resources? A fuzzy-set Qualitative Comparative Analysis of street-level bureaucrats in Switzerland

This article refines Lipsky’s (1980) assertion that lacking resources negatively affect output performance. It uses fuzzy-set Qualitative Comparative Analysis to analyse the nuanced interplay of contextual and individual determinants of the output performance of veterinary inspectors as street-level bureaucrats in Switzerland. Moving ‘beyond Lipsky’, the study builds on recent theoretical contributions and a systematic comparison across organizational contexts. Against a widespread assumption, output performance is not all about the resources. The impact of perceived available resources hinges on caseloads, which prove to be more decisive. These contextual factors interact with individual attitudes emerging from diverse public accountabilities. The results contextualize the often-emphasized importance of worker-client interaction. In a setting where clients cannot escape the interaction, street-level bureaucrats are not primarily held accountable by them. Studies of output performance should thus sensibly consider gaps between what is being demanded of and offered to street-level bureaucrats, and the latter’s multiple embeddedness.

Taking the multidimensionality of democracy seriously: institutional patterns and the quality of democracy

Democracies come in all shapes and sizes. Which configuration of political institutions produces the highest democratic quality is a notorious debate. The lineup of contenders includes ‘consensus’, ‘Westminster’, and ‘centripetal’ democracy. A trend in the evaluation of the relationship between empirical patterns of democracy and its quality is that the multidimensional nature of both concepts is increasingly taken into account. This article tests the assertion that certain centripetal configurations of proportionality in party systems and government, and unitarism in the remaining state structure, might outperform all other alternatives both in terms of inclusiveness and effectiveness. Analyzing 33 democracies, the results of interactive regression models only partially support this claim. Proportional–unitary democracies have the best track record in terms of representation, but there are little differences in participation, transparency, and government capability compared with other models.

Todo cambia. Potrerillos también y tiene su historia

Potrerillos, es uno de los centros turísticos de mayor importancia de área de alta montaña mendocina, y ha comenzado un nuevo período de su historia a partir del momento en que se toma la decisión de comenzar a construir la Presa. No obstante, las ventajas que se esperan, es innegable los enormes cambios para los habitantes permanentes del valle de Potrerillos, especialmente los de la villa cabecera, quienes deben abandonar sus viviendas y en algunos casos su actividad, su medio de vida, para ser reubicados en otro emplazamiento cercano, pero de características muy diferentes a las que eran habituales para estos montañeses, quienes en muchos casos han vivido por generaciones en la zona. Para dar afirmación social y cultural a los lugareños es indispensable poner en juego valores de complementariedad y solidaridad, de respeto por los saberes del pasado y por el sentir estético de dichas personas. Debería pensarse en nuevas técnicas para ayudarles a emprender nuevas actividades económicas acordes con sus gustos y no necesariamente orientadas a la elaboración de pan o empanadas para los turistas que se acercan al nuevo barrio. Debemos integrarlos a todo el proceso de cambio, no sólo apartarlos para obtener el espacio.