Parametric Connectives in Disjunctive Logic Programming

Title: Parametric Connectives in Disjunctive Logic Programming

Research Question: Can we enhance the knowledge modelling abilities of Disjunctive Logic Programming (DLP) by introducing parametric connectives?

Methodology: The researchers proposed a new language called DLP/logicalortext,/logicalandtext by extending the existing DLP with parametric connectives (OR and AND). These connectives allow the representation of atoms having a specific property. They defined the semantics of the new language and showed its usefulness on relevant knowledge-based problems.

Results: They demonstrated that the new language can express problems where the size of the disjunction or conjunction is not known "a priori", but it is part of the input. They addressed implementation issues and discussed related works.

Implications: The introduction of parametric connectives extends the expressiveness of DLP, allowing it to model problems that could not be expressed naturally in DLP before. This could have practical implications for knowledge representation and reasoning, making DLP a more versatile tool for solving various problems.

Link to Article: https://arxiv.org/abs/0311007v1 Authors: arXiv ID: 0311007v1