Macros, macro calls and use of ensembles in modular Answer Set Programming

Saadat Anwar, Chitta Baral, Juraj Dzifcak

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

Currently, most knowledge representation using logic programming with answer set semantics (AnsProlog) is 'flat'. In this paper we elaborate on our thoughts about a modular structure for knowledge representation and declarative problem solving formalism using AnsProlog. We present language constructs that allow defining of modules and calling of such modules from programs. This allows one to write large knowledge bases or declarative problem solving programs by reusing existing modules instead of writing everything from scratch. Our ultimate aim is to facilitate the creation and use of a repository of modules that can be used by knowledge engineers without having to re-implement basic knowledge representation concepts from scratch.

Original languageEnglish (US)
Title of host publicationFormalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering - Papers from the AAAI Spring Symposium, Technical Report
Pages1-9
Number of pages9
StatePublished - Aug 21 2006
Event2006 AAAI Spring Symposium - Stanford, CA, United States
Duration: Mar 27 2006Mar 29 2006

Publication series

NameAAAI Spring Symposium - Technical Report
VolumeSS-06-05

Other

Other2006 AAAI Spring Symposium
CountryUnited States
CityStanford, CA
Period3/27/063/29/06

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Anwar, S., Baral, C., & Dzifcak, J. (2006). Macros, macro calls and use of ensembles in modular Answer Set Programming. In Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering - Papers from the AAAI Spring Symposium, Technical Report (pp. 1-9). (AAAI Spring Symposium - Technical Report; Vol. SS-06-05).