paper-with-me

홈 › Papers

Learning Weak Constraints in Answer Set Programming

2015-07-23 · Mark Law, Alessandra Russo, Krysia Broda

This paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set Programming (ASP). The framework, called Learning from Ordered Answer Sets, generalises our previous work on learning ASP programs without weak constraints, by considering a new notion of examples as ordered pairs of partial answer sets that exemplify which answer sets of a learned hypothesis (together with a given background knowledge) are preferred to others. In this new learning task inductive solutions are searched within a hypothesis space of normal rules, choice rules, and hard and weak constraints. We propose a new algorithm, ILASP2, which is sound and complete with respect to our new learning framework. We investigate its applicability to learning preferences in an interview scheduling problem and also demonstrate that when restricted to the task of learning ASP programs without weak constraints, ILASP2 can be much more efficient than our previously proposed system.

📄 PDF Abstract BibTeX arXiv:1507.06566

Code (0)

등록된 구현이 없습니다.

Tasks

Inductive logic programmingScheduling

Similar Papers 제목 키워드 기반

Quantifying over Optimum Answer Sets

2024-08-14 · Giuseppe Mazzotta, Francesco Ricca, Mirek Truszczynski

Answer Set Programming with Quantifiers (ASP(Q)) has been introduced to provide a natural extension of ASP modeling to problems in the polynomial hierarchy (PH). However, ASP(Q) lacks a method for encoding in an elegant …

global-optimization

Deontic Paradoxes in ASP with Weak Constraints

2023-08-30 · Christian Hatschka, Agata Ciabattoni, Thomas Eiter

The rise of powerful AI technology for a range of applications that are sensitive to legal, social, and ethical norms demands decision-making support in presence of norms and regulations. Normative reasoning is the realm…

Decision Making

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation

2026-05-26 · Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca arxiv

ASP(Q) extends Answer Set Programming (ASP) with Quantifiers over answer sets. In this paper we focus on the class of ASP(Q) programs with two quantifiers and weak constraints, denoted as 2-ASP(Q)^w. 2-ASP(Q)^w is a prac…

Characterizing and Extending Answer Set Semantics using Possibility Theory

2013-11-30 · Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir

Answer Set Programming (ASP) is a popular framework for modeling combinatorial problems. However, ASP cannot easily be used for reasoning about uncertain information. Possibilistic ASP (PASP) is an extension of ASP that …

Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis

2017-07-13 · Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller

Answer Set Programming (ASP) is a well-established declarative paradigm. One of the successes of ASP is the availability of efficient systems. State-of-the-art systems are based on the ground+solve approach. In some appl…