We present a proof-theoretic foundation for automated deduction in linear logic. At rst, we systematically study the permutability properties of the inference rules in this logical framework and exploit these to introduce an appropriate notion of forward and backward movement of an inference in a proof. Then we discuss the naturally-arising question of the redundancy reduction and investigate t...

After introducing the basic notions of reeective logic and internal strategies, we discuss in detail how reeection can be systematically exploited to design a strategy language internal to a reeective logic in the concrete case of rewriting logic and Maude; and we illustrate the advantages of this new approach to strategies by showing how the rules of inference for Knuth-Bendix completion can b...

Abstract. This paper investigates the performance of explanatory or abductive inference in certain hypothesis selection tasks. The strategy is to use various measures of explanatory power to compare competing hypotheses and then make an inference to the best explanation. Computer simulations are used to compare the accuracy of such approaches with a standard approach when uncertainty is present...

The academic literature suggests that the extent of exporting by multinational corporation subsidiaries (MCS) depends on their product manufactured, resources, tax protection, customers and markets, involvement strategy, financial independence and suppliers’ relationship with a multinational corporation (MNC). The aim of this paper is to model the complex export pattern behaviour using a Takagi...

MOTIVATION To resolve the high-dimensionality of the genetic network inference problem in the S-system model, a problem decomposition strategy has been proposed. While this strategy certainly shows promise, it cannot provide a model readily applicable to the computational simulation of the genetic network when the given time-series data contain measurement noise. This is a significant limitatio...

Abstract We formulate an adaptive version of Kelly’s horse model in which the gambler learns from past race results using Bayesian inference. characterize cost this gambling strategy and we analyze asymptotic scaling difference between growth rate optimal rate, known as gambler’s regret. also explain how relates to universal portfolio strategy, build improved strategies exploits information con...

This study aims to describe the critical thinking skills of class VIII students at SMP Negeri 1 Narmada in solving story problems based on a two-variable system linear equations. type research is called descriptive qualitative. The instrument used this uses stages Perkins and Murphy's skills, namely (1) clarification, (2) assessment, (3) inference, (4) strategy. subjects were from VIII.8, which...

Bayesian inference provides a unifying framework for learning, reasoning, and decision making. Unfortunately, exact Bayesian inference is intractable in all but the simplest models. Therefore minds and machines have to approximate Bayesian inference. Approximate inference algorithms can achieve a wide range of time-accuracy tradeoffs, but what is the optimal tradeoff? We investigate timeaccurac...

This paper addresses causal inference and modeling over event streams where data have high throughput, are unbounded, and may arrive out of order. The availability of large amount of data with these characteristics presents several new challenges related to causal modeling, such as the need for fast causal inference operations while ensuring consistent and valid results. There is no existing wo...