Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
https://hdl.handle.net/123456789/963| Τύπος: | Άρθρο σε επιστημονικό περιοδικό |
| Τίτλος: | An ASP-based solver for parametrized-difference revision |
| Συγγραφέας: | [EL] Αραβανής, Θεοφάνης[EN] Aravanis, Theofanis |
| Ημερομηνία: | 01/10/2021 |
| Περίληψη: | In the present article, a solver for the well-behaved concrete revision operators, named parametrized-difference (PD) revision operators, is described. The solver is developed by means of the powerful framework of answer set programming, which constitutes a contemporary modelling tool, oriented towards difficult search problems. Several useful functionalities are supported by the system, namely, dynamic PD revision, query-answering capabilities, integrity-constraints handling and revision under the closed-world assumption. The solver exhibits high performance in a plethora of revision instances, including hard ones of the SATLIB library; the fact that PD revision respects an intuitive relevance-sensitive principle, identified herein, contributes to this high performance. A graphical user interface provides easy interaction with the implemented system, making it a high-end standalone revision-tool for potential artificial intelligence applications. |
| Γλώσσα: | Αγγλικά |
| Σελίδες: | 37 |
| DOI: | 10.1093/logcom/exab061 |
| ISSN: | 0955-792X |
| Θεματική κατηγορία: | [EL] Τεχνητή νοημοσύνη[EN] Artificial Intelligence |
| Λέξεις-κλειδιά: | Belief change; parametrized-difference (PD) revision solver; answer set programming (ASP); knowledge representation; artificial intelligence |
| Κάτοχος πνευματικών δικαιωμάτων: | © The Author(s) 2021 |
| Όροι και προϋποθέσεις δικαιωμάτων: | Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permission@oup.com |
| Ηλεκτρονική διεύθυνση του τεκμηρίου στον εκδότη: | https://academic.oup.com/logcom/article/32/3/630/6378805 |
| Ηλεκτρονική διεύθυνση περιοδικού: | https://academic.oup.com/logcom |
| Τίτλος πηγής δημοσίευσης: | Journal of Logic and Computation |
| Τεύχος: | 3, April 2022 |
| Τόμος: | 32 |
| Σελίδες τεκμηρίου (στην πηγή): | 630–666 |
| Σημειώσεις: | This research is co-financed by Greece and the European Union (European Social Fund) through the Operational Programme ‘Human Resources Development, Education and Lifelong Learning’ in the context of the project ‘Reinforcement of Postdoctoral Researchers—2nd Cycle’ [MIS-5033021], implemented by the State Scholarships Foundation (IKY). |
| Εμφανίζεται στις συλλογές: | Μεταδιδακτορικοί ερευνητές |
Αρχεία σε αυτό το τεκμήριο:
Το πλήρες κείμενο αυτού του τεκμηρίου δεν διατίθεται προς το παρόν από το αποθετήριο