RA: A machine based rational agent, Part 1
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909207758897152 |
|---|---|
| author | Pantelis, G. |
| author_facet | Pantelis, G. |
| contents | 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 brief outline of RA in its initial stage of development is presented. Particular emphasis is given to current design strategies that aim to endow RA with the ability to construct its own conjectures of which it constructs proofs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_12551 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | RA: A machine based rational agent, Part 1 Pantelis, G. Logic in Computer Science cs.AI 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 brief outline of RA in its initial stage of development is presented. Particular emphasis is given to current design strategies that aim to endow RA with the ability to construct its own conjectures of which it constructs proofs. |
| title | RA: A machine based rational agent, Part 1 |
| topic | Logic in Computer Science cs.AI |
| url | https://arxiv.org/abs/2405.12551 |