Neurons and symbols: a manifesto

We discuss the purpose of neural-symbolic integration including its principles, mechanisms and applications. We outline a cognitive computational model for neural-symbolic integration, position the model in the broader context of multi-agent systems, machine learning and automated reasoning, and list some of the challenges for the area of neural-symbolic computation to achieve the promise of effective integration of robust learning and expressive reasoning under uncertainty

Modelling and analyzing adaptive self-assembling strategies with Maude

Building adaptive systems with predictable emergent behavior is a challenging task and it is becoming a critical need. The research community has accepted the challenge by introducing approaches of various nature: from software architectures, to programming paradigms, to analysis techniques. We recently proposed a conceptual framework for adaptation centered around the role of control data. In this paper we show that it can be naturally realized in a reflective logical language like Maude by using the Reflective Russian Dolls model. Moreover, we exploit this model to specify, validate and analyse a prominent example of adaptive system: robot swarms equipped with self-assembly strategies. The analysis exploits the statistical model checker PVeStA

A new social physic: The sociology of Gabriel Tarde and its legacy

This article aims to present a reconstruction of Gabriel Tarde’s micro-sociology in order to highlight its current relevance. The author of the article attempts to show that its distinction lies in taking the immense diversity of small social interactions as a starting point for the analysis of both face-to-face situations and large-scale institutions and social processes. Here the social field is described as made up of multiple propagations of desires and beliefs that spread from one individual to other, taking countless directions, interfering with each other, forming networks, and escaping them in search of new connections. The author attempts to show, also, that this point of view doesn’t deny the existence of social systems but understands them as open ensembles of immanent and partial relationships of collective beliefs and desires. This is why Tarde may be considered the founder of a molecular or micro-physical sociolog

Causality Is Logically Definable-Toward an Equilibrium-Based Computing Paradigm of Quantum Agents and Quantum Intelligence (QAQI)

A survey on agents, causality and intelligence is presented and an equilibrium-based computing paradigm of quantum agents and quantum intelligence (QAQI) is proposed. In the survey, Aristotle’s causality principle and its historical extensions by David Hume, Bertrand Russell, Lotfi Zadeh, Donald Rubin, Judea Pearl, Niels Bohr, Albert Einstein, David Bohm, and the causal set initiative are reviewed; bipolar dynamic logic (BDL) is introduced as a causal logic for bipolar inductive and deductive reasoning; bipolar quantum linear algebra (BQLA) is introduced as a causal algebra for quantum agent interaction and formation. Despite the widely held view that causality is undefinable with regularity, it is shown that equilibrium-based bipolar causality is logically definable using BDL and BQLA for causal inference in physical, social, biological, mental, and philosophical terms. This finding leads to the paradigm of QAQI where agents are modeled as quantum ensembles; intelligence is revealed as quantum intelligence. It is shown that the ensembles formation, mutation and interaction of agents can be described as direct or indirect results of quantum causality. Some fundamental laws of causation are presented for quantum agent entanglement and quantum intelligence. Applicability is illustrated; major challenges are identified in equilibrium based causal inference and quantum data mining

A new social physic: The sociology of Gabriel Tarde and its legacy

This article aims to present a reconstruction of Gabriel Tarde’s micro-sociology in order to highlight its current relevance. The author of the article attempts to show that its distinction lies in taking the immense diversity of small social interactions as a starting point for the analysis of both face-to-face situations and large-scale institutions and social processes. Here the social field is described as made up of multiple propagations of desires and beliefs that spread from one individual to other, taking countless directions, interfering with each other, forming networks, and escaping them in search of new connections. The author attempts to show, also, that this point of view doesn’t deny the existence of social systems but understands them as open ensembles of immanent and partial relationships of collective beliefs and desires. This is why Tarde may be considered the founder of a molecular or micro-physical sociolog

PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude

Distributed cyber-physical systems (DCPS) are pervasive in areas such as aeronautics and ground transportation systems, including the case of distributed hybrid systems. DCPS design and verification is quite challenging because of asynchronous communication, network delays, and clock skews. Furthermore, their model checking verification typically becomes unfeasible due to the huge state space explosion caused by the system's concurrency. The PALS ("physically asynchronous, logically synchronous") methodology has been proposed to reduce the design and verification of a DCPS to the much simpler task of designing and verifying its underlying synchronous version. The original PALS methodology assumes a single logical period, but Multirate PALS extends it to deal with multirate DCPS in which components may operate with different logical periods. This paper shows how Multirate PALS can be applied to formally verify a nontrivial multirate DCPS. We use Real-Time Maude to formally specify a multirate distributed hybrid system consisting of an airplane maneuvered by a pilot who turns the airplane according to a specified angle through a distributed control system. Our formal analysis revealed that the original design was ineffective in achieving a smooth turning maneuver, and led to a redesign of the system that satisfies the desired correctness properties. This shows that the Multirate PALS methodology is not only effective for formal DCPS verification, but can also be used effectively in the DCPS design process, even before properties are verified.Comment: In Proceedings FTSCS 2012, arXiv:1212.657