AI tools that reason, for running a business
The VAILS server and its VVL language bring together language models, which understand text, and symbolic reasoning, which applies rules exactly and verifiably. Our work has given rise to high-level tools, each designed for one family of management decisions.
One family of decisions, one tool
Jev model
A fast decision-maker whose confidence is measured, and our test bench comparing a language model alone with neuro-symbolic modelling.
Universal solver
A question in natural language is classified, then handed to the right engine: calculation, optimisation, logic, expertise or extraction.
Optimisation & scheduling
Team rotas, delivery rounds, cutting, assignments: the best solution under constraints, and an explanation when there is none.
Expert system
Describing a domain and its rules in plain language is enough to obtain an expert system: ontology, typical profiles and fuzzy rules, ready to decide.
Ontologies & business rules
The company's categories, rules and exceptions, written once and applied exactly to documents and data.
Rule learning
Recovering, from labelled examples, the readable rule that explains them: an AI that learns without becoming a black box.
The model proposes, the symbolic decides
All these tools follow the same rule. The language model is used to understand: reading a document, interpreting a question, proposing a structure. The decision, however, is entrusted to a symbolic engine: a constraint solver, a logic engine, an ontology, a set of learned rules. What is decided can therefore be verified, explained and replayed.
- 01Understand
The language model reads the specific case.
- 02Model
The ontology holds the general knowledge.
- 03Decide
The symbolic engine settles the matter.
- 04Verify and trace
Every decision leaves a trace.
These tools are instructions of the VVL language. They combine within a single programme: an ontology describes the data, a learned rule classifies them, an optimisation problem derives a schedule from them, and the solver answers questions asked in natural language.
Apply this work to your processes?
These tools are instructions of the VVL language: our partners implement them for their clients on the ProSuite platforms.