Augmented Post Systems: Syntax, Semantics, and Applications

Abstract

Augmented Post systems (APS) are string-operating Prolog-like knowledge representation, affiliated with the “ Set of Strings ” Framework (SSF). APS descriptive and logical inference capabilities provide natural integration of Big Data with online analytic processing. This chapter is dedicated to strict formal definition of APS syntax, mathematical and operational semantics, and to its most valuable implementational issues, as well as to APS application to Big Data, Internet of Things, cyberphysical industry, and cybersecurity areas. every activated F-production is interpreted as residual body of S-production (lines 7 – 9). Every variable declaration δ 0 , obtained as a result of this interpretation, is used for the creation of new message by substitution of δ 0 to actor s . This message is used as input value for function F recursive application. So the wave of messages, trig-gered by initial message, is generated, modeling well-known blackboard architecture . This wave propagation of any programs (including DBMS, software/hardware drivers, providing activation and operation of various devices, as well as network-ing middleware) may be applied. Operator terminate (line 11) stops F execution, so no return to the parent call is performed.