The comment addresses central issues of a "theory theory" approach as exemplified in Gopnik' and Goldman's BBS-articles. Gopnik, on the one hand, tries to demonstrate that empirical evidence from developmental psychology supports the view of a "theory theory" in which common sense beliefs are constructed to explain ourselves and others. Focusing the informational processing routes possibly involved we would like to argue that his main thesis (e.g. idea of intentionality as a cognitive construct) lacks support at least for two reasons: (...) one methodological and one structural. On the other hand, Goldman raises an important question when he is asking how people ascribe mental states to themselves. Reasons why Goldman's attempt to understand common sense mental representations by using an analogy from visual perception is problematic are discussed. The role which is attributed to a phenomenology is evaluated. (shrink)

Multiple sciences have converged, in the past two decades, on a hitherto mostly unremarked question: what is observation? Here, I examine this evolution, focusing on three sciences: physics, especially quantum information theory, developmental biology, especially its molecular and “evo-devo” branches, and cognitive science, especially perceptual psychology and robotics. I trace the history of this question to the late 19th century, and through the conceptual revolutions of the 20th century. I show how the increasing interdisciplinary focus on the process of extracting (...) information from an environment provides an opportunity for conceptual unification, and sketch an outline of what such a unification might look like. (shrink)

In this dissertation, I argue that understanding possesses unique epistemic value. I propose and defend a novel account of understanding that I call the management account of understanding, which is the view that an agent A understands a subject matter S just in case A has the ability to extract the relevant information and exploit it with the relevant cognitive capacities to answer questions in S. Since inquiry is the process of raising and answering questions, I argue that without understanding, (...) it would be impossible to engage in successful inquiry. I argue that understanding is indispensable for effective cognition and that it is irreducible to other epistemic categories, such as knowledge, justification, or rationality. Understanding is an irreducible component of epistemic excellence. In arguing for this account, I focus on the nature and requirements of cognition and pay less attention to intuitions about hypothetical cases, in contrast to previous approaches to understanding. I draw upon psychology and cognitive science, especially work on the frame problem, to demonstrate the importance (and difficulty) of finding relevant information and exploiting it in relevant ways to answer questions. One’s cognitive system must be organized in such a way that one has the ability to think the relevant thoughts in the relevant ways to answer the relevant questions. This reveals well-defined directions in which future research on understanding should move. In addition to proposing and defending the management account of understanding, I explore several features of understanding, including some interesting consequences of the management account. I argue that the management account and commonly used methods of measuring degrees of understanding imply that understanding can be based on false beliefs. I argue that the management account (and any account of understanding that implies understanding is an ability) implies that understanding can be acquired by luck. I also argue that understanding is ontologically prior to explanation: a good explanation is essentially an act that produces understanding in the relevant cognitive background. (shrink)

I have argued elsewhere that non-sentential representations that are the close kin of scale models can be, and often are, realized by computational processes. I will attempt here to weaken any resistance to this claim that happens to issue from those who favor an across-the-board computational theory of cognitive activity. I will argue that embracing the idea that certain computers harbor nonsentential models gives proponents of the computational theory of cognition the means to resolve the conspicuous disconnect between the sentential (...) character of the data structures they posit and the nonsentential qualitative character of our perceptual experiences of corporeal (i.e., spatial, kinematic, and dynamic) properties. Along the way, I will question the viability of some externalist remedies for this disconnect, and I will explain why the computational theory put forward here falls quite clearly beyond the useful bounds of the Chinese-Room argument. (shrink)

Fodor advocates a view of cognitive processes as computations defined over the language of thought (or Mentalese). Even among those who endorse Mentalese, considerable controversy surrounds its representational format. What semantically relevant structure should scientific psychology attribute to Mentalese symbols? Researchers commonly emphasize logical structure, akin to that displayed by predicate calculus sentences. To counteract this tendency, I discuss computational models of navigation drawn from probabilistic robotics. These models involve computations defined over cognitive maps, which have geometric rather than logical (...) structure. They thereby demonstrate the possibility of rational cognitive processes in an exclusively non-logical representational medium. Furthermore, they offer much promise for the empirical study of animal navigation. (shrink)

This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. We encode Pednault's syntax-based solution, Baker's state-minimization policy, and Gelfond & Lifchitz's Action Language A in the propositional dynamic logic (PDL). The formal relationships among these solutions are given. The results of the paper show that dynamic logic, as one of the formalisms for reasoning about dynamic domains, can be used as a formal tool for comparing, analyzing and unifying logics of action.

As many philosophers agree, the frame problem is concerned with how an agent may efficiently filter out irrelevant information in the process of problem-solving. Hence, how to solve this problem hinges on how to properly handle semantic relevance in cognitive modeling, which is an area of cognitive science that deals with simulating human's cognitive processes in a computerized model. By "semantic relevance", we mean certain inferential relations among acquired beliefs which may facilitate information retrieval and practical reasoning under certain epistemic (...) constraints, e. g., the insufficiency of knowledge, the limitation of time budget, etc. However, traditional approaches to relevance—as for example, relevance logic, the Bayesian approach, as well as Description Logic—have failed to do justice to the foregoing constraints, and in this sense, they are not proper tools for solving the frame problem/relevance problem. As we will argue in this paper, Non-Axiomatic Reasoning System (NARS) can handle the frame problem in a more proper manner, because the resulting solution seriously takes epistemic constraints on cognition as a fundamental theoretical principle. (shrink)

This article addresses the perennial picture of the human as rational animal, the nexus of trends undermining the cultural legacy of classical humanism, and the so-called posthumanisms that embrace its dissolution. Against critical posthumanism, which aims to break with humanism entirely, and in contrast to transhumanism, which uncritically inherits certain features of humanism, I outline an alternative – rationalist inhumanism – which critically extracts the inhuman core of humanism by unbinding rationality from animality. I begin by re-examining the history of (...) humanism leading up to the posthuman nexus, in order to highlight the features that can be repurposed by inhumanism. I then weave these features into an outline of a genealogy of reason, encompassing its genesis in, co-evolution with, and eventual liberation from the animal that is Homo sapiens. (shrink)

This paper is concerned with those elements of planning knowledge that are common to both understanding someone else's plan and creating a plan for one's own use. This planning knowledge can be divided into two bodies: Knowledge about the world, and knowledge about the planning process itself. Our interest here is primarily with the latter corpus. The central thesis is that much of the knowledge about the planning process itself can be formulated in terms of higher‐level goals and plans called (...) meta‐goals and meta‐plans. These entities can then be used by the same understanding and planning mechanisms that process ordinary goals and plans. However, the meta‐planning knowledge now enables these mechanisms to handle much more complicated situations in a uniform manner.Systems based on meta‐planning would have a number of advantages over existing problem solving and understanding systems. The same knowledge could be shared by both a planner and understander, and both would be able to handle complex situations elegantly. In addition, in planning, the use of meta‐planning has several advantages over more traditional methods involving constraints or critics. Meta‐planning allows the full power of a problem solver to be applied to situations that are generally amenable only to special purpose processing. In addition, meta‐planning facilitates the representation of some situations that are difficult to express otherwise. We have begun to introduce meta‐planning knowledge into two systems: PAM, a story understanding program, and PANDORA, a problem solving and plannin̈g system. (shrink)

This paper continues a strain of intellectual complaint against the presumptions of certain kinds of formal semantics (the qualification is important) and their bad effects on those areas of artificial intelligence concerned with machine understanding of human language. After some discussion of the use of the term epistemology in artificial intelligence, the paper takes as a case study the various positions held by McDermott on these issues and concludes, reluctantly, that, although he has reversed himself on the issue, there was (...) no time at which he was right. (shrink)

Judgment aggregation studies how to aggregate individual judgments on logically correlated propositions into collective judgments. Different logics can be used in judgment aggregation, for which Dietrich and Mongin have proposed a generalized model based on general logics. Despite its generality, however, all nonmonotonic logics are excluded from this model. This paper argues for using nonmonotonic logic in judgment aggregation. Then it generalizes Dietrich and Mongin’s model to incorporate a large class of nonmonotonic logics. This generalization broadens the theoretical boundaries of (...) judgment aggregation by proving that, even if these nonmonotonic logics are employed, certain typical impossibility results still hold. (shrink)

Here I consider the relative merits of two recent models of explanation, James Woodward's interventionist-counterfactual model and the model model. According to the former, explanations are largely constituted by information about the consequences of counterfactual interventions. Problems arise for this approach because countless relevant interventions are possible in most cases and because it overlooks other kinds of equally relevant information. According the model model, explanations are largely constituted by cognitive models of actual mechanisms. On this approach, explanations tend not to (...) represent any of the aforementioned information explicitly but can instead be used to produce it on demand. The model model thus offers the more plausible account of the information of which we are aware when we have an explanation and of the ratiocinative process through which we derive many kinds of information that are relevant to the evaluation of explanations. (shrink)

Theories concerning the structure, or format, of mental representation should (1) be formulated in mechanistic, rather than metaphorical terms; (2) do justice to several philosophical intuitions about mental representation; and (3) explain the human capacity to predict the consequences of worldly alterations (i.e., to think before we act). The hypothesis that thinking involves the application of syntax-sensitive inference rules to syntactically structured mental representations has been said to satisfy all three conditions. An alternative hypothesis is that thinking requires the construction (...) and manipulation of the cognitive equivalent of scale models. A reading of this hypothesis is provided that satisfies condition (1) and which, even though it may not fully satisfy condition (2), turns out (in light of the frame problem) to be the only known way to satisfy condition (3). (shrink)

Figure 1: A pr ototyp ical exa mple of a three-layer feed forward network, used by Plunkett and M archm an (1 991 ) to simulate learning the past-tense of En glish verbs. The inpu t units encode representations of the three phonemes of the present tense of the artificial words used in this simulation. Th e netwo rk is trained to produce a representation of the phonemes employed in the past tense form and the suffix (/d/, /ed/, or /t/) (...) used on regular verbs. To run the network, each input unit is assigned an activation value o f 0 or 1 , dep ending on whethe r the featu re is present or not. Eac h input unit is conne cted to each of the 30 hidden units by a we ighted conn ection and p rovid es an inp ut to each hidden unit equal to the product of the input unit's activation and the weight. Each hidd en unit's activation is then determined by summing ov er the va lues co ming fro m each inp ut unit to deter mine a netinput, and then applying a non-linear function (e.g., the logistic function 1/(1+e^netinput). Th is whole proced ure is. (shrink)

The development of autonomous, robotic weaponry is progressing rapidly. Many observers agree that banning the initiation of lethal activity by autonomous weapons is a worthy goal. Some disagree with this goal, on the grounds that robots may equal and exceed the ethical conduct of human soldiers on the battlefield. Those who seek arms-control agreements limiting the use of military robots face practical difficulties. One such difficulty concerns defining the notion of an autonomous action by a robot. Another challenge concerns how (...) to verify and monitor the capabilities of rapidly changing technologies. In this article we describe concepts from our previous work about autonomy and ethics for robots and apply them to military robots and robot arms control. We conclude with a proposal for a first step toward limiting the deployment of autonomous weapons capable of initiating lethal force. (shrink)

Explanations of cognitive processes provided by traditional artificial intelligence were based on the notion of the knowledge level. This perspective has been challenged by new AI that proposes an approach based on embodied systems that interact with the real‐world. We demonstrate that these two views can be unified. Our argument is based on the assumption that knowledge level explanations can be defined in the context of Bayesian theory while the goals of new AI are captured by using a well established (...) robot based model of learning and problem solving, called Distributed Adaptive Control (DAC). In our analysis we consider random foraging and we prove that minor modifications of the DAC architecture renders a model that is equivalent to a Bayesian analysis of this task. Subsequently, we compare this enhanced, “rational,” model to its “non‐rational” predecessor and a further control condition using both simulated and real robots, in a variety of environments. Our results show that the changes made to the DAC architecture, in order to unify the perspectives of old and new AI, also lead to a significant improvement in random foraging. (shrink)

A commentary on a target article by Alison Gopnik (1993) How we know our minds: the illusion of first-person knowledge of intentionality. Focusing on evidence of how children acquire a theory of mind, this commentary argues that there are internal inconsistencies in theories that both argue for the functional role of conscious experiences and the irreducibility of those experiences to third-person viewable information processing.

This study addresses the dynamical nature of a “representation‐hungry” cognitive task involving an imagined action. In our experiment, participants were handed rods that systematically increased or decreased in length on subsequent trials. Participants were asked to judge whether or not they thought they could reach for a distant object with the hand‐held rod. The results are in agreement with a dynamical model, extended from Tuller, Case, Ding, and Kelso (1994). The dynamical effects observed in this study suggest that predictive judgments (...) regarding the possibility or impossibility of a certain action can be understood in terms of dynamically evolving basins of attraction instead of as depending on representational structures. (shrink)

The aim of this paper is an attempt to give an answer to the question what does it mean that a computational system is intelligent. We base on some theses that though debatable are commonly accepted. Intelligence is conceived as the ability of tractable solving of some problems that in general are not solvable by deterministic Turing Machine.

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...) of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

Chiappe and Kukla argue that relevance theory fails to solve the frame problem as defined by Fodor. They are right. They are wrong, however, to take Fodor’s frame problem too seriously. Fodor’s concerns, on the other hand, even though they are wrongly framed, are worth addressing. We argue that Relevance thoery helps address them.

Cognitively-oriented theories have dominated the recent history of the study of emotion. However, critics of this perspective suggest the role of the body in the experience of emotion is largely ignored by cognitive theorists. As an alternative to the cognitive perspective, critics are increasingly pointing to William James’ theory, which emphasized somatic aspects of emotions. This emerging emphasis on the embodiment of emotions is shared by those in the field of AI attempting to model human emotions. Behavior-based agents in AI (...) are attempts to model the role the body might play in the experiencing of emotions. Progress in creating such behavior-based models that function in their environments has been slow, suggesting some potential problems with Jamesian alternatives to cognitive perspectives of emotions. Heidegger’s and Merleau-Ponty’s conceptions of embodiment are suggested as alternatives to James’ and as means for addressing the shortcomings of the cognitive perspective. (shrink)

Two standard epistemological accounts are conflated in Dienes & Perner's account of knowledge, and this conflation requires the rejection of their four conditions of knowledge. Because their four metarepresentations applied to the explicit-implicit distinction are paired with these conditions, it follows by modus tollens that if the latter are inadequate, then so are the former. Quite simply, their account misses the link between true reasoning and knowledge.

Since 2002 we have been testing and refining a methodology for ontology development that is now being used by multiple groups of researchers in different life science domains. Gary Merrill, in a recent paper in this journal, describes some of the reasons why this methodology has been found attractive by researchers in the biological and biomedical sciences. At the same time he assails the methodology on philosophical grounds, focusing specifically on our recommendation that ontologies developed for scientific purposes should be (...) constructed in such a way that their terms are seen as referring to what we call universals or types in reality. As we show, Merrill’s critique is of little relevance to the success of our realist project, since it not only reveals no actual errors in our work but also criticizes views on universals that we do not in fact hold. However, it nonetheless provides us with a valuable opportunity to clarify the realist methodology, and to show how some of its principles are being applied, especially within the framework of the OBO (Open Biomedical Ontologies) Foundry initiative. (shrink)

While logical theories of information attitudes, such as knowledge, certainty and belief, have flourished in the past two decades, formalization of other facets of rational behavior have lagged behind significantly. One intriguing line of research concerns the concept of intention. I will discuss one approach to tackling the notion within a logical framework, based on a database perspective.