The ICARUS-System for Interactive Coherence Establishment in Logic Programs

Andre Thevapalan; Jesse Heyninck

doi:10.4204/EPTCS.385.25

The ICARUS-System for Interactive Coherence Establishment in Logic Programs

Research output: Contribution to journal › Conference Article in journal › Academic › peer-review

Abstract

When modelling expert knowledge as logic programs, default negation is very useful, but might lead to there being no stable models. Detecting the exact causes of the incoherence in the logic program manually can become quite cumbersome, especially in larger programs. Moreover, establishing coherence requires expertise regarding the modelled knowledge as well as technical knowledge about the program and its rules. In this demo, we present the implementation of a workflow that enables knowledge experts to obtain a coherent logic program by modifying it in interaction with a system that explains the causes of the incoherence and provides possible solutions to choose from.

Original language	English
Pages (from-to)	256-259
Number of pages	4
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	385
DOIs	https://doi.org/10.4204/EPTCS.385.25
Publication status	Published - 12 Sept 2023
Event	39th International Conference on Logic Programming, ICLP 2023 - London, United Kingdom Duration: 9 Jul 2023 → 15 Jul 2023 https://iclp2023.imperial.ac.uk/

Access to Document

10.4204/EPTCS.385.25

Cite this

@article{89eb4ed21faa4e63888505881f84da42,

title = "The ICARUS-System for Interactive Coherence Establishment in Logic Programs",

abstract = "When modelling expert knowledge as logic programs, default negation is very useful, but might lead to there being no stable models. Detecting the exact causes of the incoherence in the logic program manually can become quite cumbersome, especially in larger programs. Moreover, establishing coherence requires expertise regarding the modelled knowledge as well as technical knowledge about the program and its rules. In this demo, we present the implementation of a workflow that enables knowledge experts to obtain a coherent logic program by modifying it in interaction with a system that explains the causes of the incoherence and provides possible solutions to choose from.",

author = "Andre Thevapalan and Jesse Heyninck",

note = "Publisher Copyright: {\textcopyright} 2023 Open Publishing Association. All rights reserved.; 39th International Conference on Logic Programming, ICLP 2023 ; Conference date: 09-07-2023 Through 15-07-2023",

year = "2023",

month = sep,

day = "12",

doi = "10.4204/EPTCS.385.25",

language = "English",

volume = "385",

pages = "256--259",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

url = "https://iclp2023.imperial.ac.uk/",

}

TY - JOUR

T1 - The ICARUS-System for Interactive Coherence Establishment in Logic Programs

AU - Thevapalan, Andre

AU - Heyninck, Jesse

PY - 2023/9/12

Y1 - 2023/9/12

N2 - When modelling expert knowledge as logic programs, default negation is very useful, but might lead to there being no stable models. Detecting the exact causes of the incoherence in the logic program manually can become quite cumbersome, especially in larger programs. Moreover, establishing coherence requires expertise regarding the modelled knowledge as well as technical knowledge about the program and its rules. In this demo, we present the implementation of a workflow that enables knowledge experts to obtain a coherent logic program by modifying it in interaction with a system that explains the causes of the incoherence and provides possible solutions to choose from.

AB - When modelling expert knowledge as logic programs, default negation is very useful, but might lead to there being no stable models. Detecting the exact causes of the incoherence in the logic program manually can become quite cumbersome, especially in larger programs. Moreover, establishing coherence requires expertise regarding the modelled knowledge as well as technical knowledge about the program and its rules. In this demo, we present the implementation of a workflow that enables knowledge experts to obtain a coherent logic program by modifying it in interaction with a system that explains the causes of the incoherence and provides possible solutions to choose from.

U2 - 10.4204/EPTCS.385.25

DO - 10.4204/EPTCS.385.25

M3 - Conference Article in journal

AN - SCOPUS:85173051129

SN - 2075-2180

VL - 385

SP - 256

EP - 259

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 39th International Conference on Logic Programming, ICLP 2023

Y2 - 9 July 2023 through 15 July 2023

ER -

The ICARUS-System for Interactive Coherence Establishment in Logic Programs

Abstract

Access to Document

Fingerprint

Cite this