Modelling a complex phenomenon such as the mind presents tremendous computational
complexity challenges. Modelling field theory (MFT) addresses these challenges in a non …

Modeling of complex phenomena such as the mind presents tremendous computational
complexity challenges. The neural modeling fields theory (NMF) addresses these …

We developed an original approach to cognition, based on the previously developed theory
of neural modeling fields and dynamic logic. This approach is based on the detailed …

The DPLL procedure is the basis of some of the most successful propositional satisfiability
solvers to date. Although originally devised as a proof-procedure for first-order logic, it has …

This paper investigates the power of first-order probabilistic logic (FOPL) as a representation
language for complex dynamic situations. We introduce a sublanguage of FOPL and use it …

In this paper we introduce a computational-level model of theory of mind (ToM) based on
dynamic epistemic logic (DEL), and we analyze its computational complexity. The model is a …

This book describes a new mathematical concept called modeling field theory; demonstrates
applications of neural networks based on this theory to a variety of problems; and analyzes …

Abstract Theory of mind refers to the human capacity for reasoning about others' mental
states based on observations of their actions and unfolding events. This type of reasoning is …

Dynamic epistemic logic (DEL) extends purely modal epistemic logic (S5) by adding
dynamic operators that change the model structure. Propositional dynamic logic (PDL) …

This paper takes a dynamical systems perspective on the semantic structures of dynamic
epistemic logic (DEL) and asks the question which orbits DEL-based dynamical systems …