Premium
Prosum‐Prolog system for uncertainty management
Author(s) -
Iancu Ion
Publication year - 1997
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/(sici)1098-111x(199709)12:9<615::aid-int1>3.0.co;2-m
Subject(s) - prolog , unification , computer science , logic programming , turbo , expert system , programming language , theoretical computer science , artificial intelligence , automotive engineering , engineering
In this paper we present a system which uses knowledge represented in the form of production rules accompanied by uncertainty degrees. The uncertainty of a rule is given by using the method from SLOP and FRIL: a support pair, which comprises a necessary and possible support and can be interpreted as an interval in which the unknown probability lies. Giving the knowledge in this form, our system generates a Turbo Prolog program which has included the operations for uncertainty management. In this version, two kinds of rules for support logic programming are implemented but the user can propose the other ones, by using the dialogue with the system. Semantic unification differs from that used in FRIL; we use generalized belief functions. © 1997 John Wiley & Sons, Inc.