Formal reasoning on knowledge and commitments in multi-agent systems using T<scp>heatre</scp>

Nigro, Christian; Nigro, Libero; Sciammarella, Paolo F.

doi:10.1177/0037549719879753

Cited by 6 publications

(2 citation statements)

References 32 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is well known that astrophysical magnetic fields show structure on multiple scales (Stix 2002). However, the dynamo often reveals itself with a tendency to self-organize into coherent structures with characteristic scales larger than the underlying turbulence (Tobias & Cattaneo 2013;Nigro et al 2017;Pongkitiwanichakul et al 2016;Nigro 2019). This tendency has led the scientific community to develop the meanfield dynamo theory, which exploits the two-scale approach.…”

Section: Magnetoconvection Shell Modelmentioning

confidence: 99%

An Argument in Favor of Magnetic Polarity Reversals Due to Heat Flux Variations in Fully Convective Stars and Planets

Nigro

2022

ApJ

View full text Add to dashboard Cite

Low-mass M dwarf stars, T Tauri stars, as well as planets such as the Earth and Jupiter are permeated by large-scale magnetic fields generated by the convection-driven dynamo operating in their convection zones. These magnetic fields are often characterized by a significant time variability, most prominently expressed by the inversions of their polarity, denoted as reversals, whose mechanism has not been completely understood. This work aims to gain some insights into the mechanism that generates these reversals. With this purpose, a simplified nonlinear model is developed to investigate the role played in polarity reversals by the convective heat transfer occurring in stellar and planetary convection zones. A model result is the enhancement of the global heat transport before polarity reversals, showing the crucial role that heat transport might play in their occurrence. This role is elucidated by considering that a reversal has a greater than 70% probability of occurring during a burst of convective heat transport. This high probability has been found in 94 out of 101 numerical simulations obtained by changing characteristic model parameters. Moreover, the causal relationship between the convective heat flux growth and the magnetic field variations is highlighted by the temporal antecedence of the former relative to the latter and by convergent cross mapping, namely a statistical test for detecting causality. It would thus be expected that higher levels of temporal variability in the planetary and stellar magnetic fields may be correlated to a higher heat transfer efficiency achieved in the interior of these celestial bodies.

show abstract

Section: Magnetoconvection Shell Modelmentioning

confidence: 99%

An Argument in Favor of Magnetic Polarity Reversals Due to Heat Flux Variations in Fully Convective Stars and Planets

Nigro

2022

ApJ

View full text Add to dashboard Cite

show abstract

“…The strength of the causal link—expressed in the form of a probability, similar to the agent behavior uncertainty in Nigro et al 50 —determines which of the contending social forces wins. These probabilities are stored in the AT.…”

Section: Action Networkmentioning

confidence: 99%

Action network: a probabilistic graphical model for social simulation

Zakaria¹

2021

SIMULATION

View full text Add to dashboard Cite

Agent-based social simulations are typically described in imperative form. While this facilitates implementation as computer programs, it makes implicit the different assumptions made, both about the functional form and the causal ordering involved. As a solution to the problem, a probabilistic graphical model, Action Network (AN), is proposed in this paper for social simulation. Simulation variables are represented by nodes, and causal links by edges. An Action Table is associated with each node, describing incremental probabilistic actions to be performed in response to fuzzy parental states. AN offers a graphical causal model that captures the dynamics of a social process. Details of the formalism are presented along with illustrative examples. Software that implements the formalism is available at http://actionnetwork.epizy.com .

show abstract

Model checking agent-based communities against uncertain group commitments and knowledge

Sultan

Yahyaoui

Mizouni

2021

Expert Systems with Applications

View full text Add to dashboard Cite

Formal reasoning on knowledge and commitments in multi-agent systems using Theatre

Cited by 6 publications

References 32 publications

An Argument in Favor of Magnetic Polarity Reversals Due to Heat Flux Variations in Fully Convective Stars and Planets

An Argument in Favor of Magnetic Polarity Reversals Due to Heat Flux Variations in Fully Convective Stars and Planets

Action network: a probabilistic graphical model for social simulation

Model checking agent-based communities against uncertain group commitments and knowledge

Contact Info

Product

Resources

About