Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS


SOCS Streszczenie raportu

Project ID: IST-2001-32530
Źródło dofinansowania: FP5-IST
Kraj: Cyprus

GORGIAS - An Argumentation-based Proof Procedure for Reasoning with Conditional Priorities, with Prototype Implementation

A proof procedure for Logic programming with Priorities (specifically in the framework of LPwNF) and its integration with abduction has been studied and implemented in a met interpreter, called GORGIAS, for argumentative deliberation.
GORGIAS is a general system for argumentation in that combines preference reasoning and abduction.

It can form the basis for reasoning about adaptable preference policies in the face of incomplete information from dynamic and evolving environments.

Gorgias has been ported to work both with SICSTUS and SWI-Prolog. It has been tested with examples from various domains like legal reasoning, inheritance theory, and autonomous agent deliberation. The experiments have shown the flexibility of the system, and its ability to be specialized to additional or changing needs.

In particular, GORGIAS is the basis on which the cycle theories of KGP computess are implemented.

As such it is one of the basis frameworks and systems on which the PROSOCS platform is build.

Powiązane informacje

Reported by

See on map
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę