A semantic transport networks for preferential routing

Artykuł prezentuje formalizm sieci semantycznej oparty na logice ramek. Zadanie wyznaczania uprzywilejowanych tras stanowi pole wykorzystania zaawansowanych technik opracowania dynamicznych modułów, rozszerzeń HiLog i logiki transakcyjnej. Opracowany dedukcyjny program implementowany jest z użyciem silnika wnioskowania FLORA-2, który pozwala na wykonywanie skalowalnych zapytań. Artykuł kończy się omówieniem rozszerzeń systemu i prezentacja kierunków dalszych badań.

The paper presents a semantic network formalism based on frame logic. Advanced techniques, including HiLog extensions, transaction logic and dynamic module creation are applied to the problem of preferential routing and rerouting. The deductive program is implemented in the FLORA-2 reasoning engine, which allows the scalable query execution. Finally, possible extensions to the system and guidelines for a future research are presented.