Ιδρυματικό Αποθετήριο [SANDBOX]
Πολυτεχνείο Κρήτης
EN  |  EL

Αναζήτηση

Πλοήγηση

Ο Χώρος μου

Modal logic S5 satisfiability in answer set programming

Alviano, Mario, Batsakis Sotirios, Baryannis George

Απλή Εγγραφή


URIhttp://purl.tuc.gr/dl/dias/D6427DCD-DB09-4BD1-852D-A2C0A7F086D3-
Αναγνωριστικόhttps://doi.org/10.1017/S1471068421000247-
Αναγνωριστικόhttps://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/modal-logic-s5-satisfiability-in-answer-set-programming/0FD63633A933C2D7026D941C35EC5CAA#-
Γλώσσαen-
Μέγεθος16 pagesen
ΤίτλοςModal logic S5 satisfiability in answer set programmingen
ΔημιουργόςAlviano, Marioen
ΔημιουργόςBatsakis Sotiriosen
ΔημιουργόςΜπατσακης Σωτηριοςel
ΔημιουργόςBaryannis Georgeen
ΕκδότηςCambridge University Pressen
ΠερίληψηModal logic S5 has attracted significant attention and has led to several practical applications, owing to its simplified approach to dealing with nesting modal operators. Efficient implementations for evaluating satisfiability of S5 formulas commonly rely on Skolemisation to convert them into propositional logic formulas, essentially by introducing copies of propositional atoms for each set of interpretations (possible worlds). This approach is simple, but often results into large formulas that are too difficult to process, and therefore more parsimonious constructions are required. In this work, we propose to use Answer Set Programming for implementing such constructions, and in particular for identifying the propositional atoms that are relevant in every world by means of a reachability relation. The proposed encodings are designed to take advantage of other properties such as entailment relations of subformulas rooted by modal operators. An empirical assessment of the proposed encodings shows that the reachability relation is very effective and leads to comparable performance to a state-of-the-art S5 solver based on SAT, while entailment relations are possibly too expensive to reason about and may result in overhead.en
ΤύποςPeer-Reviewed Journal Publicationen
ΤύποςΔημοσίευση σε Περιοδικό με Κριτέςel
Άδεια Χρήσηςhttp://creativecommons.org/licenses/by/4.0/en
Ημερομηνία2022-10-04-
Ημερομηνία Δημοσίευσης2021-
Θεματική ΚατηγορίαModal logicen
Θεματική ΚατηγορίαS5en
Θεματική ΚατηγορίαAnswer Set Programmingen
Θεματική ΚατηγορίαKripke semanticsen
Βιβλιογραφική ΑναφοράM. Alviano, S. Batsakis, and G. Baryannis, “Modal logic S5 satisfiability in answer set programming,” Theory Pract. Logic Program., vol. 21, no. 5, pp. 527–542, Sep. 2021, doi: 10.1017/S1471068421000247.en

Υπηρεσίες

Στατιστικά