Showing 1–8 of 8 results for author: Pantelis, G

CEASEFIRE: An AI-powered system for combatting illicit firearms trafficking

Authors: Ioannis Mademlis, Jorgen Cani, Marina Mancuso, Caterina Paternoster, Emmanouil Adamakis, George Margetis, Sylvie Chambon, Alain Crouzil, Loubna Lechelek, Georgia Dede, Spyridon Evangelatos, George Lalas, Franck Mignet, Pantelis Linardatos, Konstantinos Kentrotis, Henryk Gierszal, Piotr Tyczka, Sophia Karagiorgou, George Pantelis, Georgios Stavropoulos, Konstantinos Votis, Georgios Th. Papadopoulos

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. 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. △ Less

Submitted 21 June, 2024; originally announced June 2024.

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

Authors: G. Pantelis

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. 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. △ Less

Submitted 26 May, 2024; originally announced May 2024.

MSC Class: cs.AI

RA: A machine based rational agent, Part 1

Authors: G. Pantelis

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 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. △ Less

Submitted 21 May, 2024; originally announced May 2024.

MSC Class: cs.AI

PECR: A formal system based on computability logic

Authors: G. Pantelis

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 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 exploration of the laws of nature that lead to rigorous constructions of computer models of real-world phenomena. △ Less

Submitted 21 March, 2024; originally announced March 2024.

Programs as the Language of Science

Authors: Garry Pantelis

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 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 based on computability as opposed to the classical notion of truth value assignments. The focus is on theories where the intrinsic properties and dynamic state of real world objects can be defined in terms of information and subject to laws based on simple deterministic rules and finite state arithmetic. Such models, it is argued, not only offer alternative simulation tools, as opposed to those based on discrete approximations of conventional continuum theories, but in themselves can be regarded as a language that describes the physical laws at a fundamental level. This book does not examine any specific application in detail but rather attempts to lay down a foundation for the validation of such theories by employing the inference scheme based on computability logic. △ Less

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

Authors: Garry Pantelis

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 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 executed and hence their validation can be associated with the allowable computations on the machine. A simple formal system based on a language of functional programs is employed as a tool of analysis. △ Less

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

Program Verification of Numerical Computation - Part 2

Authors: Garry Pantelis

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 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 higher order constructs is also presented. △ Less

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

Program Verification of Numerical Computation

Authors: Garry Pantelis

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 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 numerically intensive programs that are commonplace in computer models. The project evolved into a wider area for program construction as proofs leading to a model of inference in a more general sense. Some basic results of machine arithmetic are derived as a demonstration of VPC. △ Less

Submitted 7 January, 2014; originally announced January 2014.

MSC Class: 03Fxx ACM Class: F.4.1; F.3.1