Skip to content
EntityQ2852531· pop 14· linked from 195 articles

answer set programming

Sign in to save

Also known as ASP

paradigma di programmazione logica

Wikidata facts

Show 1 more fact
Sources (3)

via Wikidata · CC0

Article · Italiano

L'answer set programming (ASP) è una forma di programmazione logica di tipo dichiarativo utilizzato per problemi di ricerca complessi (in primis NP-difficili), basata sulla semantica del modello stabile (o answer set). In ASP i problemi di ricerca sono ridotti al calcolo di modelli stabili; per generare tali modelli vengono utilizzati programmi appositi noti come answer set solvers. Il linguaggio tipico di questo modello di programmazione è l'Answer Set Programming in Logic, sottoinsieme del Prolog, ed è impiegato in particolare per risolvere problemi di pianificazione (planning) e rappresentazione della conoscenza.

Abstract from DBpedia / Wikipedia · CC BY-SA

Connections

Categories