The ability to anticipate team members' actions enables joint action towards a common goal. Task knowledge and mental simulation allow for anticipating other agents' actions and for making inferences about their underlying mental representations. In human–AI teams, providing AI agents with anticipatory mechanisms can facilitate collaboration and successful execution of joint action. This paper presents a computational cognitive model demonstrating mental simulation of operators' mental models of a situation and anticipation of their behavior. The work proposes two successive steps: (1) (...) A hierarchical cluster algorithm is applied to recognize patterns of behavior among pilots. These behavioral clusters are used to derive commonalities in situation models from empirical data (N = 13 pilots). (2) An ACT-R (adaptive control of thought - rational) cognitive model is implemented to mentally simulate different possible outcomes of action decisions and timing of a pilot. model tracing of ACT-R allows following up on operators' individual actions. Two models are implemented using the symbolic representations of ACT-R: one simulating normative behavior and the other by simulating individual differences and using subsymbolic learning. Model performance is analyzed by a comparison of both models. Results indicate the improved performance of the individual differences over the normative model and are discussed regarding implications for cognitive assistance capable of anticipating operator behavior. (shrink)

In this paper, we argue that symbols are conventional vehicles whose chief function is denotation, while models are epistemic vehicles, and their chief function is to show what their targets are like in the relevant aspects. And we explain why this is incompatible with the deflationary view on scientific modeling. Although the same object may serve both functions, the two vehicles are conceptually distinct and most models employ both elements. With the clarification of this point we offer an alternative (...) account to the deflationary view – the Hybrid Account; and we defend our account in contrast with deflationism. (shrink)

Connectionism and computationalism are currently vying for hegemony in cognitive modeling. At first glance the opposition seems incoherent, because connectionism is itself computational, but the form of computationalism that has been the prime candidate for encoding the "language of thought" has been symbolic computationalism (Dietrich 1990, Fodor 1975, Harnad 1990c; Newell 1980; Pylyshyn 1984), whereas connectionism is nonsymbolic (Fodor & Pylyshyn 1988, or, as some have hopefully dubbed it, "subsymbolic" Smolensky 1988). This paper will examine what is and (...) is not a symbol system. A hybrid nonsymbolic/symbolic system will be sketched in which the meanings of the symbols are grounded bottom-up in the system's capacity to discriminate and identify the objects they refer to. Neural nets are one possible mechanism for learning the invariants in the analog sensory projection on which successful categorization is based. "Categorical perception" (Harnad 1987a), in which similarity space is "warped" in the service of categorization, turns out to be exhibited by both people and nets, and may mediate the constraints exerted by the analog world of objects on the formal world of symbols. (shrink)

There has been much discussion recently about the scope and limits of purely symbolic models of the mind and about the proper role of connectionism in cognitive modeling. This paper describes the symbol grounding problem : How can the semantic interpretation of a formal symbol system be made intrinsic to the system, rather than just parasitic on the meanings in our heads? How can the meanings of the meaningless symbol tokens, manipulated solely on the basis of their shapes, (...) be grounded in anything but other meaningless symbols? The problem is analogous to trying to learn Chinese from a Chinese/Chinese dictionary alone. A candidate solution is sketched: Symbolic representations must be grounded bottom-up in nonsymbolic representations of two kinds: iconic representations, which are analogs of the proximal sensory projections of distal objects and events, and categorical representations, which are learned and innate feature-detectors that pick out the invariant features of object and event categories from their sensory projections. Elementary symbols are the names of these object and event categories, assigned on the basis of their categorical representations. Higher-order symbolic representations, grounded in these elementary symbols, consist of symbol strings describing category membership relations. Connectionism is one natural candidate for the mechanism that learns the invariant features underlying categorical representations, thereby connecting names to the proximal projections of the distal objects they stand for. In this way connectionism can be seen as a complementary component in a hybrid nonsymbolic/symbolic model of the mind, rather than a rival to purely symbolic modeling. Such a hybrid model would not have an autonomous symbolic module, however; the symbolic functions would emerge as an intrinsically dedicated symbol system as a consequence of the bottom-up grounding of categories ' names in their sensory representations. Symbol manipulation would be governed not just by the arbitrary shapes of the symbol tokens, but by the nonarbitrary shapes of the icons and category invariants in which they are grounded. (shrink)

To analyze the task of mental arithmetic with external representations in different number systems we model algorithms for addition and multiplication with Arabic and Roman numerals. This demonstrates that Roman numerals are not only informationally equivalent to Arabic ones but also computationally similar—a claim that is widely disputed. An analysis of our models' elementary processing steps reveals intricate tradeoffs between problem representation, algorithm, and interactive resources. Our simulations allow for a more nuanced view of the received wisdom on Roman numerals. (...) While symbolic computation with Roman numerals requires fewer internal resources than with Arabic ones, the large number of needed symbols inflates the number of external processing steps. (shrink)

In which respects do modeling and experimenting resemble or differ from each other? We explore this question through studying in detail the combinatorial strategy in synthetic biology whereby scientists triangulate experimentation on model organisms, mathematical modeling, and synthetic modeling. We argue that this combinatorial strategy is due to the characteristic constraints of the three epistemic activities. Moreover, our case study shows that in some cases materiality clearly matters, in fact it provides the very rationale of synthetic (...) class='Hi'>modeling. We will show how the materialities of the different kinds of models – biological components versus mathematical symbols – in combination with their different structures – the complexity of biological organisms versus the isolated network structure and its mathematical dynamics - define the spectrum of epistemic possibilities in synthetic biology. Furthermore, our case shows that from the perspective of scientific practice the question of whether or not simulations are like or unlike experiments is often beside the point, since they are used to accomplish different kinds of things. (shrink)

I consider the role of cognitive modeling in cognitive science. Modeling, and the computers that enable it, are central to the field, but the role of modeling is often misunderstood. Models are not intended to capture fully the processes they attempt to elucidate. Rather, they are explorations of ideas about the nature of cognitive processes. In these explorations, simplification is essential—through simplification, the implications of the central ideas become more transparent. This is not to say that simplification (...) has no downsides; it does, and these are discussed. I then consider several contemporary frameworks for cognitive modeling, stressing the idea that each framework is useful in its own particular ways. Increases in computer power (by a factor of about 4 million) since 1958 have enabled new modeling paradigms to emerge, but these also depend on new ways of thinking. Will new paradigms emerge again with the next 1,000‐fold increase? (shrink)

We have developed a process model that learns in multiple ways while finding faults in a simple control panel device. The model predicts human participants' learning through its own learning. The model's performance was systematically compared to human learning data, including the time course and specific sequence of learned behaviors. These comparisons show that the model accounts very well for measures such as problem‐solving strategy, the relative difficulty of faults, and average fault‐finding time. More important, because the model learns and (...) transfers its learning across problems, it also accounts for the faster problem‐solving times due to learning when examined across participants, across faults, and across the series of 20 trials on an individual participant basis. The model shows how learning while problem solving can lead to more recognition‐based performance, and helps explain how the shape of the learning curve can arise through learning and be modified by differential transfer. Overall, the quality of the correspondence appears to have arisen from procedural, declarative, and episodic learning all taking place within individual problem‐solving episodes. (shrink)

This paper presents and evaluates a model of how the abstractness of source and target concepts influences metaphoricity, the property of how metaphoric a linguistic metaphoric expression is. The purpose of this is to investigate the long-standing claim that metaphoric mappings are from less abstract concepts to more abstract concepts. First, abstractness is modeled using Searle’s social ontology and this model of abstractness evaluated using a participant-based measure of abstractness. Second, this model of abstractness is used to determine the direction (...) and distance in abstractness of metaphoric mappings. Direction of abstractness in these mappings is whether the source or target concept is the more abstract. Distance is the difference in abstractness between source and target concepts. Both factors influence metaphoricity, as measured using introspection and a participant-based study of metaphoricity. The results give empirical support for a long-standing claim about abstractness in mappings, but also.. (shrink)

Two decades of attempts to model the emergence of language as a collective cognitive activity have demonstrated a number of principles that might have been part of the historical process that led to language. Several models have demonstrated the emergence of structure in a symbolic medium, but none has demonstrated the emergence of the capacity for symbolic representation. The current shift in cognitive science toward theoretical frameworks based on embodiment is already furnishing computational models with additional mechanisms relevant (...) to the emergence of symbolic language. An analysis of embodied interaction among captive, but not human‐enculturated, bonobo chimpanzees reveals a number of additional features of embodiment that are relevant to the emergence of symbolic language, but that have not yet been explored in computational simulation models; for example, complementarity of action in addition to imitation, iconic in addition to indexical gesture, coordination among multiple sensory and perceptual modalities, and the orchestration of intra‐ and inter‐individual motor coordination. The bonobos provide an evolutionarily plausible intermediate stage in the development of symbolic expression that can inform efforts to model the emergence of symbolic language. (shrink)

Two widely accepted assumptions within cognitive science are that (1) the goal is to understand the mechanisms responsible for cognitive performances and (2) computational modeling is a major tool for understanding these mechanisms. The particular approaches to computational modeling adopted in cognitive science, moreover, have significantly affected the way in which cognitive mechanisms are understood. Unable to employ some of the more common methods for conducting research on mechanisms, cognitive scientists’ guiding ideas about mechanism have developed in conjunction (...) with their styles of modeling. In particular, mental operations often are conceptualized as comparable to the processes employed in classical symbolic AI or neural network models. These models, in turn, have been interpreted by some as themselves intelligent systems since they employ the same type of operations as does the mind. For this paper, what is significant about these approaches to modeling is that they are constructed specifically to account for behavior and are evaluated by how well they do so—not by independent evidence that they describe actual operations in mental mechanisms. (shrink)

Analogy and similarity are central phenomena in human cognition, involved in processes ranging from visual perception to conceptual change. To capture this centrality requires that a model of comparison must be able to integrate with other processes and handle the size and complexity of the representations required by the tasks being modeled. This paper describes extensions to Structure-Mapping Engine since its inception in 1986 that have increased its scope of operation. We first review the basic SME algorithm, describe psychological evidence (...) for SME as a process model, and summarize its role in simulating similarity-based retrieval and generalization. Then we describe five techniques now incorporated into the SME that have enabled it to tackle large-scale modeling tasks: Greedy merging rapidly constructs one or more best interpretations of a match in polynomial time: O); Incremental operation enables mappings to be extended as new information is retrieved or derived about the base or target, to model situations where information in a task is updated over time; Ubiquitous predicates model the varying degrees to which items may suggest alignment; Structural evaluation of analogical inferences models aspects of plausibility judgments; Match filters enable large-scale task models to communicate constraints to SME to influence the mapping process. We illustrate via examples from published studies how these enable it to capture a broader range of psychological phenomena than before. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

Ample research documents the health benefits of community gardens, but our understanding of the factors shaping gardener participation is limited. Neighborhood demographics and garden frames have each been theorized to play a role in shaping who participates in community gardens. Yet, our understanding of the interplay between these factors is underdeveloped and this body of work lacks consideration of the racial and class makeup of gardeners on a large scale. With a nation-wide survey that includes measures of gardener demographics (N (...) = 162), the present study considers the extent to which community garden frames and locations simultaneously shape participant demographics. I combine these factors into a conceptual model explaining community garden participation as an iterative process of framing, accessibility, and representation, all situated within a garden’s surrounding community. Results show some base correlations between gardens focusing on healthy food access or symbolic food labels and gardener demographics, but ordered logistic and negative binomial regressions show stronger evidence of community demographics shaping gardener demographics. At the same time, _t_-tests comparing mean neighborhood and gardener demographics shows a consistent under-representation of Latinx community members among gardeners. As theorized in the model presented, community garden locations are important for shaping what demographics are represented among gardeners, but how community garden benefits are framed can limit garden accessibility, and subsequently neighborhood representation, especially for Latinx residents. This model helps illustrate the mechanisms through which garden organizers and advocates can develop more inclusive community gardens through fostering representation from people of color and the working-class. (shrink)

We develop a general covariant categorical modeling theory of natural systems’ behavior based on the fundamental functorial processes of representation and localization-globalization. In the first part of this study we analyze the process of representation. Representation constitutes a categorical modeling relation that signifies the semantic bidirectional process of correspondence between natural systems and formal symbolic systems. The notion of formal systems is substantiated by algebraic rings of observable attributes of natural systems. In this perspective, the distinction between (...) simple and complex systems is reflected in the appropriate qualification of their corresponding rings of observables. The crucial distinguishing requirement with respect to the coordinatizing rings of observables has to do with the property of global commutativity. The global information structure representing the behavior of a complex system is modeled functorially in terms of its Spectrum functor. Due to the fact that, the fundamental process of representation is bidirectional by construction, it admits a precise categorical formulation in terms of the syntactic language of adjoint functors, constituting thus, a categorical adjunction. The left adjoint functor of this adjunction signifies the process of encoding the information related with phenomena of natural systems in terms of coordinatizing rings of observables, whereas, the right adjoint functor signifies the inverse process of information decoding, which, can be used for making predictions about the behavior of natural systems. (shrink)

We study the logical structure of relations, and in particular the notion of occurrences of objects in a state. We start with formulating a number of principles for occurrences and defining corresponding mathematical models. These models are analyzed to get more insight in the formal properties of occurrences. In particular, we prove uniqueness results that tell us more about the possible logical structures relations might have.

The well-known game of chess has traditionally been modeled in artificial intelligence studies by search engines with advanced pruning techniques. The models were thus centered on an inference engine manipulating passive symbols in the form of tokens. It is beyond doubt, however, that human players do not carry out such processes. Instead, chess masters instead carry out perceptual processes, carefully categorizing the chunks perceived in a position and gradually building complex dynamic structures to represent the subtle pressures embedded in the (...) positions. In this paper we will consider two hypotheses concerning the underlying subcognitive processes and architecture. In the first hypothesis, a multiple-leveled chess representational structure is presented, which includes distance graphs (with varying levels of quality) between pieces, piece mobilities, and abstract roles. These representational schemes seem to account for numerous characteristics of human player’s psychology. The second hypothesis concerns the extension of the architecture proposed in the Copycat project as central for modeling the emergent intuitive perception of a chess position. We provide a synthesis on how the postulated architecture models chess intuition as an emergent mixture of simultaneous distance estimations, chunk perceptions, abstract role awareness, and intention activations. This is an alternative model to the traditional AI approaches, focusing on the philosophy of active symbols. (shrink)

The aim of this paper is to grasp the relevant distinctions between various ways in which models and simulations in Artificial Intelligence (AI) relate to cognitive phenomena. In order to get a systematic picture, a taxonomy is developed that is based on the coordinates of formal versus material analogies and theory-guided versus pre-theoretic models in science. These distinctions have parallels in the computational versus mimetic aspects and in analytic versus exploratory types of computer simulation. The proposed taxonomy cuts across the (...) traditional dichotomies between symbolic and embodied AI, general intelligence and symbol and intelligence and cognitive simulation and human/non-human-like AI. -/- According to the taxonomy proposed here, one can distinguish between four distinct general approaches that figured prominently in early and classical AI, and that have partly developed into distinct research programs: first, phenomenal simulations (e.g., Turing’s “imitation game”); second, simulations that explore general-level formal isomorphisms in pursuit of a general theory of intelligence (e.g., logic-based AI); third, simulations as exploratory material models that serve to develop theoretical accounts of cognitive processes (e.g., Marr’s stages of visual processing and classical connectionism); and fourth, simulations as strictly formal models of a theory of computation that postulates cognitive processes to be isomorphic with computational processes (strong symbolic AI). -/- In continuation of pragmatic views of the modes of modeling and simulating world affairs, this taxonomy of approaches to modeling in AI helps to elucidate how available computational concepts and simulational resources contribute to the modes of representation and theory development in AI research—and what made that research program uniquely dependent on them. (shrink)

Symbols can be used to mask or embellish firms’ exploitative labor practices. The present study defines exploitative firms’ abuse of symbolic management using legitimate symbolic terminologies to embellish their demanding working conditions as symbolic framing and examines it in the Japanese context. Because of strong social criticism for exploitative practices, firms are under pressure to avoid giving an exploitative impression to stakeholders, particularly job seekers in recruitment. This study argues that exploitative firms respond to these pressures by (...) embellishing their descriptions of the hard-working conditions at the firm, using certain symbolic expressions. To test this argument, this study examined recruitment advertising of 1238 Japanese firms between 2006 and 2017 and analyzed their ideal candidate profile (ICP) statement—a description of personal attributes that align with the firms’ working conditions—based on topic modeling. The results showed that exploitative firms tend to frame their working conditions in the ICP statement as ‘challenging work,’ which acknowledges the demanding work environment but frames it positively. This tendency was strengthened for firms with younger employees. The results provide the current literature with new insights regarding the dark side of symbolic management. (shrink)

In this paper, we try to shed light on the ontological puzzle pertaining to models and to contribute to a better understanding of what models are. Our suggestion is that models should be regarded as a specific kind of signs according to the sign theory put forward by Charles S. Peirce, and, more precisely, as icons, i.e. as signs which are characterized by a similarity relation between sign (model) and object (original). We argue for this (1) by analyzing from a (...) semiotic point of view the representational relation which is characteristic of models. We then corroborate our hypothesis (2) by discussing the conceptual differences between icons, i.e. models, and indexical and symbolic signs and (3) by putting forward a general classification of all icons into three functional subclasses (images, diagrams, and metaphors). Subsequently, we (4) integratively refine our results by resorting to two influential and, as can be shown, complementary philosophy of science approaches to models. This yields the following result: models are determined by a semiotic structure in which a subject intentionally uses an object, i.e. the model, as a sign for another object, i.e. the original, in the context of a chosen theory or language in order to attain a specific end by instituting a representational relation in which the syntactic structure of the model, i.e. its attributes and relations, represents by way of a mapping the properties of the original, which hence are regarded as similar in a relevant manner. (shrink)

1.1 The predominant approach to cognitive modeling is still what has come to be called "computationalism" (Dietrich 1990, Harnad 1990b), the hypothesis that cognition is computation. The more recent rival approach is "connectionism" (Hanson & Burr 1990, McClelland & Rumelhart 1986), the hypothesis that cognition is a dynamic pattern of connections and activations in a "neural net." Are computationalism and connectionism really deeply different from one another, and if so, should they compete for cognitive hegemony, or should they collaborate? (...) These questions will be addressed here, in the context of an obstacle that is faced by computationalism (as well as by connectionism if it is either computational or seeks cognitive hegemony on its own): The symbol grounding problem (Harnad 1990). (shrink)

In previous work, I have looked in detail at the capacity and the limits of the linguistics model as applied to gene expression. The recent use of a primitive applied linguistic model in Apple's SIRI system allows further analysis. In particular, the failings of this system resemble those of the HGP; the model used also helps point out the shortcomings of the concept of the "gene". This is particularly urgent as we are entering an era of applied biology in the (...) absence of theory, and indeed an era with a near-epidemic of retracted papers. There are a few workarounds proposed. One is to add to the nascent field of biosemiotics a more explicit concern with syntax. At the time of writing, Apple is being sued for false advertising of its iphone 4s, with the associated claim that apple had solved many of the problems of natural language processing by computer . The system was bought by Apple from a company called SIRI, and in turn was based on the notion, trumpeted by the prior art in a company called Dejima, that nlpbc could be done by keywords alone. Yet the hype resembles nothing so much as the misrepresentation of the Human Genome Project fed to the media in the glory days at the beginning of this millennium, and it says a lot for the status of scientists in society that they have avoided Apple's fate. In this paper, a short review of several current themes in theoretical and applied biology is first proposed. Then the tensions implicit in the notion that the "gene" is simultaneously to be identified as a unit of inheritance and spatially located over spatially well-defined nucleotides is explored and the notion is found to be incoherent. An expanded notion of inheritance is proposed in the context of a focus on inheritance as necessarily involving species, population and organism over time. While it is premature to talk about a paradigm shift, it is certainly arguable that biology urgently needs a sophisticated theory of how symbols work substantially more sophisticated than that implicit in the HGP; Biosemiotics affords a framework in which this might be tried. Indeed, as this paper concludes, there may yet be room for a "Bionoetics", a perspective in which biological explanation can be extended to include cognition in all its forms. Finally, a working sketch of a modeling environment written in LISP, one that shows promise in reflecting the complexities discussed in the paper, is included. Normal 0 false false false EN-US X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} Normal 0 false false false EN-US X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;}. (shrink)

What would Glenberg 's attractive ideas look like when computationally fleshed out? I suggest that the most helpful next step in formalizing them is neither a connectionist nor a symbolic implementation, but rather an implementation- general analysis of the task in terms of the informational content required.

This paper presents a formalism that combines useful properties of both logic and probabilities. Like logic, the formalism admits qualitative sentences and provides symbolic machinery for deriving deductively closed beliefs and, like probability, it permits us to express if-then rules with different levels of firmness and to retract beliefs in response to changing observations. Rules are interpreted as order-of-magnitude approximations of conditional probabilities which impose constraints over the rankings of worlds. Inferences are supported by a unique priority ordering on (...) rules which is syntactically derived from the knowledge base. This ordering accounts for rule interactions, respects specificity considerations and facilitates the construction of coherent states of beliefs. Practical algorithms are developed and analyzed for testing consistency, computing rule ordering, and answering queries. Imprecise observations are incorporated using qualitative versions of Jeffrey's rule and Bayesian updating, with the result that coherent belief revision is embodied naturally and tractably. Finally, causal rules are interpreted as imposing Markovian conditions that further constrain world rankings to reflect the modularity of causal organizations. These constraints are shown to facilitate reasoning about causal projections, explanations, actions and change. (shrink)

Our ability to deal with abstract concepts is one of the most intriguing faculties of human cognition. Still, we know little about how such concepts are formed, processed, and represented in mind. Current views are presented in their most recent and advanced form in this special issue, and directly compared and discussed in a lively debate, reported at the end of each chapter. The main results are reported in the editors’ introduction.

. Fuzzy systems and artificial neural networks, as important components of soft-computation, can be applied together to model uncertainty. A composite block of the fuzzy system and the ANN shares a mutually beneficial association resulting in enhanced performance with smaller networks. It makes them suitable for application with time-varying multi-input multi-output channel modeling enabling such a system to track minute variations in propagation conditions. Here we propose a fuzzy neural system using a fuzzy time delay fully recurrent neural network (...) that has the capability to tackle time-varying inputs in fuzzified form and is used to model MIMO channels. The inference engine is constituted by novel FTDFRNN blocks which determine the decision boundaries and tracks in-phase and quadrature components of input signals encompassing stochastic behavior of the MIMO channel. The system shows significant improvement in performance compared to statistical and ANN approaches in terms of faster processing time, lower bit error rate margins and better precision while carrying out symbol recovery of transmitted data through severely faded MIMO channels. (shrink)

We live in an information society where the usage, creation, distribution, manipulation, and integration of information is a significant activity. Computations allow us to process information from various sources in various forms and use the derived knowledge in improving efficiency and resilience in our interactions with each other and with our environment. The general theory of information tells us that information to knowledge is as energy is to matter. Energy has the potential to create or modify material structures and information (...) has the potential to create or modify knowledge structures. In this paper, we analyze computations as a vital technological phenomenon of contemporary society which allows us to process and use information. This analysis allows building classifications of computations based on their characteristics and explication of new types of computations. As a result, we extend the existing typologies of computations by delineating novel forms of information representations. While the traditional approach deals only with two dimensions of computation—symbolic and sub-symbolic, here we describe additional dimensions, namely, super-symbolic computation, hybrid computation, fused computation, blended computation, and symbiotic computation. (shrink)

We live in an information society where the usage, creation, distribution, manipulation, and integration of information is a significant activity. Computations allow us to process information from various sources in various forms and use the derived knowledge in improving efficiency and resilience in our interactions with each other and with our environment. The general theory of information tells us that information to knowledge is as energy is to matter. Energy has the potential to create or modify material structures and information (...) has the potential to create or modify knowledge structures. In this paper, we analyze computations as a vital technological phenomenon of contemporary society which allows us to process and use information. This analysis allows building classifications of computations based on their characteristics and explication of new types of computations. As a result, we extend the existing typologies of computations by delineating novel forms of information representations. While the traditional approach deals only with two dimensions of computation—symbolic and sub-symbolic, here we describe additional dimensions, namely, super-symbolic computation, hybrid computation, fused computation, blended computation, and symbiotic computation. (shrink)

Symbols enable people to organize and communicate about the world. However, the ways in which symbolic knowledge is learned and then represented in the mind are poorly understood. We present a formal analysis of symbolic learning—in particular, word learning—in terms of prediction and cue competition, and we consider two possible ways in which symbols might be learned: by learning to predict a label from the features of objects and events in the world, and by learning to predict features (...) from a label. This analysis predicts significant differences in symbolic learning depending on the sequencing of objects and labels. We report a computational simulation and two human experiments that confirm these differences, revealing the existence of Feature-Label-Ordering effects in learning. Discrimination learning is facilitated when objects predict labels, but not when labels predict objects. Our results and analysis suggest that the semantic categories people use to understand and communicate about the world can only be learned if labels are predicted from objects. We discuss the implications of this for our understanding of the nature of language and symbolic thought, and in particular, for theories of reference. (shrink)

This paper describes an AFOSR-supported basic research program that focuses on developing a new framework for combining hard with soft data in order to improve space situational awareness. The goal is to provide, in an automatic and near real-time fashion, a ranking of possible threats to blue assets (assets trying to be protected) from red assets (assets with hostile intentions). The approach is based on Conceptual Spaces models, which combine features from traditional associative and symbolic cognitive models. While Conceptual (...) Spaces are revolutionary, they lack an underlying mathematical framework. Several such frameworks have attempted to represent Conceptual Spaces, but by far the most robust is the model developed by Holender. His model utilizes integer linear programming in order to obtain an overall similarity value between observations and concepts that support the formation of hypotheses. This paper will describe a method for building Conceptual Spaces models for threats that utilizes ontologies as a means to provide a clear semantic foundation for this inferencing process; in particular threat ontologies and space domain ontologies are developed and employed in this approach. A space situational awareness use-case is presented involving a kinetic kill scenario and results are shown to assess the performance of this fusion-based inferencing framework. (shrink)

David Marr's (1982) three‐level analysis of computational cognition argues for three distinct levels of cognitive information processing—namely, the computational, representational, and implementational levels. But Marr's levels are—and were meant to be—descriptive, rather than interactive and dynamic. For this reason, we suggest that, had Marr been writing today, he might well have gone even farther in his analysis, including the emergence of structure—in particular, explicit structure at the conceptual level—from lower levels, and the effect of explicit emergent structures on the level (...) (or levels) that gave rise to them. The message is that today's cognitive scientists need not only to understand how emergent structures—in particular, explicit emergent structures at the cognitive level—develop but also to understand how they feed back on the sub‐structures from which they emerged. (shrink)

This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.

The frame model, originating in artificial intelligence and cognitive psychology, has recently been applied to change-phenomena traditionally studied within history and philosophy of science. Its application purpose is to account for episodes of conceptual dynamics in the empirical sciences suggestive of incommensurability as evidenced by “ruptures” in the symbolic forms of historically successive empirical theories with similar classes of applications. This article reviews the frame model and traces its development from the feature list model. Drawing on extant literature, examples (...) of frame-reconstructed taxonomic change are presented. This occurs for purposes of comparison with an alternative tool, conceptual spaces. The main claim is that conceptual spaces save the merits of the frame model and provide a powerful model for conceptual change in scientific knowledge, since distinctions arising in measurement theory are native to the model. It is suggested how incommensurability as incomparability of theoretical frameworks might be avoided. Moreover, as nontranslatability of worldviews, it need not to be treated as a genuine problem of conceptual representation. The status of laws vis à vis their dimensional bases as well as diachronic similarity measures are discussed. (shrink)

The frame model, originating in artificial intelligence and cognitive psychology, has recently been applied to change-phenomena traditionally studied within history and philosophy of science. Its application purpose is to account for episodes of conceptual dynamics in the empirical sciences suggestive of incommensurability as evidenced by “ruptures” in the symbolic forms of historically successive empirical theories with similar classes of applications. This article reviews the frame model and traces its development from the feature list model. Drawing on extant literature, examples (...) of frame-reconstructed taxonomic change are presented. This occurs for purposes of comparison with an alternative tool, conceptual spaces. The main claim is that conceptual spaces save the merits of the frame model and provide a powerful model for conceptual change in scientific knowledge, since distinctions arising in measurement theory are native to the model. It is suggested how incommensurability as incomparability of theoretical frameworks might be avoided. Moreover, as nontranslatability of worldviews, it need not to be treated as a genuine problem of conceptual representation. The status of laws vis à vis their dimensional bases as well as diachronic similarity measures are discussed. (shrink)

In recent decades, philosophers of science have devoted considerable efforts to understand what models represent. One popular position is that models represent fictional situations. Another position states that, though models often involve fictional elements, they represent real objects or scenarios. Though these two positions may seem to be incompatible, I believe it is possible to reconcile them. Using a threefold distinction between different signs proposed by Peirce, I develop an argument based on a proposal recently made by Kralemann and Lattman (...) (in Synthese 190:3397–3420, 2013) that shows that the two aforementioned positions can be reconciled by distinguishing different ways in which a model representation can be used. In particular, on the basis of Peirce’s distinction between icons, indices and symbols, I argue that models can sometimes function as icons, sometimes as indexes and sometimes as symbols, depending on the context in which they are considered and the use that they are developed for because they all have iconic, indexical and symbolic features. In addition, I show that conceiving models as signs enables us to develop an account of scientific representation that meets the main desiderata that Shech (in Synthese 192:3463–3485, 2015) presents. (shrink)

The double function of language, as a social/communicative means, and as an individual/cognitive capability, derives from its fundamental property that allows us to internally re-represent the world we live in. This is possible through the mechanism of symbol grounding, i.e., the ability to associate entities and states in the external and internal world with internal categorical representations. The symbol grounding mechanism, as language, has both an individual and a social component. The individual component, called the “Physical Symbol Grounding“, refers to (...) the ability of each individual to create an intrinsic link between world entities and internal categorical representations. The social component, called “Social Symbol Grounding“, refers to the collective negotiation for the selection of shared symbols and their grounded meanings. The paper discusses these two aspects of symbol grounding in relation to distributed cognition, using examples from cognitive modeling research on grounded agents and robots. (shrink)

Use of symbols, the key to the biosemiotics field as to many others, required bigger brains which implied a promissory note for greater energy consumption; symbols are obviously expensive. A score years before the current estimate of 18–20% for the human brain’s metabolic demand on the organism, it was known that neural tissue is metabolically dear. This paper first discusses two evolutionary responses to this demand, on both of which there is some consensus. The first, assigning care of altricial infants (...) with burgeoning brains (and in human infants the metabolic demand peaks at 65% of the total) to “allomothers” is not unique to humans. The second, using relatively small neurons as primates do, risks misfires past a certain minimal value. Moreover, in apparent paradox, there is an increasing consensus that large “Von Economo” neurons are critical for communication. This paper’s main contribution is the discussion of two further evolutionary tricks. The first is the use of self-similarity in the cortex, both in structure and process, to allow the cortex readily—and in energetic terms, parsimoniously—to shift between states in a high-dimensional space. This leads to discussion of the kind of formalism appropriate to model these shifts, a formalism which—it is tentatively suggested—may do double duty for the modeling of symbolic thought. The second trick is the superimposition on the background “white noise” of neural firing of EEG-detected waves like gamma. The paper describes a method, using the Hilbert transform, of calculating the dips in energy consumption as the brain is transitioned by gamma waves. It is hypothesized that consciousness may be a spandrel, the incidental result of a neurodynamic imperative that the brain enter a maximally sensitive (in sensory terms) “zero power” state a few times a second. If that is the case, then there are obvious benefits for health in meditation, which can be viewed as a state of consciousness extended over time by limiting afferent stimuli. (shrink)

In sensorimotor integration, representation involves an anticipatory model of the action to be performed. This model integrates efferent signals (motor commands), its reafferent consequences (sensory consequences of an organism’s own motor action), and other afferences (sensory signals) originated by stimuli independent of the action performed. Representation, a form of internal modeling, is invoked to explain the fact that behavior oriented to the achievement of future goals is relatively independent from the immediate environment. Internal modeling explains how a cognitive (...) system achieves its goals despite variations in the environment with insufficient and noisy sensory–perceptual data. In a self that acts intentionally on the environment, knowledge is dependent upon the necessity to guide actions directed toward an aim. The self-inner model, a representation of internal and external environments (including reafferent and afferent messages) and also of the behavior plans and desirable future states (aims) and efferent intentions (motor planning and motor command messages), is intrinsically linked to a thinking capacity, which is supposed to emerge from the binding of multiple influences. Thinking emerges when higher behavior strategies are considered possible and capable of leading to aims or the fulfillment of intentions. In this model, symbolization processes are projective and anticipatory and, in this way, beyond present referents. Symbolization occurs linked to action planning, command, and regulation in mental simulation. Meaning is related to an inner sense of a self that acts over the environment. (shrink)

Understanding the dynamics of complex ecosystems is a necessary step to maintain and control them. Yet, reverse-engineering ecological dynamics remains challenging largely due to the very broad class of dynamics that ecosystems may take. Here, this challenge is tackled through symbolic regression, a machine learning method that automatically reverse-engineers both the model structure and parameters from temporal data. How combining symbolic regression with a “dictionary” of possible ecological functional responses opens the door to correctly reverse-engineering ecosystem dynamics, even (...) in the case of poorly informative data, is shown. This strategy is validated using both synthetic and experimental data, and it is found that this strategy is promising for the systematic modeling of complex ecological systems. (shrink)