Annotated and fuzzy logic programs: relationship and comparison of expressive power

Title:

Annotated and fuzzy logic programs: relationship and comparison of expressive power

Creator:

Vihtýš, Peter

Identifier:

https://cdk.lib.cas.cz/client/handle/uuid:9a4ef04e-5b07-44da-b6a2-99046fd9016e
uuid:9a4ef04e-5b07-44da-b6a2-99046fd9016e

Subject:

fuzzy logic programming, anotated programs, fuzzy similarities, and fuzzy Warren abstract machine

Type:

model:article and TEXT

Format:

bez média and svazek

Description:

The aim of this paper is to show relationships between the different formalism for uncertainty in artificial intelligence and its applications. We introduce a model of fuzzy logic programming (FLP). We propose a solution to the problem of discontinuous restricted semantics of annotated logic programs introducing annotated logic programs with left continuous annotation terms (ALPLCA). We show that FLP and ALPLCA have the same expressive power and both háve continuous semantics. We have soundness and completeness results. This enables us to introduce a new relational algebra. Our procedural semantics enables us to estimate the truth values of answers during the computation. Using this, we introduce several search strategies. Consequences of many valued-logic abduction and many-valued resolutions are also discussed.

Language:

English

Rights:

http://creativecommons.org/publicdomain/mark/1.0/
policy:public

Source:

Neural network world: international journal on neural and mass-parallel computing and information systems | 2001 Volume:11 | Number:6

Harvested from:

CDK

Metadata only:

false