Searching for small targets in large spaces is a common problem in the sciences. Because blind search is inadequate for such searches, it needs to be supplemented with additional information, thereby transforming a blind search into an assisted search. This additional information can be quantified and indicates that assisted searches themselves result from searching higher-level search spaces–by conducting, as it were, a search for a search. Thus, the original search gets displaced to a higher-level search. (...) The key result in this paper is a displacement theorem, which shows that successfully resolving such a higher-level search is exponentially more difficult than successfully resolving the original search. Leading up to this result, a measure-theoretic version of the No Free Lunch theorems is formulated and proven. The paper shows that stochastic mechanisms, though able to explain the success of assisted searches in locating targets, cannot, in turn, explain the source of assisted searches. (shrink)

Learning to solve a class of problems can be characterized as a search through a space of hypotheses about the rules for solving these problems. A series of four experiments studied how different learning conditions affected the search among hypotheses about the solution rule for a simple computational problem. Experiment 1 showed that a problem property such as computational difficulty of the rules biased the search process and so affected learning. Experiment 2 examined the impact of examples as (...) instructional tools and found that their effectiveness was determined by whether they uniquely pointed to the correct rule. Experiment 3 compared verbal directions with examples and found that both could guide search. The final experiment tried to improve learning by using more explicit verbal directions or by adding scaffolding to the example. While both manipulations improved learning, learning still took the form of a search through a hypothesis space of possible rules. We describe a model that embodies two assumptions: the instruction can bias the rules participants hypothesize rather than directly be encoded into a rule; participants do not have memory for past wrong hypotheses and are likely to retry them. These assumptions are realized in a Markov model that fits all the data by estimating two sets of probabilities. First, the learning condition induced one set of Start probabilities of trying various rules. Second, should this first hypothesis prove wrong, the learning condition induced a second set of Choice probabilities of considering various rules. These findings broaden our understanding of effective instruction and provide implications for instructional design. (shrink)

The purpose of the two studies reported here was to develop an integrated model of the scientific reasoning process. Subjects were placed in a simulated scientific discovery context by first teaching them how to use an electronic device and then asking them to discover how a hitherto unencountered function worked. To do this task, subjects had to formulate hypotheses based on their prior knowledge, conduct experiments, and evaluate the results of their experiments. In the first study, using 20 adult subjects, (...) we identified two main strategies that subjects used to generate new hypotheses. One strategy was to search memory and the other was to generalize from the results of previous experiments. We described the former group as searching an hypothesis space, and the latter as searching an experiment space. In a second study, with 10 adults, we investigated how subjects search the hypothesis space by instructing them to state all the hypotheses that they could think of prior to conducting any experiments. Following this phase, subjects were then allowed to conduct experiments. Subjects who could not think of the correct rule in the hypothesis generation phase discovered the correct rule only by generalizing from the results of experiments in the experimental phase.Both studies provide support for the view that scientific reasoning can be characterized as search in two problem spaces. By extending Simon and Lea's (1974) Generalized Rule Inducer, we present a general model of Scientific Discovery as Dual Search (SDDS) that shows how search in two problem spaces (an hypothesis space and an experiment space) shapes hypothesis generation, experimental design, and the evaluation of hypotheses. The model also shows how these processes interact with each other. Finally, we interpret earlier findings about the psychology of scientific reasoning in terms of the SDDS model. (shrink)

The purpose of the two studies reported here was to develop an integrated model of the scientific reasoning process. Subjects were placed in a simulated scientific discovery context by first teaching them how to use an electronic device and then asking them to discover how a hitherto unencountered function worked. To do this task, subjects had to formulate hypotheses based on their prior knowledge, conduct experiments, and evaluate the results of their experiments. In the first study, using 20 adult subjects, (...) we identified two main strategies that subjects used to generate new hypotheses. One strategy was to search memory and the other was to generalize from the results of previous experiments. We described the former group as searching an hypothesis space, and the latter as searching an experiment space. In a second study, with 10 adults, we investigated how subjects search the hypothesis space by instructing them to state all the hypotheses that they could think of prior to conducting any experiments. Following this phase, subjects were then allowed to conduct experiments. Subjects who could not think of the correct rule in the hypothesis generation phase discovered the correct rule only by generalizing from the results of experiments in the experimental phase.Both studies provide support for the view that scientific reasoning can be characterized as search in two problem spaces. By extending Simon and Lea's (1974) Generalized Rule Inducer, we present a general model of Scientific Discovery as Dual Search (SDDS) that shows how search in two problem spaces (an hypothesis space and an experiment space) shapes hypothesis generation, experimental design, and the evaluation of hypotheses. The model also shows how these processes interact with each other. Finally, we interpret earlier findings about the psychology of scientific reasoning in terms of the SDDS model. (shrink)

This paper introduce a new variant of the Genetic Algorithm whichis developed to handle multivariable, multi-objective and very high search space optimization problems like the solving system of non-linear equations. It is an integer coded Genetic Algorithm with conventional cross over and mutation but with Inverse algorithm is varying its search space by varying its digit length on every cycle and it does a fine search followed by a coarse search. And its solution to the optimization problem will converge (...) to precise value over the cycles. Every equation of the system is considered as a single minimization objective function. Multiple objectives are converted to a single fitness function by summing their absolute values. Some difficult test functions for optimization and applications are used to evaluate this algorithm. The results prove that this algorithm is capable to produce promising and precise results. (shrink)

ISBN 978-5-86007-556-6. (in Russian). -/- In the book we can find the analysis of some closely related problems – of the origin and essence of life, the universal world process and the global evolution. Examination of fractal nature of carriers through the distribution of terrestrial and space objects on the steps of scale staircase, depending on the masses and sizes, shows an appropriate relationship with the masses and sizes of live organisms. One of the conclusions is the complementarity of living (...) and nonliving carriers in universe, and the main difference between a living from nonliving matter is an independent source of ordering inherent in living forms and managing all of its reactions. Tables 9. Fig. 11. Ref. 60 titles. (shrink)

The central task of cognitive neuroscience to map cognitive capacities to neural mechanisms faces three interlocking conceptual problems that together frame the problem of cognitive ontology. First, they must establish which tasks elicit which cognitive capacities, and specifically when different tasks elicit the same capacity. To address this operationalization problem, scientists often assess whether the tasks engage the same neural mechanisms. But to determine whether mechanisms are of the same or different kinds, we need to solve the abstraction (...) problem by determining which mechanistic differences are and are not relevant, and also the boundary problem by distinguishing the mechanism from its background conditions. Solving these problems, in turn, requires understanding how cognitive capacities are elicited in tasks. These three problems, which have been noted and discussed elsewhere in the literature, together form a ‘cycle of kinds’ that frames the central problem-space of cognitive ontology. We describe this cycle to clarify the intellectual challenges facing the cognitive ontologist and to reveal the kind of iterative process by which ontological revision in cognitive neuroscience is likely to unfold. (shrink)

The scope and length of this anthology make it one of the best recent introductions to Continental thought for the English-speaking reader. Despite the editor's efforts to compass a century and a half of European thought under the somewhat inflated title of a "search for being," each of the fourteen contributors is allowed enough space to show that no single problem or quest concretely typifies European philosophical activity in our time. If one overlooks the dramatic cutting and pasting required (...) by the attempt to give an existential flavor to the thinkers, one finds the merit of the book to be precisely the inclusion of authors whose interests are in important respects quite divergent from those of the existentialists. There are new, long translations from Schelling, Ravaisson, Lachelier, Simmel, Husserl, and Heidegger. There is a selected bibliography.--W. H. C. (shrink)

In the movie The Gold Rush Charlie Chaplin and his friend are stranded in a log cabin in the middle of winter while a blizzard rages. The cabin is isolated, and they have a very big problem – there is nothing to eat. They pace around wondering what to do. Charlie's friend starts to see Charlie as a chicken, and he tries to kill him. He chases Charlie around the cabin many times. Eventually they hit upon the idea of (...) boiling an old boot and eating it for dinner. With great delicacy they sit at the table and eat the boot as if it were a gourmet meal. They solved the problem of having nothing to eat. While their solution to the problem did not result in a culinary feast, this example reveals two crucial features of problem solving. First, a problem exists when a goal must be achieved and the solution is not immediately obvious. Second, problem solving often involves attempting different ways to solve the problem. Put more formally, a problem has four components. First, there is an initial state. This is the person's state of knowledge at the start of a problem. Second, there is the goal state: the goal that the person wishes to achieve. Third are the actions or operations that the problem‐solver can use to get to the goal state. Fourth is the task environment that the solver is working in. The task environment consists of the features of the physical environment that can either directly or indirectly constrain or suggest different ways of solving a problem. I will sketch out the main currents of thinking in research in this area, beginning by reviewing the history of research on problem solving and then focusing on a number of important issues in problem‐solving research. Finally, I will give an overview of some recent developments. (shrink)

The diverse number of N-space theories and the unrestrained growth of the number of spaces within the multiple space models has incurred general skepticism about the new search space variants within the search space paradigm of psychology. I argue that any N-space theory is computationally equivalent to a single space model. Nevertheless, the N-space theories may explain the systematic behavior of human problem solving better than the original one search space theory by identifying relationships between the tasks that (...) occur in problem solving. These tasks are independent of the particular process and may not be explicitly represented by the problem solver. N-space theorists seem to overlook their own reason for distinguishing N-space theories from single space models, namely the presupposition that these tasks must have a unified, underlying search space architecture. This assumption is ill-founded and may implement a procedural restraint that could impede psychological research. (shrink)

© British Society of Aesthetics 2017. Published by Oxford University Press on behalf of the British Society of Aesthetics. All rights reserved. For Permissions, please email: [email protected] essays collected in Fictional Characters, Real Problems: The Search for Ethical Content in Literature present unique perspectives on the representation of ethical concerns in literature. Edited by Garry L. Hagberg, these essays address different ways that ethical and aesthetic concerns are interwoven in works of long-form literature such as novels and theatrical works. The (...) majority of these essays also support a related claim: due to their long-form nature, these types of literary works provide a reader with ethical perspectives that are both more holistic and nuanced than is possible in typical philosophical thought experiments. Long-form literature affords the time and space to show us the breadth and depth of both our ethical motivations and their consequences.Hagberg has divided this work into... (shrink)

Understanding how look-ahead search and pattern recognition interact is one of the important research questions in the study of expert problem solving. This paper examines the implications of the template theory Gobet & Simon, 1996a , a recent theory of expert memory, on the theory of problem solving in chess. Templates are chunks Chase & Simon, 1973 that have evolved into more complex data structures and that possess slots allowing values to be encoded rapidly. Templates may facilitate search (...) in three ways: a by allowing information to be stored into LTM rapidly; b by allowing a search in the template space in addition to a search in the move space; and c by compensating loss in the minds eye due to interference and decay. A computer model implementing the main ideas of the theory is presented, and simulations of its search behaviour are discussed. The template theory accounts for the slight skill difference in average depth of search found in chess players, as well as for other empirical data. (shrink)

Searching through semantic memory may involve the use of several retrieval cues. In a verbal fluency task, the set of available cues is limited and every candidate word is a target. Individuals exhibit clustering behavior as predicted by optimal foraging theory. In another semantic search task, the remote associates task, three cues are presented and a single target word has to be found. Whereas the task has been widely studied as a task of creativity or insight problem solving, (...) in this article, the RAT is treated as a semantic retrieval task and assessed from the perspective of information foraging theory. Experiments are presented that address the superadditive combination of cues and the anti-clustering behavior in the recall sequence. A new type of search behavior in the RAT is put forward that involves maximizing the difference in activation between target and distractors. This type of search is advantageous when the target is weak and cue patches are contaminated with strong competitors. (shrink)

In the course of daily life we solve problems often enough that there is a special term to characterize the activity and the right to expect a scientific theory to explain its dynamics. The classical view in psychology is that to solve a problem a subject must frame it by creating an internal representation of the problem’s structure, usually called a problem space. This space is an internally generable representation that is mathematically identical to a graph structure (...) with nodes and links. The nodes can be annotated with useful information, and the whole representation can be distributed over internal and external structures such as symbolic notations on paper or diagrams. If the representation is distributed across internal and external structures the subject must be able to keep track of activity in the distributed structure. Problem solving proceeds as the subject works from an initial state in mentally supported space, actively constructing possible solution paths, evaluating them and heuristically choosing the best. Control of this exploratory process is not well understood, as it is not always systematic, but various heuristic search algorithms have been proposed and some experimental support has been provided for them. (shrink)

Some regularities enjoy only an attenuated existence in a body of training data. These are regularities whose statistical visibility depends on some systematic recoding of the data. The space of possible recodings is, however, infinitely large – it is the space of applicable Turing machines. As a result, mappings that pivot on such attenuated regularities cannot, in general, be found by brute-force search. The class of problems that present such mappings we call the class of “type-2 problems.” Type-1 problems, by (...) contrast, present tractable problems of search insofar as the relevant regularities can be found by sampling the input data as originally coded. Type-2 problems, we suggest, present neither rare nor pathological cases. They are rife in biologically realistic settings and in domains ranging from simple animat behaviors to language acquisition. Not only are such problems rife – they are standardly solved! This presents a puzzle. How, given the statistical intractability of these type-2 cases, does nature turn the trick? One answer, which we do not pursue, is to suppose that evolution gifts us with exactly the right set of recoding biases so as to reduce specific type-2 problems to type-1 mappings. Such a heavy-duty nativism is no doubt sometimes plausible. But we believe there are other, more general mechanisms also at work. Such mechanisms provide general strategies for managing problems of type-2 complexity. Several such mechanisms are investigated. At the heart of each is a fundamental ploy – namely, the maximal exploitation of states of representation already achieved by prior, simpler learning so as to reduce the amount of subsequent computational search. Such exploitation both characterizes and helps make unitary sense of a diverse range of mechanisms. These include simple incremental learning, modular connectionism, and the developmental hypothesis of “representational redescription”. In addition, the most distinctive features of human cognition – language and culture – may themselves be viewed as adaptations enabling this representation/computation trade-off to be pursued on an even grander scale. (shrink)

Why do most of us consider ourselves free but also believe there is little we can change in the way the world is run - individually, severally, or even collectively? Why has the growth of individual freedom coincided with the growth of collective impotence? Bauman argues that this condition hangs on the agora - the space where private and public meet to seek the creation of 'public good', a 'just society', or 'shared values'. The problem is that little remains (...) of such old style spaces. We cannot, he argues, overcome our collective impotence without resorting to politics and using the vehicle of political agency. Three orientation points for a reconstruction of politics are suggested: the republican model of the state and of citizenship, basic income as a universal entitlement, and re-enabling the institutions of autonomous society by catching up with the controlling extraterritorial powers in an age of globalization. (shrink)

Many searches are needle-in-the-haystack problems, looking for small targets in large spaces. In such cases, blind search stands no hope of success. Success, instead, requires an assisted search. But whence the assistance required for a search to be successful? To pose the question this way suggests that successful searches do not emerge spontaneously but need themselves to be discovered via a search. The question then naturally arises whether such a higher-level “search for a search” is any easier than the (...) original search. We prove two results: (1) The Horizontal No Free Lunch Theorem, which shows that average relative performance of searches never exceeds unassisted or blind searches. (2) The Vertical No Free Lunch Theorem, which shows that the difficulty of searching for a successful search increases exponentially compared to the difficulty of the original search. (shrink)

Some regularities enjoy only an attenuated existence in a body of training data. These are regularities whose statistical visibility depends on some systematic recoding of the data. The space of possible recodings is, however, infinitely large type-2 problems. they are standardly solved! This presents a puzzle. How, given the statistical intractability of these type-2 cases, does nature turn the trick? One answer, which we do not pursue, is to suppose that evolution gifts us with exactly the right set of recoding (...) biases so as to reduce specific type-2 problems to (tractable) type-1 mappings. Such a heavy-duty nativism is no doubt sometimes plausible. But we believe there are other, more general mechanisms also at work. Such mechanisms provide general (not task-specific) strategies for managing problems of type-2 complexity. Several such mechanisms are investigated. At the heart of each is a fundamental ploy representational redescription language and culture – may themselves be viewed as adaptations enabling this representation/computation trade-off to be pursued on an even grander scale. (shrink)

In the course of daily life we solve problems often enough that there is a special term to characterize the activity and the right to expect a scientific theory to explain its dynamics. The classical view in psychology is that to solve a problem a subject must frame it by creating an internal representation of the problem‘s structure, usually called a problem space. This space is an internally generable representation that is mathematically identical to a graph structure (...) with nodes and links. The nodes can be annotated with useful information, and the whole representation can be distributed over internal and external structures such as symbolic notations on paper or diagrams. If the representation is distributed across internal and external structures the subject must be able to keep track of activity in the distributed structure. Problem solving proceeds as the subject works from an initial state in this mentally supported space, actively construction possible solution paths, evaluating them and heuristically choosing the best. Control of this exploratory process is not well understood, as it is not always systematic, but various heuristic search algorithms have been proposed and some experimental support has been provided for them. (shrink)

In Search of a Theory of Everything is an adventurous journey in space and time in search of a unified "theory of everything" (TOE) by means of a rare and agile interplay between the natural philosophies of influential ancient Greek thinkers and the laws of modern physics. For a TOE, all the phenomena of nature share a subtle underlying commonality and are explainable by a single overarching immutable principle. Reading the past for what it is, is of tremendous value, but (...) so is its reading from the perspective of modern knowledge. Not to judge it for its flaws but to be inspired by its insights. This comparative study of the universe is the spirit of In Search of a Theory of Everything-to physics through philosophy, to the new via the old, and in a balanced way. A relatively "easier" analysis of nature, that of a major natural philosopher of antiquity, commences every chapter to fasten the bedrock for the more complex. The transition into the more complicated views of modern physics is gradual and systematic, entwining finely the two, the ancient with the new, the forgotten with the current, by unfolding a history and a philosophy of science, and connecting all the great feats of the mind and time. Those philosophers had ideas that resonate with aspects of modern science; puzzles that still baffle; and rationales that can be used to reassess completely anew fundamental but competing principles of modern physics, even to speculate about open physics problems. In Search of a Theory of Everything is a new kind of sight, is a philosophical insight of modern physics. (shrink)

Perception and conceptualization of space are some of the most basic elements of human cognition. It has been long assumed that human spatial thinkingand frames of reference used to grasp and describe the location of an object in relation to other objects are of universal nature and so are projected in naturallanguages in basically the same manner; three principal dimensions in egocentric perceptual space were distinguished: up-down, front-back and left-right, reflecting our biological make-up. If differences in spatial terminology were observed, (...) they were relegated to surface structure phenomena, but were not regarded as differences in perceptual and conceptual representations in the human mind. That belief in the universal perception of spatial relations among humans was ofconsiderable importance for some philosophical theories, also for Husserl’s conception of the Lebenswelt a priori and his defence of the validity of scientificpropositions and of absolute truth. It now appears that the extent of the diversity in spatial thinking has been drastically underestimated (Levinson 2003), but it does not follow that Husserl’s intuitions regarding the existence of universal constituents in incompatible Lebenswelt experiences were necessarily wrong. (shrink)

Law search is fundamental to legal reasoning and its articulation is an important challenge and open problem in the ongoing efforts to investigate legal reasoning as a formal process. This Article formulates a mathematical model that frames the behavioral and cognitive framework of law search as a sequential decision process. The model has two components: first, a model of the legal corpus as a search space and second, a model of the search process that is compatible with that environment. (...) The search space has the structure of a “multi-network”—an interleaved structure of distinct networks—developed in earlier work. In this Article, we develop and formally describe three related models of the search process. We then implement these models on a subset of the corpus of U.S. Supreme Court opinions and assess their performance against two benchmark prediction tasks. The first is to predict the citations in a document from its semantic content. The second is to predict the search results generated by human users. For both benchmarks, all search models outperform a null model with the learning-based model outperforming the other approaches. Our results indicate that through additional work and refinement, there may be the potential for machine law search to achieve human or near-human levels of performance. (shrink)

This paper examines the concept of ecological citizenship by looking at two sets of arguments. Those justifying the concept itself, and those criticizing the need to devise a new concept of citizenship and political community in relation to ecological problems. The paper argues for a shift in focus: instead of searching for a new concept of citizenship, we should adopt a different perspective capable of capturing the explanatory potentials of citizenship-related notions - especially citizenship action and political space in (...) which it is constituted - in the context of contemporary global ecological problems. (shrink)

This article argues that late Heidegger’s analyses of the Fourfold can be used as a methodological starting point for discourse analyses. It argues that the Fourfold points out elements or foundations of discursive structures that orient us to differing, and to some extent opposing, directions that are at the same time mutually interdependent. A discursive analysis of how the Fourfold is at play in prevailing discursive exchanges and structures will thus be a matter of situating ourselves in a conceptual space (...) beyond existing practices and structures, from which we get a picture of their inadequacies. As such, the article contributes to a critical understanding of discourse analysis. It will be argued that through understanding the Fourfold, we can better understand the problems with various aspects of ‘measuring’, which are founded upon the (concealed) instability of elements of the Fourfold – which shapes practical discursive engagements. By foregrounding this structural instability we can approach it critically. I demonstrate how this approach might be used in an analysis of a debate between Greta Thunberg and Bjørn Lomborg. (shrink)

Purpose. The research is devoted to the analysis of the urgent problem of the information society: the overload of a person with information and, as a result, the impossibility of adequate formation and development of the personality; as well as the problem of "digitization" of human existence and the formation of a new reality of dataism. Theoretical basis. A lot of modern scientific works are devoted to the analysis of the information society, its problems and features. The information (...) society is a logical continuation of the scientific and technological revolution, which led to the rapid growth of scientific knowledge and the technology development. In the 20th century, technologies have touched the sphere of knowledge and information, as a result of which the formation and development of the information society, or "knowledge society", takes place. Information becomes the main resource in it, and, one way or another, a person’s life is inextricably connected with the information space. With the information society formation, the problem of information search and processing becomes one of the most urgent. It turns out that despite the abundance and availability of information, it is very difficult to determine its relevance. A lot of effort is spent on developing information retrieval algorithms. Another problem is related to the person’s inability to process large amounts of data. This situation begins to influence not only the education process and professional activity, but also the formation of a person’s personality. A person is "lost" in the information space and gradually loses his/her "I". Algorithms for data analysis come to the rescue, but gradually, instead of giving a person material for thought, they begin to make decisions on their own, and therefore, live life instead of a person. With the advent of Big Data processing algorithms, a new ideological paradigm appears – dataism, which predicts the merger of a person with the general data flow. Originality. The authors make assumptions that the dataistic future is "natural". A lot of works, including in the framework of philosophy, are focused on the problem of "dissolving" a person in the information space and finding ways to overcome it. But, in our opinion, this process is a completely logical continuation of human evolution. Conclusions. Existence of a person as a data flow is not a problem and a threat, but a new dimension of his/her being, and, therefore, requires a careful study and formulation of the main principles of this form of existence. (shrink)

This introduction to one of the liveliest and most popular fields in philosophy is written specifically for a beginning readership with no background in philosophy or science. Step-by-step analyses of the key arguments are provided and the philosophical heart of the issues is revealed without recourse to jargon, maths, or logical formulas. The book introduces Einstein's revolutionary ideas in a clear and simple way, along with the concepts and arguments of philosophers, both ancient and modern that have proved of lasting (...) value. Specifically, the theories of the ancient Greek philosophers, Zeno, Euclid and Parmenides are considered alongside the ideas of Newton, Leibniz and Kant as well as the giants of twentieth-century physics, Einstein and Lorentz. The problems at the heart of the philosophy of space and time, such as change, motion, infinity, shape, and inflation, are examined and the seismic impact made by relativity theory and quantum theory is assessed in the light of the latest research. The writing is lucid and entertaining, allowing a beginning readership to grasp some difficult concepts while offering the more experienced reader a succinct and illuminating presentation of the state of the debate. "Space, Time and Einstein" shows the reader the excitement of scientific discovery and the beauty of theory in the search for answers to these fundamental questions. (shrink)

Introduction. Modernism as a culture -- Culture and cognition -- Culture, mythology, politics -- Culture, community, cartography -- Cultural spaces and their travelers -- The toponymical labyrinth of Russian modernist culture. Early Russian modernism and its "isms" ; The Russian domestication of the term Modernism ; New names, old problems ; Politics and cultural toponymy ; Naming the field -- The errant compass rose of Russian modernist studies. Realism as a cardinal direction ; Tradition and innovation as cardinal directions (...) -- Russian modernism in time and space. The myth of 1917 ; Culture and border patrol ; Putting late Russian modernism on the map ; Chronologies of Russian modernism -- Navigating Russia's cultures of modernity. The intelligentsia and the two avant-gardes ; The two avant-gardes and mass culture -- Russian modernism in the cultural market. The economics of Russian cultural modernity ; The formalist writer-type and the evolving institution of authorship ; The political economy of Russian modernism -- Conclusion. (shrink)

The study of information based on the approach of Shannon was detached from problems of meaning. Also, it did not allow analysis of the structural characteristics of information, nor describe the way structures carry information. An outline of a different theory of information, including its semantics, was earlier proposed by the author. This theory was using closure spaces to model information. In the present paper, structures (called syllogistics) underlying syllogistic reasoning as well as ethnoscientific classifications are identified together with (...) the conditions for the lattice of closed subsets describing information to allow its existence. The structures can be used for logical analysis outside of language at the more general level of information, which in turn can be applied to the description of semantic relations in the context of information. (shrink)

This paper examines the concept of ecological citizenship by looking at two sets of arguments. Those justifying the concept itself, and those criticizing the need to devise a new concept of citizenship and political community in relation to ecological problems. The paper argues for a shift in focus: instead of searching for a new concept of citizenship, we should adopt a different perspective capable of capturing the explanatory potentials of citizenship-related notions - especially citizenship action and political space in (...) which it is constituted - in the context of contemporary global ecological problems. (shrink)

Community search is a query-oriented variant of community detection problem, and the goal is to retrieve a single community from a given set of nodes. Most of the existing community search methods adopt handcrafted features, so there are some limitations in applications. Our idea is motivated by the recent advances of node embedding. Node embedding uses deep learning method to obtain feature representation of nodes directly from graph structure automatically and offers a new method to measure the distance between (...) two nodes. In this paper, we propose a two-stage community search algorithm with a minimum spanning tree strategy based on node embedding. At the first stage, we propose a node embedding model NEBRW and map nodes to the points in a low-dimensional vector space. At the second stage, we propose a new definition of community from the distance viewpoint, transform the problem of community search to a variant of minimum spanning tree problem, and uncover the target community with an improved Prim algorithm. We test our algorithm on both synthetic and real-world network datasets. The experimental results show that our algorithm is more effective for community search than baselines. (shrink)

It is widely appreciated that the difficulty of a particluar computation varies according to how the input data are presented. What is less understood is the effect of this computation/representation tradeoff within familiar learning paradigms. We argue that existing learning algoritms are often poorly equipped to solve problems involving a certain type of important and widespread regularity, which we call 'type-2' regularity. The solution in these cases is to trade achieved representation against computational search. We investigate several ways in which (...) such a trade-off may be pursued including simple incremental learning, modular connectionism, and the developmental hypothesis of 'representational redescription'. In addition, the most distinctive features of human cognition- language and culture- may themselves be viewed as adaptions enabling this representation/computation trade-off to be pursued on an even grander scale. (shrink)

In this paper, we consider three different search strategies for a cut-free sequent system formalizing orthologic, and estimate the respective search spaces. Applying backward search, there are classes of formulae for which both the minimal proof length and the search space are exponential. In a combined forward and backward approach, all proofs are polynomial, but the potential search space remains exponential. Using a forward strategy, the potential search space becomes polynomial yielding a polynomial decision procedure for orthologic and the (...) word problem for free ortholattices. (shrink)

In this paper, we consider three different search strategies for a cut-free sequent system formalizing orthologic, and estimate the respective search spaces. Applying backward search, there are classes of formulae for which both the minimal proof length and the search space are exponential. In a combined forward and backward approach, all proofs are polynomial, but the potential search space remains exponential. Using a forward strategy, the potential search space becomes polynomial yielding a polynomial decision procedure for orthologic and the (...) word problem for free ortholattices. (shrink)

Particle Swarm Optimization is an excellent population-based optimization algorithm. Meanwhile, because of its inspiration source and the velocity update feature, it is also widely used in the collaborative searching tasks for swarm robotics. One of the PSO-based models for robotic swarm searching tasks is Robotic PSO. It adds additional items for obstacle avoidance into standard PSO and has been applied to many single-target search tasks. However, due to PSO’s global optimization characteristics, it is easy to converge to a (...) specific position in the search space and lose the ability to explore further. When faced with the problem of multitarget searching, it may become inefficient or even invalid. This paper proposes an Exploration Enhanced Robotic PSO method for multitarget searching problems for robotic swarms. The proposed method modifies the third item in the RPSO as an additional attraction term. This item not only enables the robot to avoid collisions but also guides the swarm to search unexplored regions as much as possible. This operation increases the swarm’s task-specific diversity, making the system cover a broader search area and avoid falling into local optimums. Besides, the aggregation degree and evolution speed factors are also included in determining the inertia weight of the proposed method, which adjusts the swarm’s internal diversity dynamically. The comparison results show that this method can balance the relationship between exploration and exploitation well, which has the potential to be applied to multitarget searching scenarios. (shrink)

We discuss the following problems, plaguing the present search for the “final theory”: (1) How to find a mathematical structure rich enough to be suitably approximated by the mathematical structures of general relativity and quantum mechanics? (2) How to reconcile nonlocal phenomena of quantum mechanics with time honored causality and reality postulates? (3) Does the collapse of the wave function contain some hints concerning the future quantum gravity theory? (4) It seems that the final theory cannot avoid the problem (...) of dynamics, and consequently the problem of time. What kind of time, if this theory is supposed to be background free? (5) Will the dynamics of the “final theory” be probabilistic? Quantum probability exhibits some essential differences as compared with classical probability; are they but variations of some more general probabilistic measure theory? (6) Do we need a radically new interpretation of quantum mechanics, or rather an entirely new theory of which the present quantum mechanics is an approximation? (7) If the final theory is to be background free, it should provide a mechanism of space-time generation. Should we try to explain not only the generation of space-time, but also the generation of its material content? (8) As far as the existence of the initial singularity is concerned, one usually expects either “yes” or “not” answers from the final theory. However, if the mathematical structure of the future theory is supposed to be truly more general that the mathematical structures of the present general relativity and quantum mechanics, is a “third answer“ possible? Could this third answer be related to the probabilistic character of the final theory? We discuss these questions in the framework of a working model unifying gravity and quanta. The analysis reveals unexpected aspects of these rather wildly discussed issues. (shrink)

Ethical issues that arise because of the transcendent power of globally oriented corporate entities vis-a-vis local communities. Common problems arise from plant closings and automation, here illustrated by cases of restructuring in Indiana. Public use limitations on "eminent domain" decisions are considered. Then attention turns to the lack of constraints available to regulate decisions made by a transnational corporation. Limited applicability of Rawls's contract theory is noted, then ten real-world space-time situations are reported that involve legally uncontrolled harm to locals (...) due to supra-community control by a corporation. (shrink)

Any attempt to trace the origin of Greek philosophy faces two complementary problems. One is the fact that evidence for the early philosophers is woefully meager. The other problem raises a question of what is to be counted as philosophy. Yet neither problem is insuperable. This article proposes to reorient the search for origins in two ways, corresponding to these two problems. First, rather than trying to reconstruct vanished work directly, this article focuses on a crucial stage in (...) its ancient reception, in particular, the efforts by Aristotle and his colleagues in the latter half of the fourth century to collect, analyze, and assess the evidence then available for earlier attempts to understand the natural world. The other shift in focus this article makes is from philosophy to science; or rather, it focuses on evidence for the interplay between observation, measurement, and explanation in the work of three sixth-century Milesians. (shrink)

The paper starts by setting the stage for two perennial pairs of problems about the receptacle: “metaphysics / physics” and “matter / space”. Then it provides a close reading of 49a6-50a4 that reinforces the reconstructionist interpretation, but also deviates from Cherniss in some respect. When applying the proposals Plato makes in 49a6-50a4, it reveals a Plato in search of a feature-placing language or language without particulars : though not formulating it himself, Plato provides all necessary material for doing so. Having (...) argued ex negativo and against the exclusivity-thesis regarding the first debate about the receptacle, the paper offers a new piece of evidence for the space interpretation of the receptacle—though not breaking new ground—because my LWOP thesis presupposes the interpretation of the receptacle as space and argues against the material-substrate reading. Throughout the paper, I have consciously operated with a less Aristotle-centered framework than those most often applied, a procedure that does justice to Plato’s different ontology and semantics of the sensible phenomena. My Plato does not pave the way to Aristotle in this passage because he does not wish to do so. (shrink)

Theories of skill acquisition have made radically different predictions about the role of general problem‐solving methods in acquiring rules that promote effective transfer to new problems. Under one view, methods that focus on reaching specific goals, such as means‐ends analysis, are assumed to provide the basis for efficient knowledge compilation (Anderson, 1987), whereas under an alternative view such methods are believed to disrupt rule induction (Sweller, 1988). We suggest that the role of general methods in learning varies with both (...) the specificity of the problem solver's goal and the systematicity of the strategies used for testing hypotheses about rules. In the absence of a specific goal people are more likely to use a rule‐induction learning strategy, whereas provision of a specific goal fosters use of difference reduction, which tends to be a non‐rule‐induction strategy. We performed two experiments to investigate the impact of goal specificity and systematicity of rule‐induction strategies in learning and transfer within a complex dynamic system. The results of Experiment 1 indicated that during free exploration of a problem space, greater learning occurred if participants adopted more systematic strategies for rule induction, and that participants come to favor such strategies. Experiment 2 revealed that participants who were provided with a specific goal performed well on the initial problem but were impaired on a transfer test using a similar problem with a different goal. Instruction on a systematic rule‐induction strategy facilitated solution for both the initial and transfer problems, but participants' use of this strategy declined if they had a specific goal. Our results support Sweller's (1988) proposal that general problemsolving methods applied to a specific goal foster acquisition of knowledge about an isolated solution path but do not provide an effective way of learning the overall structure of a problem space. We interpret these results in terms of dualspace theories of search through problem space. (shrink)

Intelligent mental representations of physical, cognitive and social environments allow humans to navigate enormous search spaces, whose sizes vastly exceed the number of neurons in the human brain. This allows us to solve a wide range of problems, such as the Traveling Salesperson Problem, insight problems, as well as mathematics and physics problems. As an area of research, problem solving has steadily grown over time. Researchers in Artificial Intelligence have been formulating theories of problem solving for (...) the last 70 years. Psychologists, on the other hand, have focused their efforts on documenting the observed behavior of subjects solving problems. This book represents the first effort to merge the behavioral results of human subjects with formal models of the causative cognitive mechanisms. The first coursebook to deal exclusively with the topic, it provides a main text for elective courses and a supplementary text for courses such as cognitive psychology and neuroscience. (shrink)

A problem is a situation in which an agent seeks to attain a given goal without knowing how to achieve it. Human problem solving is typically studied as a search in a problem space composed of states (information about the environment) and operators (to move between states). A problem such as playing a game of chess has possible states, and a traveling salesperson problem with as little as 82 cities already has more than different tours (...) (similar to chess). Biological neurons are slower than the digital switches in computers. An exhaustive search of the problem space exceeds the capacity of current computers for most interesting problems, and it is fairly clear that humans cannot in their lifetime exhaustively search even small fractions of these problem spaces. Yet, humans play chess and solve logistical problems of similar complexity on a daily basis. Even for simple problems humans do not typically engage in exploring even a small fraction of the problem space. This begs the question: How do humans solve problems on a daily basis in a fast and efficient way? Recent work suggests that humans build a problem representation and solve the represented problem—not the problem that is out there. The problem representation that is built and the process used to solve it are constrained by limits of cognitive capacity and a cost–benefit analysis discounting effort and reward. In this article, we argue that better understanding the way humans represent and solve problems using heuristics can help inform how simpler algorithms and representations can be used in artificial intelligence to lower computational complexity, reduce computation time, and facilitate real-time computation in complex problem solving. (shrink)

One way to learn about the world is by asking questions. We investigate how younger children (7- to 8-year-olds), older children (9- to 11-year-olds), and young adults (17- to 18-year-olds) ask questions to identify the cause of an event. We find a developmental shift in children’s reliance on hypothesis-scanning questions (which test hypotheses directly) versus constraint-seeking questions (which reduce the space of hypotheses), but also that all age groups ask more constraint-seeking questions when hypothesis-scanning questions are least likely to pay (...) off: When the solution is one among equally likely alternatives (Study 1) or when the problem is difficult (Studies 1 and 2). These findings are the first to demonstrate that even young children dynamically adapt their strategies for inquiry to increase the efficiency of information search. (shrink)

Introduction. According to the well-established opinion of specialists in social sciences and humanities, a person diffracts his selves in the modern world: real spaces (professions, statuses) and virtual (accounts, profiles). In the diffraction of a person through spaces of different order, each “new” self acquires relative autonomy (a trace of the self in the network, which is present regardless of the attitude to it), and at the same time there remains the connection that, as it were, keeps the (...) self with his digital images and “prints”. The main questions of the article are: in what relation and in relation to what is it possible to talk about the identity of a modern person; what fundamentally significant do the researches on human identity give us today; what do those who ask questions about personal identity in the digital age focus their attention on? In order to answer these questions, let us turn to scientific articles from domestic and foreign journals. This article presents the analytics of publications from Scopus and RSCI databases, in which the problem of personal identity is posed. The purpose of the article is to analyze scientific publications on human identity and summarize the main ideas presented in those publications. Methods. The research is based on general scientific methods, analysis and synthesis, induction, deduction, and abstraction. The author analyzes scientific publications on the basis of the interpretation method and a systematic approach method. Content analysis was used as a method, but it was used within the scope of the purpose. The publications were selected on the basis of the authors’ research of various aspects of identity and the difference in interpreting the phenomenon. Results. Analysis of Scopus publications made it possible to assert that the problem of identity is moving out of the anthropological context and acquiring new technical and technological frameworks (for example, scholars are raising the problem of the digital data identity, digital identification in the context of online transactions). At the same time, the anthropological view of identity remains. It is found for instance in the context of narratives, texts of a person about self that are posted on the Internet. In this context, the concept of “Person Life View” (M. Schechtman) is presented as a variant of a person’s holistic view of the self. The analysis of domestic publications makes it possible to conclude that representatives of social sciences and humanities in their research strive to overcome the dynamic view of a person (dissolving of identity or an absent self), are in search of models of “stability” of identity. Conclusion. Posing the question about the personal identity of a modern person, it seems that the border between the directly human (consciousness and body, for example) and the technical and technological (the Internet and the objective world) is becoming more and more destabilized every day. This predetermines the direction of the research. Contemporary scholars, who publish the results of their work in journals included in scientific databases, are faced not only with the problem of substantiating human identity as a theoretical concept that reflects the modern situation, but also with the problem of finding models in which a person is able to embody the idea of “stability” of identity in the everyday life. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 25.1 (2001) 171-173 [Access article in PDF] Book Review Literary Lives: Biography and the Search for Understanding Literary Lives: Biography and the Search for Understanding, by David Ellis; ix & 195 pp. New York: Routledge, 2000, $35. In his discussion of biography as a form, Ellis points to his study as a response to the scarcity of "monographs on biography... and [that] none of them are (...) particularly satisfactory" (p. 2). He further points out that "the comparative dearth of analytic enquiry into biography is surprising" (p. 3). In short, his first pages get off to a rocky start in their tatty justification of a critical study. Though a critic of D. H. Lawrence, Ellis uses the English writer sparingly, pointing out in his "Preface" what he feels is a need "to keep illustration involving Lawrence to a decent minimum" (p. viii) while concentrating on those problems which face the biographer. That said, he sets about to characterize biography as an integration of "a disinterested enthusiasm for information... [fashioning a]... compelling story in which many details with no direct relevance to the life of his subject can be considered as contributing successfully to a period atmosphere" (p. 35). Ellis is thinking specifically of Norman Sherry's biography of Graham Greene through which he has brought to the discussion his intent of pointing to an approach which concerns itself with chapters on "Ancestors," "Primal Scenes," "Body Matters," "the Sociological [End Page 171] Imagination," "History, Chance and Self-determination," "Compatibility, Sartre and Long Biographies." All are aspects of biography.As well as the approach he suggests by these areas of concentration, Ellis draws broadly from many subjects of biography, always keeping a critical eye on its form. Anne Stevenson's approach "is towards psychological determinism" (p. 135); Ackroyd in his biography of Dickens raises "through a degree of intellectual play" the questions of when "lineage" is appropriate, that is, the extent to which it has any productive consequence. He also uses Hawthorne and Virginia Woolf as examples. Writing of the role of the historian raises difficulties for writers creating biographies from such an early period as that of Chaucer; Ellis points to Derek Pearsall's "excellent Life of Geoffrey Chaucer" (p. 121).Ellis neither can nor should ignore Lawrence and what better chapter to include him in than "Body Matters" in its concentration on illness. Here Ellis draws on Lawrence's concern with the harm of his health on his work (p. 78). He also considers Flaubert, Sartre, and Woolf. Briefly he mentions Stendhal's imagination of his "future audience" after his death (p. 109), sensibly rejects the long ago depleted and so, parenthetically, apparently permanent speculation on what Keats's might have become had he lived a full life "in a time of drugs for treatment of tuberculosis" (p. 123) and the equally mined issue of what prompted Hemingway's suicide (pp. 132-33). Certainly he is aware of the danger that such a use of material may pander to the pleasure of mere name-hunters (what if there were no index!). At the same time, if the effect of his range of examples invites additions of our own, while keeping before us that his study is about biography as form, it is successful.In "Primal Scenes," the fourth chapter of his book, Ellis gives what he feels is necessary space to Freud, the creator of the term. He points to Wordsworth's "spots of time" as only one indication of the difficulty--if not impossibility--of capturing biographically those moments in childhood by which the individual written about might be defined (p. 57). (Such an impossibility should not be surprising to those of us readers who recognize the nearly impossible task for ourselves in our own lives.) Surely both the biographer and autobiographer share this ignorance and frustration. In a very interesting move, Ellis points to Compton Mackenzie's discussion of a critical event in his six-year old life surrounding the interruption of an Easter evening with his parents and siblings, interrupted by the arrival of friends. Ellis writes... (shrink)

§1. Introduction.The motivation of this work comes from two different directions: infinite abelian groups, and ordered algebraic structures. A challenging problem in both cases is that of classification. In the first case, it is known for example (cf. [KA]) that the classification of abelian torsion groups amounts to that of reducedp-groups by numerical invariants called theUlm invariants(given by Ulm in [U]). Ulm's theorem was later generalized by P. Hill to the class of totally projective groups. As to the second (...) case, let us consider for instance the class of divisible ordered abelian groups. These may be viewed as ordered ℚ-vector spaces. Their theory being unstable, we cannot hope to classify them by numerical invariants. On the other hand, being o-minimal, the theory enjoys several good model theoretic properties (cf. [P-S]), so the search for some reasonable invariants is well motivated. The common denominator of the two cases, as well as of many others, is valuation theory. Indeed given an ordered vector space, one can consider it as a valued vector space, endowed with the natural valuation. Also, the socleG[p] of a reduced abelianp-groupG, endowed with the height functionhG, is a valued vector space over(the prime field of characteristicp) with values in the ordinals (cf. [F]). (shrink)

The purpose of the study is to reveal the features of the application of event management as a PR tool in the activities of public and business spaces. In this study, the concept of "event management" has been clarified; the role of event management in the activities of public and business spaces has been determined; the use of this tool in the B2B and B2C markets has been studied; a content analysis of the reviews of visitors to the (...) spaces has been carried out in order to determine the problem field and search for ways to improve the effectiveness of event management as a PR tool; a series of expert interviews with the leaders of public and business spaces has been carried out. The scientific novelty lies in the proposed model of event management of the social and business space. As a result, the authors propose three main directions in planning and organizing the activities of public and business spaces: development and implementation of their own projects and events; management of partner projects; management of relations with partners. (shrink)

RésuméDans cet article, l'auteur discute les principes qui ont guidé M. Gonseth dans ses recherches sur la géométrie et le problème de l'espace. M. Gonseth défend la thèse selon laquelle avant de tenter de résoudre le problème de la géométrie, on doit disposer des facultés d'intuition, de déduction et d'une connaissance expérimentale de l'espace.M. Tummers a publié trois brochures sur la géométrie: 1. De Opbouw der Meetkunde ; 2. De Meetkunde en de Ervaring ; 3. Wijsgerige Verantwoording van het Paralelenpostulaat (...) . Il défend la thèse selon laquelle une science dont toute expérience serait bannie ne pourrait pas exister. Dans la troisième de ces brochures, il montre que la proposition des parallèles n'est pas une thèse qui peut ětre déduite, mais un véritable postulat. L'auteur suppose dans sa recherche — exactement comme M. Gonseth — l'expérience ainsi que les facultés d'intuition et de déduction.L'auteur conclut que M. Gonseth, lorsqu'il montre que l'expérience et les facultés d'intuition et de déduction sont indispensables pour la construction de la géométrie, a prouvé une thèse d'une importance fondamentale. L'auteur essaye de construire une géométrie abstraite, mais dirigée par l'expérience, alors que Hilbert introduit une géométrie entièrement abstraite, excluant l'expérience comme instrument de contrǒle.In this article the author discusses the principles leading Mr. Gonseth in his search of geometry and the problem of the space. The following books of Mr. Gonseth are consulted:I. La déduction préalable. II. Les trois aspects de la Géométrie. III. L'Edification axiomatique.Mr. Gonseth argues that—before attempting to solve the problem of geometry—we must avail ourselves of the faculties of intuition and deduction, and of an experimental knowledge of the space.The author Mr. Tummers has published three brochures on geometry:1° De Opbouw der Meetkunde 1941. 2° De Meetkunde en de Ervaring 1949. 3° Wijsgerige Verantwoording van het Paralelenpostulaat 1951.The author defends the thesis that a science from which experience is excluded cannot exist.In the third brochure the author demonstrates that the proposition of the parallels is not a thesis which can be deduced, but a true postulate. The author, exactly as Mr. Gonseth, supposes in his research the experience and the faculties of intuition and deduction.The author concludes that Mr. Gonseth, when defending that experience and the faculties of intuition and deduction are indispensable for the construction of geometry, proves a thesis of great and fundamental importance.The author tries to build up an abstract geometry but directed by experience, Hilbert introduces a geometry, entirely abstract, whereas excluding the experience as instrument of supervision. (shrink)

The pigeon-inspired optimization algorithm is a category of a newly proposed swarm intelligence-based algorithm that belongs to the population-based solution technique. The MKP is a class of complex optimization problems that have many practical applications in the fields of engineering and sciences. Due to the practical applications of MKP, numerous algorithmic-based methods like local search and population-based search algorithms have been proposed to solve the MKP in the past few decades. This paper proposes a modified binary pigeon-inspired optimization algorithm named (...) (Modified-BPIO) for the 0 - 1 multidimensional knapsack problem (MKP). The utilization of the binary pigeon-inspired optimization (BPIO) for solving the multidimensional knapsack problem came with huge success. However, it can be observed that the BPIO converges prematurely due to lost diversity during the search activities. Given the above, the crossover operator is integrated with the landmark component of the BPIO to improve the diversity of the solution space. The MKP benchmarks from the Operations Research (OR) library are utilized to test the performance of the proposed binary method. Experimentally, it is concluded that the proposed Modified-BPIO has a better performance when compared with the BPIO and existing state-of-the-arts that worked on the same MKP benchmarks. (shrink)