English

RA: A machine based rational agent, Part 2, Preliminary test

Logic in Computer Science 2024-05-28 v1

Abstract

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. Particular attention is given to the finite computational resources of the real-world machine that define the environment within which programs are to be executed.

Cite

@article{arxiv.2405.16613,
  title  = {RA: A machine based rational agent, Part 2, Preliminary test},
  author = {G. Pantelis},
  journal= {arXiv preprint arXiv:2405.16613},
  year   = {2024}
}
R2 v1 2026-06-28T16:40:55.196Z