I am now mainly working on the following group of projects:

StarDust

Stardust is top-cover for a small constellation of projects which together take aim at cosmic cognition with a deductive core, of which the four main components are:

• SynEpis

This repository covers the philosophical (``synthetic epistemology’’) underpinnings which influence the aims and methods adopted in the other members of the constellation. It is mainly concerned with declarative knowledge, universal abstract representations and their semantics, the construction of abstract models, logical truth and formal derivation.

• HoLoTruth

  New logical kernels for deduction in abstract Higher Order Logic designed for a central role in a hybrid cosmic intelligence. This project is up for re-scoping at the moment, retaining its central concern with abstract logical truth (or the representation of declarative knowledge), but with a broader conception of what that involves in terms of software support.

• HoLoMod

  Concerned with the use of HoLoTruth for modelling the empirical world. and engaging with it. How it relates to sense data, and how it mediates in real world effects through activators. Also providing an approach to smart oracles for smart contracts.

• HoLoVal

  Concerning the formulation and implementation of value systems, using HoLoMod. I’m not expecting to see much movement here for some time.

And I have a few older repos, at present static or moribund.:

• Xi

  This is a place for me to explore the application of Deep Learning to theorem proving, and various other related matters. Hardly begun, since at the time I started it my ideas were moving pretty fast and I came up with the DA-Hol idea. It remains as a place for me to experiment.

• pp-contrib

  This is a fork of RobArthan’s pp-contrib for me to add contributions to ProofPower. I started to rebuild one of my set theories here (as “ti”) but didn’t get very far. I also set out more recently to put in an interface as Standard ML structures to various Deep Learning packages. This connects with DA-Hol (and XI) but this bit might as well be a contrib to ProofPower.

• www.rbjones.com

  This is a git repo containing the build system for the web site www.rbjones.com, which contains most of the output from my intellectual wanderings over the period from about 1994 to 2016.

  I am now in the process of mothballing this site as I transition to working only in github hosted development projects. Once this is complete, the site will be purely of historical interest. I might also transfer the web site itself onto pages.github.io if I decide it should still be up.