Motion as manipulation: Implementation of motion and force analogies by event-file binding and action planning\ud

Tool improvisation analogies are a special case of motion and force analogies that appear to be implemented pre-conceptually, in many species, by event-file binding and action planning. A detailed reconstruction of the analogical reasoning steps involved in Rutherford's and Bohr's development of the first quantized-orbit model of atomic structure is used to show that human motion and force analogies generally can be implemented by the event-file binding and action planning mechanism. Predictions that distinguish this model from competing concept-level models of analogy are discussed, available data pertaining to them are reviewed, and further experimental tests are proposed

The Knowledge Level in Cognitive Architectures: Current Limitations and Possible Developments

In this paper we identify and characterize an analysis of two problematic aspects affecting the representational level of cognitive architectures (CAs), namely: the limited size and the homogeneous typology of the encoded and processed knowledge. We argue that such aspects may constitute not only a technological problem that, in our opinion, should be addressed in order to build articial agents able to exhibit intelligent behaviours in general scenarios, but also an epistemological one, since they limit the plausibility of the comparison of the CAs' knowledge representation and processing mechanisms with those executed by humans in their everyday activities. In the final part of the paper further directions of research will be explored, trying to address current limitations and future challenges

Occupational Cultures as a Challenge to Technological Innovation

This paper explains conflict over technological process innovation in cultural terms, drawing primarily on a case study of electric power distribution and strategies to automate its operation

An Introduction to Mechanized Reasoning

Mechanized reasoning uses computers to verify proofs and to help discover new theorems. Computer scientists have applied mechanized reasoning to economic problems but -- to date -- this work has not yet been properly presented in economics journals. We introduce mechanized reasoning to economists in three ways. First, we introduce mechanized reasoning in general, describing both the techniques and their successful applications. Second, we explain how mechanized reasoning has been applied to economic problems, concentrating on the two domains that have attracted the most attention: social choice theory and auction theory. Finally, we present a detailed example of mechanized reasoning in practice by means of a proof of Vickrey's familiar theorem on second-price auctions

Naturalizing Moral Justification: Rethinking the Method of Moral Epistemology

The companion piece to this article, “Situating Moral Justification,” challenges the idea that moral epistemology\u27s mission is to establish a single, all‐purpose reasoning strategy for moral justification because no reasoning practice can be expected to deliver authoritative moral conclusions in all social contexts. The present article argues that rethinking the mission of moral epistemology requires rethinking its method as well. Philosophers cannot learn which reasoning practices are suitable to use in particular contexts exclusively by exploring logical relations among concepts. Instead, in order to understand which reasoning practices are capable of justifying moral claims in different types of contexts, we need to study empirically the relationships between reasoning practices and the contexts in which they are used. The article proposes that philosophers investigate case studies of real‐world moral disputes in which people lack shared cultural assumptions and/or are unequal in social power. It motivates and explains the proposed case study method and illustrates the philosophical value of this method through a case study

Decision Taking for Selling Thread Startup

Decision Taking is discussed in the context of the role it may play for a selling agent in a search market, in particular for agents involved in the sale of valuable and relatively unique items, such as a dwelling, a second hand car, or a second hand recreational vessel. Detailed connections are made between the architecture of decision making processes and a sample of software technology based concepts including instruction sequences, multi-threading, and thread algebra. Ample attention is paid to the initialization or startup of a thread dedicated to achieving a given objective, and to corresponding decision taking. As an application, the selling of an item is taken as an objective to be achieved by running a thread that was designed for that purpose