Integrated Use of System Z for Preferred Answer Set Programming
Answer set programming (ASP) and conditional reasoning are powerful KR formalisms capable of expressing default statements that usually hold but also allow for exceptions. While ASP excels with an intuitive rule-based syntax, fast solvers, and is suited to solve complex combinatorial search problem...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
LibraryPress@UF
2025-05-01
|
| Series: | Proceedings of the International Florida Artificial Intelligence Research Society Conference |
| Subjects: | |
| Online Access: | https://journals.flvc.org/FLAIRS/article/view/138664 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849725525139914752 |
|---|---|
| author | Marco Wilhelm Andre Thevapalan Gabriele Kern-Isberner |
| author_facet | Marco Wilhelm Andre Thevapalan Gabriele Kern-Isberner |
| author_sort | Marco Wilhelm |
| collection | DOAJ |
| description |
Answer set programming (ASP) and conditional reasoning are powerful KR formalisms capable of expressing default statements that usually hold but also allow for exceptions. While ASP excels with an intuitive rule-based syntax, fast solvers, and is suited to solve complex combinatorial search problems, conditionals provide a sophisticated preference-based semantics and yield principled inferences. In this paper, we investigate and compare different computational approaches on utilizing conditional background knowledge in order to prioritize the solutions of ASP programs. For this, we compile the specification of the System Z ranking model of conditionals into ASP constraints and, therewith, integrate the guidelines for prioritization according to System Z directly into the ASP programs.
|
| format | Article |
| id | doaj-art-0ff72037db0543abb401ef5aa652eb0f |
| institution | DOAJ |
| issn | 2334-0754 2334-0762 |
| language | English |
| publishDate | 2025-05-01 |
| publisher | LibraryPress@UF |
| record_format | Article |
| series | Proceedings of the International Florida Artificial Intelligence Research Society Conference |
| spelling | doaj-art-0ff72037db0543abb401ef5aa652eb0f2025-08-20T03:10:27ZengLibraryPress@UFProceedings of the International Florida Artificial Intelligence Research Society Conference2334-07542334-07622025-05-0138110.32473/flairs.38.1.138664Integrated Use of System Z for Preferred Answer Set ProgrammingMarco Wilhelm0https://orcid.org/0000-0003-0266-2334Andre Thevapalan1https://orcid.org/0000-0001-5679-6931Gabriele Kern-Isberner2https://orcid.org/0000-0001-8689-5391TU Dortmund UniversityTU Dortmund UniversityTU Dortmund University Answer set programming (ASP) and conditional reasoning are powerful KR formalisms capable of expressing default statements that usually hold but also allow for exceptions. While ASP excels with an intuitive rule-based syntax, fast solvers, and is suited to solve complex combinatorial search problems, conditionals provide a sophisticated preference-based semantics and yield principled inferences. In this paper, we investigate and compare different computational approaches on utilizing conditional background knowledge in order to prioritize the solutions of ASP programs. For this, we compile the specification of the System Z ranking model of conditionals into ASP constraints and, therewith, integrate the guidelines for prioritization according to System Z directly into the ASP programs. https://journals.flvc.org/FLAIRS/article/view/138664preferred answer set programmingconditional reasoningSystem Z |
| spellingShingle | Marco Wilhelm Andre Thevapalan Gabriele Kern-Isberner Integrated Use of System Z for Preferred Answer Set Programming Proceedings of the International Florida Artificial Intelligence Research Society Conference preferred answer set programming conditional reasoning System Z |
| title | Integrated Use of System Z for Preferred Answer Set Programming |
| title_full | Integrated Use of System Z for Preferred Answer Set Programming |
| title_fullStr | Integrated Use of System Z for Preferred Answer Set Programming |
| title_full_unstemmed | Integrated Use of System Z for Preferred Answer Set Programming |
| title_short | Integrated Use of System Z for Preferred Answer Set Programming |
| title_sort | integrated use of system z for preferred answer set programming |
| topic | preferred answer set programming conditional reasoning System Z |
| url | https://journals.flvc.org/FLAIRS/article/view/138664 |
| work_keys_str_mv | AT marcowilhelm integrateduseofsystemzforpreferredanswersetprogramming AT andrethevapalan integrateduseofsystemzforpreferredanswersetprogramming AT gabrielekernisberner integrateduseofsystemzforpreferredanswersetprogramming |