Macros, macro calls and use of ensembles in modular answer set programming

Chitta Baral, Juraj Dzifcak, Hiro Takahashi

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

18 Citations (Scopus)

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. We report on an implementation that allows such constructs. 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 publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages376-390
Number of pages15
Volume4079 LNCS
StatePublished - 2006
Event22nd International Conference on Logic Programming, ICLP 2006 - Seattle, WA, United States
Duration: Aug 17 2006Aug 20 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4079 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other22nd International Conference on Logic Programming, ICLP 2006
CountryUnited States
CitySeattle, WA
Period8/17/068/20/06

Fingerprint

Answer Set Programming
Knowledge representation
Computer programming
Macros
Ensemble
Knowledge Representation
Module
Knowledge Bases
Semantics
Language
Logic programming
Answer Sets
Logic Programming
Knowledge Base
Repository
Engineers

ASJC Scopus subject areas

  • Computer Science(all)
  • Biochemistry, Genetics and Molecular Biology(all)
  • Theoretical Computer Science

Cite this

Baral, C., Dzifcak, J., & Takahashi, H. (2006). Macros, macro calls and use of ensembles in modular answer set programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4079 LNCS, pp. 376-390). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4079 LNCS).

Macros, macro calls and use of ensembles in modular answer set programming. / Baral, Chitta; Dzifcak, Juraj; Takahashi, Hiro.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4079 LNCS 2006. p. 376-390 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4079 LNCS).

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

Baral, C, Dzifcak, J & Takahashi, H 2006, Macros, macro calls and use of ensembles in modular answer set programming. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 4079 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4079 LNCS, pp. 376-390, 22nd International Conference on Logic Programming, ICLP 2006, Seattle, WA, United States, 8/17/06.
Baral C, Dzifcak J, Takahashi H. Macros, macro calls and use of ensembles in modular answer set programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4079 LNCS. 2006. p. 376-390. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Baral, Chitta ; Dzifcak, Juraj ; Takahashi, Hiro. / Macros, macro calls and use of ensembles in modular answer set programming. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4079 LNCS 2006. pp. 376-390 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{df706727a9124288a87abacc42f6e059,
title = "Macros, macro calls and use of ensembles in modular answer set programming",
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. We report on an implementation that allows such constructs. 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.",
author = "Chitta Baral and Juraj Dzifcak and Hiro Takahashi",
year = "2006",
language = "English (US)",
isbn = "9783540366355",
volume = "4079 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "376--390",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Macros, macro calls and use of ensembles in modular answer set programming

AU - Baral, Chitta

AU - Dzifcak, Juraj

AU - Takahashi, Hiro

PY - 2006

Y1 - 2006

N2 - 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. We report on an implementation that allows such constructs. 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.

AB - 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. We report on an implementation that allows such constructs. 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.

UR - http://www.scopus.com/inward/record.url?scp=33749333636&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33749333636&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:33749333636

SN - 9783540366355

VL - 4079 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 376

EP - 390

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -