scholarly journals Tensors and compositionality in neural systems

2019 ◽  
Vol 375 (1791) ◽  
pp. 20190306 ◽  
Author(s):  
Andrea E. Martin ◽  
Leonidas A. A. Doumas

Neither neurobiological nor process models of meaning composition specify the operator through which constituent parts are bound together into compositional structures. In this paper, we argue that a neurophysiological computation system cannot achieve the compositionality exhibited in human thought and language if it were to rely on a multiplicative operator to perform binding, as the tensor product (TP)-based systems that have been widely adopted in cognitive science, neuroscience and artificial intelligence do. We show via simulation and two behavioural experiments that TPs violate variable-value independence, but human behaviour does not. Specifically, TPs fail to capture that in the statements fuzzy cactus and fuzzy penguin , both cactus and penguin are predicated by fuzzy (x) and belong to the set of fuzzy things, rendering these arguments similar to each other. Consistent with that thesis, people judged arguments that shared the same role to be similar, even when those arguments themselves (e.g., cacti and penguins) were judged to be dissimilar when in isolation. By contrast, the similarity of the TPs representing fuzzy (cactus) and fuzzy (penguin) was determined by the similarity of the arguments, which in this case approaches zero. Based on these results, we argue that neural systems that use TPs for binding cannot approximate how the human mind and brain represent compositional information during processing. We describe a contrasting binding mechanism that any physiological or artificial neural system could use to maintain independence between a role and its argument, a prerequisite for compositionality and, thus, for instantiating the expressive power of human thought and language in a neural system. This article is part of the theme issue ‘Towards mechanistic models of meaning composition’.

2018 ◽  
Vol 38 (2) ◽  
pp. 183-207
Author(s):  
Mariela Aguilera

In “Steps toward Origins of Propositional Thought”, Burge claims that animals of different species are capable of making deductive inferences. According to Burge, that is why propositional thought is extended beyond the human mind to the minds of other kinds of creatures. But, as I argue here, the inferential capacities of animals do not guarantee a propositional structure. According to my argument, propositional content has predicates that might involve a quantificational structure. And the absence of this structure in animal thought might explain some of the differences with the propositional content of human thought.


2018 ◽  
Vol 16 (8) ◽  
pp. 3-18
Author(s):  
Agustinus Wisnu Dewantara

Talking about God can not be separated from the activity of human thought. Activity is the heart of metaphysics. Searching religious authenticity tends to lead to a leap in harsh encounter with other religions. This interfaith encounter harsh posed a dilemma. Why? Because on the one hand religion is the peacemaker, but on the other hand it’s has of encouraging conflict and even violence. Understanding God is not quite done only by understanding the religion dogma, but to understand God rationally it is needed. It is true that humans understand the world according to his own ego, but it is not simultaneously affirm that God is only a projection of the human mind. Humans understand things outside of himself because no awareness of it. On this side of metaphysics finds itself. Analogical approach allows humans to approach and express God metaphysically. Human clearly can not express the reality of the divine in human language, but with the human intellect is able to reflect something about the relationship with God. Analogy allows humans to enter the metaphysical discussion about God. People who are at this point should come to the understanding that God is the Same One More From My mind, The Impossible is defined, the Supreme Mystery, and infinitely far above any human thoughts.


Author(s):  
R. Murugan

The retinal parts segmentation has been recognized as a key component in both ophthalmological and cardiovascular sickness analysis. The parts of retinal pictures, vessels, optic disc, and macula segmentations, will add to the indicative outcome. In any case, the manual segmentation of retinal parts is tedious and dreary work, and it additionally requires proficient aptitudes. This chapter proposes a supervised method to segment blood vessel utilizing deep learning methods. All the more explicitly, the proposed part has connected the completely convolutional network, which is normally used to perform semantic segmentation undertaking with exchange learning. The convolutional neural system has turned out to be an amazing asset for a few computer vision assignments. As of late, restorative picture investigation bunches over the world are rapidly entering this field and applying convolutional neural systems and other deep learning philosophies to a wide assortment of uses, and uncommon outcomes are rising constantly.


1993 ◽  
pp. 47-56
Author(s):  
Mohamed Othman ◽  
Mohd. Hassan Selamat ◽  
Zaiton Muda ◽  
Lili Norliya Abdullah

This paper discusses the modeling of Tower of Hanoi using the concepts of neural network. The basis idea of backpropagation learning algorithm in Artificial Neural Systems is then described. While similar in some ways, Artificial Neural System learning deviates from tradition in its dependence on the modification of individual weights to bring about changes in a knowledge representation distributed across connection in a network. This unique form of learning is analyzed from two aspects: the selection of an appropriate network architecture for representing the problem, and the choice of a suitable learning rule capable qf reproducing the desired function within the given network. Key words: Tower of Hanoi; Backpropagation Algorithm; Knowledge Representation;


Author(s):  
Jack M. Gorman

Some scientists now argue that humans are really not superior to other species, including our nearest genetic neighbors, chimpanzees and bonobos. Indeed, those animals seem capable of many things previously thought to be uniquely human, including a sense of the future, empathy, depression, and theory of mind. However, it is clear that humans alone produce speech, dominate the globe, and have several brain diseases like schizophrenia. There are three possible sources within the brain for these differences in brain function: in the structure of the brain, in genes coding for proteins in the brain, and in the level of expression of genes in the brain. There is evidence that all three are the case, giving us a place to look for the intersection of the human mind and brain: the expression of genes within neurons of the prefrontal cortex.


Author(s):  
Yingxu Wang ◽  
Cyprian F. Ngolah ◽  
Hadi Ahmadi ◽  
Philip Sheu ◽  
Shi Ying

A Lift Dispatching System (LDS) is a typical real-time system that is highly complicated in design and implementation. This article presents the formal design, specification, and modeling of the LDS system using a denotational mathematics known as Real-Time Process Algebra (RTPA). The conceptual model of the LDS system is introduced as the initial requirements for the system. The architectural model of the LDS system is created using RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs). The static behaviors of the LDS system are specified and refined by a set of Unified Process Models (UPMs) for the lift dispatching and serving processes. The dynamic behaviors of the LDS system are specified and refined by process priority allocation and process deployment models. Based on the formal design models of the LDS system, code can be automatically generated using the RTPA Code Generator (RTPA-CG), or be seamlessly transferred into programs by programmers. The formal models of LDS may not only serve as a formal design paradigm of real-time software systems, but also a test bench of the expressive power and modeling capability of exiting formal methods in software engineering.


Author(s):  
Yingxu Wang ◽  
Yanan Zhang ◽  
Philip C.Y. Sheu ◽  
Xuhui Li ◽  
Hong Guo

An Automated Teller Machine (ATM) is a safety-critical and real-time system that is highly complicated in design and implementation. This article presents the formal design, specification, and modeling of the ATM system using a denotational mathematics known as Real-Time Process Algebra (RTPA). The conceptual model of the ATM system is introduced as the initial requirements for the system. The architectural model of the ATM system is created using RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs), which share a generic mathematical model of tuples. The static behaviors of the ATM system are specified and refined by a set of Unified Process Models (UPMs) for the ATM transition processing and system supporting processes. The dynamic behaviors of the ATM system are specified and refined by process priority allocation, process deployment, and process dispatch models. Based on the formal design models of the ATM system, code can be automatically generated using the RTPA Code Generator (RTPA-CG), or be seamlessly transformed into programs by programmers. The formal models of ATM may not only serve as a formal design paradigm of real-time software systems, but also a test bench for the expressive power and modeling capability of exiting formal methods in software engineering.


Object detection is as of now generally utilized in industry. It is the strategy for location and design of genuine items. Models incorporate intermittent scaffold examinations, debacle the executives, power line observation and traffic examinations. As UAV applications become progressively broad, more significant levels of self-sufficiency and free dynamic procedures are expected to improve the security, proficiency and exactness of the gadgets. This article exhibits in detail the method and parameters important for the preparation of convolutional neural systems (CNN) in the programmed acknowledgment of items. The potential areas of utilization in the vehicle division are additionally featured. The precision and unwavering quality of the CNNs rely upon the arrangement of the system and the determination of working parameters. The impact of article recognition shows that by picking a parameter setting course of action, a CNN can recognize and gather objects with a noteworthy degree of accuracy (97.5%) and computational profitability. Moreover, utilizing a convolutional neural system actualized in the YOLO stage (V3), items can be followed, distinguished and characterized progressively


Author(s):  
Dmitry Kurakin

In this chapter, I argue that the Durkheimian theory of the sacred is a crucial yet not fully recognized resource for cognitive sociology. It contains not only a theory of culture (which is acknowledged in contemporary sociology), but also a vision of culture-cognition relations. Thus, Durkheimian cultural sociology allows us to understand the crucial role the sacred/profane opposition plays in structuring culture, perception and thought. Based on a number of theories, I also show how another opposition—between the pure and impure modes of the sacred, allows us to explain dynamic features of the sacred and eventually provides a basic model of social change. While explicating this vision and resultant opportunities for sociological analysis I also criticize “cognition apart from culture” approaches established within cognitive sociology. I argue, thus, that culture not only participates in cognition but is an intrinsic ingredient of the human mind. Culture is not a chaotic and fragmented set of elements, as some sociologists imply to a greater or lesser degree, but a system; and as such it is an inner environment for human thought and social action. This system, however, is governed not by formal logic, as some critics of the autonomy of culture presuppose, but by concrete configurations of emotionally-charged categories, created and re-created in social interactions.


Author(s):  
Yingxu Wang ◽  
Yanan Zhang ◽  
Philip C.-Y. Sheu ◽  
Xuhui Li ◽  
Hong Guo

An Automated Teller Machine (ATM) is a safety-critical and real-time system that is highly complicated in design and implementation. This paper presents the formal design, specification, and modeling of the ATM system using a denotational mathematics known as Real-Time Process Algebra (RTPA). The conceptual model of the ATM system is introduced as the initial requirements for the system. The architectural model of the ATM system is created using RTPA architectural modeling methodologies and refined by a set of Unified Data Models (UDMs), which share a generic mathematical model of tuples. The static behaviors of the ATM system are specified and refined by a set of Unified Process Models (UPMs) for the ATM transition processing and system supporting processes. The dynamic behaviors of the ATM system are specified and refined by process priority allocation, process deployment, and process dispatch models. Based on the formal design models of the ATM system, code can be automatically generated using the RTPA Code Generator (RTPA-CG), or be seamlessly transformed into programs by programmers. The formal models of ATM may not only serve as a formal design paradigm of real-time software systems, but also a test bench for the expressive power and modeling capability of exiting formal methods in software engineering.


Sign in / Sign up

Export Citation Format

Share Document