Numerical Analysis of Possibilistic Answer Set

Loading...
Thumbnail Image
File version
Accepted Manuscript (AM)
Author(s)
Islam, A
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2021
Size
File type(s)
Location
License
Abstract

Possibilistic logic program (PLP) is a logic system for representing incomplete and uncertain knowledge in a non-probabilistic way. One of the existing semantics is less expressive and the other one is not tools-oriented, none of them characterises the possibilistic integrity constraints, resulting in the semantics are not compatible for software development. In this paper, we consider a monotonic PLP-a fully grounded possibilistic definite logic program (PDLP)-and formalise a tools-oriented numerical method to determine the answer set of the PDLP. To do so, firstly, we define an atom-wise transformation of a PDLP into a system of equality constraints of necessity degrees. Secondly, we formalise iterative formulas to determine those necessity degrees. Finally, we extend our method to characterise the possibilistic integrity constraints appearing in PDLP. We consider the theoretical aspect to understand the efficiency and the computational complexity of the proposed method and prove that the number of iterations required here for a PDLP is at best the number of rules of the program.

Journal Title
Conference Title
2021 IEEE Symposium Series on Computational Intelligence (SSCI)
Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
© 2021 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject
Information systems
Persistent link to this record
Citation
Islam, A, Numerical Analysis of Possibilistic Answer Set, 2021 IEEE Symposium Series on Computational Intelligence (SSCI), 2021