d0SL: Delta Zero Semantic Language
d0SL is a next step generation of so called Business Rules Engines (BRE). Just like regular BRE’s
d0SL allows you to implement business logic of your system by using declarative logical specifications language.
d0SLhas very simple purely logical syntax, which does not require any programming skills from users who use it to specify business logic. Everyone who has basic understanding of logic can start using it in a matter of several hours unlike other BREs, which require significant investment of time to learn and special programming skills to understand and write business rules.
d0SLscales from embedded systems to enterprise level. Its footprint is very lightweight and can be deployed even on embedded systems like Raspberry PI. On the other hand,
d0SLcan be used on enterprise level (we have carrier grade version of
d0SLcalled Eyeline SDP, which is used by several mobile telcos, banks etc).
d0SLhas very clear intuitive semantics for non programmers, because
d0SLis based on a pure Delta 0 subset of first order predicate logic and has mathematically proven semantics. Unlike
d0SLother BREs have non clear semantics which makes them much more difficult to use.
d0SLallows to create DSLs (domain specific languages) which can be used to create business rules not only by your employees, but also by your end users.
d0SLprovides IDE out of the box, which simplifies creation of logical rules. We supply this in a form of
d0SLplugin for JetBrains MPS. This simplifies the creation of semantic logical models because this plugin helps the user to create syntactically correct semantic models.
d0SLallows easy integration with your existing software by implementing integration drivers (so called domain models).
d0SLallows to implement one set of logical rules on top of the other sets of logical rules (a set of logical rules is called semantic model). In turn this allows to increase level of abstraction as much as you need. And this is important for you to create a Domain Specific Language for your users/employees which is easy to learn and easy to use.
Remember the three Laws of Robotics which govern the behaviour of Isaac Asimov’s fictional Positronic Robots. They were formally stated by Asimov in his story “Runaround” (March 1942):
A robot may not injure a human being or, through inaction, allow a human being to come to harm.
A robot must obey orders given it by human beings except where such orders would conflict with the First Law.
A robot must protect its own existence as long as such protection does not conflict with the First or Second Law.
New industrial revolution begins now.
But there is a recognized problem in the field of artificial intelligence. Namely the black box problem. Even a neural network technician does not know what is going on inside.
Who is responsible for robots? Who controls them if programmers and datasсientists cannot understand the algorithms by which artifitial intelligince operates?
d0SL technology can be embedded in AI, IoT, autonomous systems of any complexity. In this case, it becomes possible to determine the logical rules of the behavior of such systems in a clear language of human logic. For example, it can implement the three Laws of Robotics.