We introduce HEX programs, which are nonmonotoniclogic programs admitting higher-orderatoms as well as external atoms, and we extendthe well-known answer-set semantics to thisclass of programs. Higher order features arewidely acknowledged as useful for performingmeta-reasoning, among other tasks. Furthermore,the possibility to exchange knowledge with externalsources in a fully declarative framework suchas Answer-Set Programming (ASP) is nowadaysimportant, in particular in view of applications inthe Semantic-Web area. Through external atoms,HEX programs can model some important extensionsto ASP, and are a useful KR tool for expressingvarious applications. Finally, complexity andimplementation issues for a preliminary prototypeare discussed.
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming
IANNI, Giovambattista;
2005-01-01
Abstract
We introduce HEX programs, which are nonmonotoniclogic programs admitting higher-orderatoms as well as external atoms, and we extendthe well-known answer-set semantics to thisclass of programs. Higher order features arewidely acknowledged as useful for performingmeta-reasoning, among other tasks. Furthermore,the possibility to exchange knowledge with externalsources in a fully declarative framework suchas Answer-Set Programming (ASP) is nowadaysimportant, in particular in view of applications inthe Semantic-Web area. Through external atoms,HEX programs can model some important extensionsto ASP, and are a useful KR tool for expressingvarious applications. Finally, complexity andimplementation issues for a preliminary prototypeare discussed.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
