Axon Logic

beyond norms

Innovation Science and Engineering Research





Data Computing








 © 2022, axon logic. All Rights Reserved

     M. Timotheou 21

     142 31 Athens, Greece

     +30 210 2833 116 || + 30 6944 6962 21     

We have deeply invested and will continue to invest in producing Artificial Intelligence (AI) technology from scratch towards contributing to the superintelligence paradigm of the future.

Our focus is on formulating reasoning, planning, learning, perception, and robotics problems for Reactive machines (that can perceive the world directly and act on what they see), Limited memory machines (that can remember their experiences and learn how to handle new situations), and Self-awareness machines (that can represent their own system(s) and other surrounding systems).

Depending on the case, we approach the AI knowledge representation and problem solving, using a variety of logics, including:

  • first-order logic,

  • planning and inductive logic programming,

  • propositional logic

  • fuzzy logic,

  • non-monotonic logic,

  • description logic,

  • situation / event / fluent calculus,

  • modal logic, and

  • paraconsistent logic.

So far, we have built classifiers, controllers, classical neural networks, and quantum neural networks for deep learning, specifically for:

  • predictive digital twinning and engineering analytics,

  • digital workplaces over serious games data,

  • healthcare monitoring systems,

  • multi-agent cybersecurity engines,

  • energy-efficient automation schemas for Industry 4.0, 

  • integrated vehicle routing and health management,

  • Internet of Things data and resource management.

These solutions have been engineered using probabilistic methods for uncertain reasoning, such that they can operate with incomplete or uncertain information, by using tools like Bayesian and dynamic Bayesian networks, decision networks, expectation-maximization algorithm, hidden Markov models, and Kalman filters, among others.

Analysis and proofs in how our solutions can make autonomous choices and planings are also provided, using concepts from decision theory, decision analysis, means-ends analysis, information value theory, and models, like Markov decision processes, dynamic decision networks, competitive and cooperative game theory.

Our AI products are programming algorithms written in Lisp, Prolog, or TensorFlow, and can be delivered in the form of containers or micro-containers depending on the topology, volume, and scale of the given problem(s) and the origin of the targeted applications.

From their beginning, all our AI solutions are ethically designed according to the European Ethics design and Trustworthy AI standards to minimize risks and to make choices that benefit humans and societies.

Customers can inquire more details here.