Towards structured state threading in prolog

It is very often the case that programs require passing, maintaining, and updating some notion of state. Prolog programs often implement such stateful computations by carrying this state in predicate arguments (or, alternatively, in the internal datábase). This often causes code obfuscation, complicates code reuse, introduces dependencies on the data model, and is prone to incorrect propagation of the state information among predicate calis. To partly solve these problems, we introduce contexts as a consistent mechanism for specifying implicit arguments and its threading in clause goals. We propose a notation and an interpretation for contexts, ranging from single goals to complete programs, give an intuitive semantics, and describe a translation into standard Prolog. We also discuss a particular light-weight implementation in Ciao Prolog, and we show the usefulness of our proposals on a series of examples and applications, including code directiy using contexts, DCGs, extended DCGs, logical loops and other custom control structures.

IARG-AnCora: anotación de los corpus AnCora con argumentos implícitos

IARG-AnCora tiene como objetivo la anotación con papeles temáticos de los argumentos implícitos de las nominalizaciones deverbales en el corpus AnCora. Estos corpus servirán de base para los sistemas de etiquetado automático de roles semánticos basados en técnicas de aprendizaje automático. Los analizadores semánticos son componentes básicos en las aplicaciones actuales de las tecnologías del lenguaje, en las que se quiere potenciar una comprensión más profunda del texto para realizar inferencias de más alto nivel y obtener así mejoras cualitativas en los resultados.

Learning to Interpret and Generate Instructional Recipes

Thesis (Ph.D.)--University of Washington, 2016-08

La imagen de Barbación en las "Res Gestae" de Amiano Marcelino1

Este artículo analiza uno de los personajes secundarios más relevantes de las Res Gestae (RG) de Amiano Marcelino, el magister peditum Barbación. El historiador presenta a Barbación como un ser infame: colaborador en la muerte de Galo, cobarde, arrogante y desleal con Juliano durante la campaña militar del 357, delator de falsedades ante Constancio, merecedor de una muerte indigna. Sin embargo, un estudio de conjunto de los pasajes de Res Gestae, tomando como apoyo metodológico las técnicas de argumentación aplicadas al retrato y el concepto de ‘argumentación implícita’ de Sabbah 1978 y los métodos de caracterización de personajes de Pauw 1977, corrige esta visión comúnmente aceptada y demuestra la parcialidad del historiador. Así mismo se pone de manifiesto que el personaje, como otros actantes secundarios en las RG, es una réplica del carácter de Constancio II.

Logic Brightens My Day: Evidence for Implicit Sensitivity to Logical Validity.

A key assumption of dual process theory is that reasoning is an explicit, effortful, deliberative process. The present study offers evidence for an implicit, possibly intuitive component of reasoning. Participants were shown sentences embedded in logically valid or invalid arguments. Participants were not asked to reason but instead rated the sentences for liking (Experiment 1) and physical brightness (Experiments 2-3). Sentences that followed logically from preceding sentences were judged to be more likable and brighter. Two other factors thought to be linked to implicit processing-sentence believability and facial expression-had similar effects on liking and brightness ratings. The authors conclude that sensitivity to logical structure was implicit, occurring potentially automatically and outside of awareness. They discuss the results within a fluency misattribution framework and make reference to the literature on discourse comprehension. 

Implicit difference approximation for the time fractional diffusion equation

In this paper, we consider a time fractional diffusion equation on a finite domain. The equation is obtained from the standard diffusion equation by replacing the first-order time derivative by a fractional derivative (of order $0<\alpha<1$ ). We propose a computationally effective implicit difference approximation to solve the time fractional diffusion equation. Stability and convergence of the method are discussed. We prove that the implicit difference approximation (IDA) is unconditionally stable, and the IDA is convergent with $O(\tau+h^2)$, where $\tau$ and $h$ are time and space steps, respectively. Some numerical examples are presented to show the application of the present technique.

Acute compensatory eating following exercise is associated with implicit hedonic wanting for food

The efficacy of exercise to promote weight loss could potentially be undermined by its influence on explicit or implicit processes of liking and wanting for food which in turn alter food preference. The present study was designed to examine hedonic and homeostatic mechanisms involved in the acute effects of exercise on food intake. 24 healthy female subjects were recruited to take part in two counterbalanced activity sessions; 50 min of high intensity (70% max heart rate) exercise (Ex) or no exercise (NEx). Subjective appetite sensations, explicit and implicit hedonic processes, food preference and energy intake (EI) were measured immediately before and after each activity session and an ad libitum test meal. Two groups of subjects were identified in which exercise exerted different effects on compensatory EI and food preference. After exercise, compensators (C) increased their EI, rated the food to be more palatable, and demonstrated increased implicit wanting. Compensators also showed a preference for high-fat sweet food compared with non-compensators (NC), independent of the exercise intervention. Exercise-induced changes in the hedonic response to food could be an important consideration in the efficacy of using exercise as a means to lose weight. An enhanced implicit wanting for food after exercise may help to explain why some people overcompensate during acute eating episodes. Some individuals could be resistant to the beneficial effects of exercise due to a predisposition to compensate for exercise-induced energy expenditure as a result of implicit changes in food preferences.

Stability and convergence of an implicit numerical method for the non-linear fractional reaction-subdiffusion process

In this paper, we consider the following non-linear fractional reaction–subdiffusion process (NFR-SubDP): Formula where f(u, x, t) is a linear function of u, the function g(u, x, t) satisfies the Lipschitz condition and 0Dt1–{gamma} is the Riemann–Liouville time fractional partial derivative of order 1 – {gamma}. We propose a new computationally efficient numerical technique to simulate the process. Firstly, the NFR-SubDP is decoupled, which is equivalent to solving a non-linear fractional reaction–subdiffusion equation (NFR-SubDE). Secondly, we propose an implicit numerical method to approximate the NFR-SubDE. Thirdly, the stability and convergence of the method are discussed using a new energy method. Finally, some numerical examples are presented to show the application of the present technique. This method and supporting theoretical results can also be applied to fractional integrodifferential equations.

Journalism Ethics : Arguments and Cases

Hirst and Patching's second edition of Journalism Ethics: Arguments and Cases provides a fully updated exploration of the theory and practice of ethics in journalism. The authors situate modern ethical dilemmas in their social and historical context, which encourages students to think critically about ethics across the study and practice of journalism. Using a unique political economy approach, the text provides students with a theoretical and philosophical understanding of the major ethical dilemmas in journalism today. It commences with a newly recast discussion of theoretical frameworks, which explains the complex concepts of ethics in clear and comprehensive terms. It then examines the 'fault lines' in modern journalism, such as the constant conflict between the public service role of the media, and a journalist's commercial imperative to make a profit. All chapters have been updated with new examples, and many new cases demonstrating the book's theoretical underpinnings have been drawn from 'yesterday's headlines'. These familiar cases encourage student engagement and classroom discussion, and archived cases will still be available to students on an Online Resource Centre. Expanded coverage of the 'War on Terror', issues of deception within journalism, and infotainment and digital technology is included.

An advanced implicit meshless approach for the non-linear anomalous subdiffusion equation

Recently, the numerical modelling and simulation for anomalous subdiffusion equation (ASDE), which is a type of fractional partial differential equation( FPDE) and has been found with widely applications in modern engineering and sciences, are attracting more and more attentions. The current dominant numerical method for modelling ASDE is Finite Difference Method (FDM), which is based on a pre-defined grid leading to inherited issues or shortcomings. This paper aims to develop an implicit meshless approach based on the radial basis functions (RBF) for numerical simulation of the non-linear ASDE. The discrete system of equations is obtained by using the meshless shape functions and the strong-forms. The stability and convergence of this meshless approach are then discussed and theoretically proven. Several numerical examples with different problem domains are used to validate and investigate accuracy and efficiency of the newly developed meshless formulation. The results obtained by the meshless formulations are also compared with those obtained by FDM in terms of their accuracy and efficiency. It is concluded that the present meshless formulation is very effective for the modeling and simulation of the ASDE. Therefore, the meshless technique should have good potential in development of a robust simulation tool for problems in engineering and science which are governed by the various types of fractional differential equations.

Implicit discount rates and fisheries management : is there a relationship?

Fishers are faced with multiple risks, including unpredictability of future catch rates, prices and costs. While the latter are largely beyond the control of fisheries managers, effective fisheries management should reduce uncertainty about future catches. Different management instruments are likely to have different impacts on the risk perception of fishers, and this should manifest itself in their implicit discount rate. Assuming licence and quota values represent the net present value of the flow of expected future profits, then a proxy for the implicit discount rate of vessels in a fishery can be derived by the ratio of the average level of profits to the average licence/quota value. From this, an indication of the risk perception can be derived, assuming higher discount rates reflect higher levels of systematic risk. In this paper, we apply the capital asset pricing model (CAPM) to determine the risk premium implicit in the discount rates for a range of Australian fisheries, and compare this with the set of management instruments in place. We test the assumption that rights based management instruments lower perceptions of risk in fisheries. We find little evidence to support this assumption. although the analysis was based on only limited data.