HOME
Full Articles List
Search by Author
Title: MODELING OF FUZZY REASONING IN PREDICATE LOGIC BASED ON PETRI NETS
BibTex 
Open this article in the author's DB |
|
MODELING OF FUZZY REASONING IN PREDICATE LOGIC BASED ON PETRI NETS
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
1314-2704
|
|
|
|
||
|
|
English
|
|
|
|
18
|
|
|
|
2.1
|
|
|
|
|
|
|
|
||
|
|
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. |
|
|
|
conference
|
|
|
|
||
|
|
||
|
|
18th International Multidisciplinary Scientific GeoConference SGEM 2018
|
|
|
|
18th International Multidisciplinary Scientific GeoConference SGEM 2018, 02-08 July, 2018
|
|
|
|
Proceedings Paper
|
|
|
|
STEF92 Technology
|
|
|
|
International Multidisciplinary Scientific GeoConference-SGEM
|
|
|
|
Bulgarian Acad Sci; Acad Sci Czech Republ; Latvian Acad Sci; Polish Acad Sci; Russian Acad Sci; Serbian Acad Sci & Arts; Slovak Acad Sci; Natl Acad Sci Ukraine; Natl Acad Sci Armenia; Sci Council Japan; World Acad Sci; European Acad Sci, Arts & Letters; Ac
|
|
|
|
569-574
|
|
|
|
02-08 July, 2018
|
|
|
|
website
|
|
|
|
cdrom
|
|
|
|
566
|
|
|
|
Fuzzy reasoning; predicate logic; Petri nets; Horn clauses.
|
|
Download PDF