Abstract:Active Inference is a recent framework for modeling planning under uncertainty. Empirical and theoretical work have now begun to evaluate the strengths and weaknesses of this approach and how it might be improved. A recent extension - the sophisticated inference (SI) algorithm - improves performance on multi-step planning problems through recursive decision tree search. However, little work to date has been done to compare SI to other established planning algorithms. SI was also developed with a focus on inference as opposed to learning. The present paper has two aims. First, we compare performance of SI to Bayesian reinforcement learning (RL) schemes designed to solve similar problems. Second, we present an extension of SI - sophisticated learning (SL) - that more fully incorporates active learning during planning. SL maintains beliefs about how model parameters would change under the future observations expected under each policy. This allows a form of counterfactual retrospective inference in which the agent considers what could be learned from current or past observations given different future observations. To accomplish these aims, we make use of a novel, biologically inspired environment designed to highlight the problem structure for which SL offers a unique solution. Here, an agent must continually search for available (but changing) resources in the presence of competing affordances for information gain. Our simulations show that SL outperforms all other algorithms in this context - most notably, Bayes-adaptive RL and upper confidence bound algorithms, which aim to solve multi-step planning problems using similar principles (i.e., directed exploration and counterfactual reasoning). These results provide added support for the utility of Active Inference in solving this class of biologically-relevant problems and offer added tools for testing hypotheses about human cognition.

An Efficient Model Inference Algorithm for Learning-based Testing of Reactive Systems

Learning Probabilistic Models for Model Checking: an Evolutionary Approach and an Empirical Study

Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.

TKS-BLS: Temporal Kernel Stationary Broad Learning System for Enhanced Modeling, Anomaly Detection, and Incremental Learning with Application to Ironmaking Processes

Automatically ‘verifying’ Discrete-Time Complex Systems Through Learning, Abstraction and Refinement

Improved Population-Based Incremental Learning of Bayesian Networks with partly known structure and parallel computing

Active model learning of stochastic reactive systems (extended version)

Planning to Learn: A Novel Algorithm for Active Learning during Model-Based Planning

Inferring Test Models from Kate's Bug Reports Using Multi-objective Search.

Inductive Learning of Logical Theories with LLMs: A Complexity-graded Analysis

Towards Better Response Times and Higher-Quality Queries in Interactive Knowledge Base Debugging

Efficient dynamic model based testing using greedy test case selection

Knowledge-based relevance filtering for efficient system-level test-based model generation

Knowledge Graph Driven Inference Testing for Question Answering Software

Efficient Online Inference and Learning in Partially Known Nonlinear State-Space Models by Learning Expressive Degrees of Freedom Offline

Model Checking Embedded C Software using k-Induction and Invariants (extended version)

Online Joint State Inference and Learning of Partially Unknown State-Space Models

Iterative Knowledge Distillation through Feedback-Driven Learning Cycles

Kernel-based Regularized Iterative Learning Control of Repetitive Linear Time-varying Systems

On the Effectiveness of Iterative Learning Control

Learning and statistical model checking of system response times