3 papers
cs.LO2024
RA: A machine based rational agent, Part 2, Preliminary test
G. Pantelis
A preliminary test of the software package RA is presented. The main focus of this test is to assess RA`s reasoning capabilities that are based on the formal system PECR. Particula…
cs.LO2024
RA: A machine based rational agent, Part 1
G. Pantelis
RA is a software package that couples machine learning with formal reasoning in an attempt to find the laws that generate the empirical data that it has been given access to. A bri…
cs.LO2024
PECR: A formal system based on computability logic
G. Pantelis
PECR is a formal system designed to explore the properties of computability of programs on a real-world computer. As such PECR incorporates the finite resources of the machine upon…