English
Related papers

Related papers: Behavioral Mereology (Proofs and Properties)

200 papers

Interaction is the mode of being of material things amid other material things and the driving force of change and wholeness. Through mutual influence, changes of interacting things become interdependent and their properties interrelated,…

General Physics · Physics 2008-03-24 Oleg G. Semyonov

Emergent collective group processes and capabilities have been studied through analysis of transactive memory, measures of group task performance, and group intelligence, among others. In their approach to collective behaviors, these…

Physics and Society · Physics 2019-01-01 Yaneer Bar-Yam , David Kantor

Causality is a fundamental part of the scientific endeavour to understand the world. Unfortunately, causality is still taboo in much of psychology and social science. Motivated by a growing number of recommendations for the importance of…

Methodology · Statistics 2022-06-27 Matthew J. Vowels

Theories of rough mereology have originated from diverse semantic considerations from contexts relating to study of databases, to human reasoning. These ideas of origin, especially in the latter context, are intensely complex. In this…

Logic in Computer Science · Computer Science 2019-07-15 A. Mani

The ability to interpret the mental state of another agent based on its behavior, also called Theory of Mind (ToM), is crucial for humans in any kind of social interaction. Artificial systems, such as intelligent assistants, would also…

Artificial Intelligence · Computer Science 2019-09-24 Jan Pöppel , Stefan Kopp

Around 2000, J.-Y. Girard developed a logical theory, called Ludics. This theory was a step in his program of Geometry of Interaction, the aim of which being to account for the dynamics of logical proofs. In Ludics, objects called designs…

Logic in Computer Science · Computer Science 2023-06-22 Christophe Fouqueré , Myriam Quatrini

Individual choices often depend on the order in which the decisions are made. In this paper, we expose a general theory of measurable systems (an example of which is an individual's preferences) allowing for incompatible (non-commuting)…

Physics and Society · Physics 2007-06-20 V. I. Danilov , A. Lambert-Mogiliansky

Why are we good? Why are we bad? Questions regarding the evolution of morality have spurred an astoundingly large interdisciplinary literature. Some significant subset of this body of work addresses questions regarding our moral psychology:…

General Economics · Economics 2019-09-23 Cailin O'Connor

A behavior is a closed shift invariant subspace of the space of sequences with entries in a field k. We work out an explicit duality for k-modules. This duality is then used to derive properties of behaviors, and their high dimensional and…

Optimization and Control · Mathematics 2007-05-23 Amnon Yekutieli

Synergy (from the Greek word synergos), broadly defined, refers to combined or co-operative effects produced by two or more elements (parts or individuals). The definition is often associated with the holistic conviction quote that "the…

Artificial Intelligence · Computer Science 2007-05-23 Vitorino Ramos

A composite quantum system has properties that are incompatible with every property of its parts. The existence of such global properties incompatible with all local properties constitutes what I call "mereological holism"--the distinctive…

Quantum Physics · Physics 2021-02-03 Giacomo Mauro D'Ariano

Behavioural conformances -- e.g. behavioural equivalences, distances, preorders -- on a wide range of system types (non-deterministic, probabilistic, weighted etc.) can be dealt with uniformly in the paradigm of universal coalgebra. One of…

Logic in Computer Science · Computer Science 2025-02-04 Paul Wild , Lutz Schröder

Consistency check has been the only criterion for theory evaluation in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the metatheory of actions by investigating what other properties a good…

Artificial Intelligence · Computer Science 2009-09-29 Andreas Herzig , Ivan Varzinczak

In this paper we will give a control theoretic perspective on the research area of behavior trees in robotics. The key idea underlying behavior trees is to make use of modularity, hierarchies and feedback, in order to handle the complexity…

Robotics · Computer Science 2022-03-25 Petter Ögren , Christopher I. Sprague

We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological…

Logic in Computer Science · Computer Science 2026-02-18 Murdoch J. Gabbay

The methodology used here might provide a neat method of examining paradoxes and ways to circumvent them. Most of the known set theoretic paradoxes (Russell's, Cantor's, Burali-Forti's,..) can be paralleled here and examined. This account…

Logic · Mathematics 2020-09-10 Zuhair Al-Johar

Theory of Mind (ToM) is the ability to attribute mental states to others, the basis of human cognition. At present, there has been growing interest in the AI with cognitive abilities, for example in healthcare and the motoring industry.…

Artificial Intelligence · Computer Science 2023-03-22 Yuanyuan Mao , Shuang Liu , Pengshuai Zhao , Qin Ni , Xin Lin , Liang He

The minimal ingredients to describe a quantum system are a Hamiltonian, an initial state, and a preferred tensor product structure that encodes a decomposition into subsystems. We explore a top-down approach in which the subsystems emerge…

Quantum Physics · Physics 2025-08-19 Nicolas Loizeau , Dries Sels

Contrary to the structural aspect of conventional social network analysis, a new method in behavioral analysis is proposed. We define behavioral measures including self-loops and multiple links and illustrate the behavioral analysis with…

Social and Information Networks · Computer Science 2015-03-03 Sung Joo Park , Jong Woo Kim , Hong Joo Lee , Hyun Jung Park , Peter Gloor

We use topological data analysis and machine learning to study a seminal model of collective motion in biology [D'Orsogna et al., Phys. Rev. Lett. 96 (2006)]. This model describes agents interacting nonlinearly via attractive-repulsive…