Servizio di ragionamento automatico distribuito denominato MaMaS-tng, per la rappresentazione della conoscenza orientato al commercio elettronico, che espone una interfaccia conforme allo standard DIG 1.1.
Questo sistema espone una interfaccia conforme allo standard DIG 1.1, sviluppato in J2EE, con un core reasoning process sviluppato in C++. Nella fattispecie, MAMAS-tng è un serivzio di ragionamento automatico che introduce nuovi particolari servizi di inferenza. In particolare sono state implementate delle procedure di inferenza non standard, con particolare riferimento agli algoritmi di matching semantico applicato a processi di business, concept abduction e contraction, utili per la negoziazione tra domanda ed offerta di servizi o di beni. |
