Contact details

John Lloyd
Professor Emeritus
School of Computing
College of Engineering, Computing and Cybernetics
Australian National University
Canberra ACT 0200

Research interests

Computational logic, agents, machine learning, and declarative programming languages.

Draft book on empirical beliefs

Empirical beliefs are beliefs that are acquired from observations by an agent situated in an environment. Agents use empirical beliefs to track reality. This manuscript is a draft of a mathematical theory of empirical beliefs. In particular, it examines in detail the structure of empirical beliefs, and how to acquire and utilize them.

The account here of empirical beliefs is probabilistic and modal. Probability theory is used to model uncertainty about beliefs and provides a form of `degree of belief'. Modal operators provide doxastic and temporal aspects of beliefs. The main contributions are the introduction of the concept of a schema from which empirical beliefs are obtained, the ability to acquire from observations beliefs that are conditional distributions, the sophistication of the representation language for empirical beliefs, and the ability to reason about such beliefs.

Preface and contents of Empirical Beliefs.

Draft book as of 19 May 2022.

Some papers