SWS Academic Research eLibraryEarth & Planetary Sciences

Scholarly record

MODELING OF FUZZY REASONING IN PREDICATE LOGIC BASED ON PETRI NETS

Aleksandr Shajkin

First published: 2018-06-20https://doi.org/10.5593/sgem2018/2.1/s07.072View metrics

Abstract

Methods of deductive inference that are various modifications of the principle of resolutions are quite effective in logic. The results and justifications for the fuzzy conclusion of the resolution type are widespread in the predicate calculus. The existing models of the resolution inference are effective, and also quite simple and convenient, for conventional reasoning under incomplete information and for automatic processing of uncertain knowledge in interactive systems. However, in such models the set of generated resolvents does not have a structure, therefore the process of logical reasoning is neither visual nor reflecting the influence of fuzzy degrees of truth of some predicates on fuzzy degrees of truth of others. As a model of knowledge representation we proposed a new class of fuzzy high-level Petri nets for reasoning. We model Horn clauses as fragments of this net, propagate along the net tuples of variables corresponding to predicates, and calculate the fuzzy degree of truth of the goal clause. Fragments of our proposed net structure model the rules, and its dynamics reflects the generation of resolvents. In this case, the fuzzy degree of truth of the goal statement is calculated. The developed fuzzy logic models and algorithms of fuzzy inference in the predicate calculus on the basis of Petri nets have universality, the ability to take into account the uncertainty of different nature, structuredness and visibility. They can equally be successfully used in various industries for creating advisory systems, decision support algorithms. This will be able to automate the solution of a wide class of practical problems that are difficult to quantify, uncertain in knowledge and data. At the same time, technicians can work with models even they do not have special knowledge and skills in the field of fuzzy sets, logical programming or automatic proof of theorems. Due to the possibility to take into account both the fuzzy degree of truth of facts and the fuzzy degree of experts' confidence in the rules, one can obtain results that are not inferior to the recommendations of highly qualified subject specialists.

Publication Impact Profile

PlumX
  • Citations
  • Scopus - Citation Indexes: 3
  • Captures
  • Mendeley - Readers: 2
PLUMX see details

Publication details

Title
MODELING OF FUZZY REASONING IN PREDICATE LOGIC BASED ON PETRI NETS
Authors
Aleksandr Shajkin
Proceedings
SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 18th International Multidisciplinary Scientific GeoConference SGEM2018, Informatics, Geoinformatics and Remote Sensing
Publisher
STEF92 Technology
Year
2018
Pages
569-574
SWS Citekey
Shajkin20187569574
ISSN
1314-2704
ISBN
978-619-7408-39-3
Language
en
Publication type
Conference Paper
Keywords
Fuzzy reasoningpredicate logicPetri netsHorn clauses.
References0
0references registered for this publication

Structured references will appear here after the reference import pass. The count is preserved now so the scholarly record is not incomplete.

View or Download full articleAccess options
Full paper accessChoose SWS login, librarian support, or instant article download.

SWS access login

Login as SWS Scientific Committee

Authors and approved SWS contributors will read and export their own linked papers after identity matching by SWS profile, email and SGEM GlobalID.

For librarian assistance: [email protected]

Purchase Instant Access

48-hour online accessComing soon
Online-only accessComing soon
Download the full article in PDF formatEUR 35
  • Article can be downloaded after successful payment.
  • Article may be used according to SWS library access terms.
  • Article cannot be redistributed.
Get full paper

Back to publication list