-
CEASEFIRE: An AI-powered system for combatting illicit firearms trafficking
Abstract: Modern technologies have led illicit firearms trafficking to partially merge with cybercrime, while simultaneously permitting its off-line aspects to become more sophisticated. Law enforcement officers face difficult challenges that require hi-tech solutions. This article presents a real-world system, powered by advanced Artificial Intelligence, for facilitating them in their everyday work.
Submitted 21 June, 2024; originally announced June 2024.
-
RA: A machine based rational agent, Part 2, Preliminary test
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.
Submitted 26 May, 2024; originally announced May 2024.
MSC Class: cs.AI
-
RA: A machine based rational agent, Part 1
Abstract: 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 p… ▽ More
Submitted 21 May, 2024; originally announced May 2024.
MSC Class: cs.AI
-
PECR: A formal system based on computability logic
Abstract: 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 which a program is to be executed. The main features of the formal system will be presented and its practical applications will be discussed. Of particular interest is the implementation of the formal system to the expl… ▽ More
Submitted 21 March, 2024; originally announced March 2024.
-
arXiv:1811.05116 [pdf, ps, other]
Programs as the Language of Science
Abstract: Currently it is widely accepted that the language of science is mathematics. This book explores an alternative idea where the future of science is based on the language of algorithms and programs. How such a language can actually be implemented in the sciences is outlined in some detail. We start by constructing a simple formal system where statements are represented as programs and inference is b… ▽ More
Submitted 5 November, 2020; v1 submitted 13 November, 2018; originally announced November 2018.
Comments: arXiv admin note: substantial text overlap with arXiv:1510.04469
ACM Class: D.2.4; F.4.1
-
A Formal System: Rigorous Constructions of Computer Models
Abstract: This book explores an alternative to the current dominant paradigm where a discrete computer model is constructed as an attempt to approximate some continuum theory. We focus on a class of discrete computer models that are based on simple deterministic rules and finite state arithmetic. Such models are highly compatible with the operational parameters of the real world computer on which they are e… ▽ More
Submitted 13 April, 2017; v1 submitted 15 October, 2015; originally announced October 2015.
MSC Class: 03B35 (Primary); 00A71; 03B15 (Secondary) ACM Class: D.2.4; F.4.1
-
arXiv:1406.2079 [pdf, ps, other]
Program Verification of Numerical Computation - Part 2
Abstract: These notes present some extensions of a formal method introduced in an earlier paper. The formal method is designed as a tool for program verification of numerical computation and forms the basis of the software package VPC. Included in the extensions that are presented here are disjunctions and methods for detecting non-computable programs. A more comprehensive list of the construction rules as… ▽ More
Submitted 20 November, 2014; v1 submitted 9 June, 2014; originally announced June 2014.
Comments: arXiv admin note: text overlap with arXiv:1401.1290
MSC Class: 03Fxx ACM Class: F.4.1; F.3.1
-
arXiv:1401.1290 [pdf, ps, other]
Program Verification of Numerical Computation
Abstract: These notes outline a formal method for program verification of numerical computation. It forms the basis of the software package VPC in its initial phase of development. Much of the style of presentation is in the form of notes that outline the definitions and rules upon which VPC is based. The initial motivation of this project was to address some practical issues of computation, especially of n… ▽ More
Submitted 7 January, 2014; originally announced January 2014.
MSC Class: 03Fxx ACM Class: F.4.1; F.3.1