Developing a declarative rule language for applications in product configuration

Timo Soininen, Ilkka Niemelä

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    72 Citations (Scopus)

    Abstract

    A rule-based language is proposed for product configuration applications. It is equipped with a declarative semantics providing formal definitions for main concepts in product configuration, including configuration models, requirements and valid configurations. The semantics uses Horn clause derivability to guarantee that each element in a configuration has a justification. This leads to favorable computational properties. For example, the validity of a configuration can be decided in linear time and other computational tasks remain in NP. It is shown that CSP and dynamic CSP can be embedded in the proposed language which seems to be more suitable for representing configuration knowledge. The rule language is closely related to normal logic programs with the stable model semantics. This connection is exploited in the first implementation which is based on a translator from rules to normal programs and on an existing high performance implementation of the stable model semantics, the Smodels system.

    Original languageEnglish
    Title of host publicationPRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
    Subtitle of host publicationFirst International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings
    EditorsG Gupta
    Pages305-319
    Number of pages15
    ISBN (Electronic)978-3-540-49201-6
    DOIs
    Publication statusPublished - 1999
    MoE publication typeA4 Article in a conference publication
    EventInternational Workshop on Practical Aspects of Declarative Languages - San Antonio, United States
    Duration: 18 Jan 199919 Jan 1999
    Conference number: 1

    Publication series

    NameLecture Notes in Computer Science
    PublisherSPRINGER-VERLAG BERLIN
    Volume1551
    ISSN (Print)0302-9743

    Conference

    ConferenceInternational Workshop on Practical Aspects of Declarative Languages
    Abbreviated titlePADL
    CountryUnited States
    CitySan Antonio
    Period18/01/199919/01/1999

    Keywords

    • LOGIC

    Cite this