Please use this identifier to cite or link to this item: https://scidar.kg.ac.rs/handle/123456789/13077
Title: Automated non-monotonic reasoning in System P
Authors: Stojanovic, Tatjana
Ikodinović N.
Davidovíc T.
Ognjanović Z.
Issue Date: 2021
Abstract: This paper presents a novel approach to automated reasoning in System P. System P axiomatizes a set of core properties that describe reasoning with defeasible assertions (defaults) of the form: if α then normally (usually or typically) β. A logic with approximate conditional probabilities is used for modeling default rules. That representation enables reducing the satisfiability problem for default reasoning to the (non)linear programming problem. The complexity of the obtained instances requires the application of optimization approaches. The main heuristic that we use is the Bee Colony Optimization (BCO). As an alternative to BCO, we use Simplex method and Fourier-Motzkin Elimination method to solve linear programming problems. All approaches are tested on a set of default reasoning examples that can be found in literature. The general impression is that Fourier-Motzkin Elimination procedure is not suitable for practical use due to substantially high memory usage and time consuming execution, the Simplex method is able to provide useful results for some of the tested examples, while heuristic approach turns out to be the most appropriate in terms of both success rate and time needed for reaching conclusions. In addition, the BCO method was tested on a set of randomly generated examples of larger dimensions, illustrating its practical usability.
URI: https://scidar.kg.ac.rs/handle/123456789/13077
Type: article
DOI: 10.1007/s10472-021-09738-2
ISSN: 1012-2443
SCOPUS: 2-s2.0-85103970779
Appears in Collections:Faculty of Science, Kragujevac

Page views(s)

483

Downloads(s)

7

Files in This Item:
File Description SizeFormat 
PaperMissing.pdf
  Restricted Access
29.86 kBAdobe PDFThumbnail
View/Open


Items in SCIDAR are protected by copyright, with all rights reserved, unless otherwise indicated.