This paper presents a new algorithm that combines perturbation theory and genetic programming for modeling and forecasting real-world chaotic time series. Both perturbation theory and time series modeling have to build symbolic models for very complex system dynamics. Perturbation theory does not work without well-defined system equation. Difficulties in modeling time series lie in the fact tha...

employing a three critical points theorem, we prove the existence ofmultiple solutions for a class of neumann two-point boundary valuesturm-liouville type equations. using a local minimum theorem fordifferentiable functionals the existence of at least one non-trivialsolution is also ensured.

According to both cybernetics and general system theory, a subject develops and uses an adequate model of a system to widen his/her knowledge about the system. Models are then the interface between a subject and a real-world system to solve problem and to construct knowledge. Hence, evaluating these models is crucial to ensure the quality of the constructed knowledge. We propose here an evaluat...

Recently much attention has been paid to the nonextensive canonical distributions: the αfamilies. Such distributions have been found in many real-world systems such as fully developed turbulence and financial markets. In this paper, a generalized mean-field method to approximate the expectations of the α-families is proposed. We calculate the α′-projection of a probability distribution to find ...

This paper discusses how to remove a kind of ambiguity in a text understanding system based on simulation. The system simulates some events mentioned in text on a world model and observes the behavior of the model during the simulation. Through these processes, it can recognize the other events mentioned implicitly. However, in case the system infers plural number of possible world, it can't de...

This chapter introduces a novel framework for modeling interacting humans in a multi-stage game. This “iterated semi network-form game” framework has the following desirable characteristics: (1) Bounded rational players, (2) strategic players (i.e., players account for one another’s reward functions when predicting one another’s behavior), and (3) computational tractability even on real-world s...

We propose a relational method to study impredicative systems, which are natural systems that have models containing hierarchical cycles. The method is formulated in category theory in terms of alternate descriptions and their functorial connections. This general theory of impredicative systems has implications in the biological, psychological, and social realms, from which we offer many exempl...

The objective of this paper is to identify a class of epistemic logic theories with group knowledge operators which have the fundamental property of being characterized by a finite number of finite models (up to equivalence). We specifically focus on S5-theories. We call this class of epistemic logic theories as finitary S5-theories. Models of finitary S5-theories can be shown to be canonical i...