F. Klawonn  Home/Search
Context Related
| etinf.fhoemden.de/pub/...prolog.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: etinf.fhoemden.de...Mitarbeiter (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The aim of this paper is to show that a restriction of a logical language to clauses like Horn clauses, as they are used in Prolog, applied to [0,1]--valued logics leads to calculi with a sound and complete proof theory. In opposition to other models where generally the set of axioms as well as the deduction schemata are enriched we restrict ourselves to a simple modification of the deduction rules of classical logic without adding new axioms. In our model the truth values from the unit... (Update)
Context of citations to this paper: More
...is shown in section 4. The same soundness and completeness results can be obtained for the infinite valued logic with T = 0; 1] [14] for the price that the value th (a) cannot be obtained by a finite number of direct derivations. In [14] also the Godel implication...
...we consider only the first two partners. Fuzzy logic and probabilistic logic have been applied to extend both logic programs (e.g. 15] [24], 29] 32] 28] and object oriented models (e.g. 7] 33] 36] 14] to deal with vagueness and uncertainty often encountered in...
Cited by: More
Towards Soft Computing Object-Oriented Logic Programming - Baldwin, Cao, Martin.. (2000) (Correct)
A Lukasiewicz Logic Based Prolog - Klawonn, Kruse (1994) (Correct)
Active bibliography (related documents): More All
0.8: Equality Relations as a Basis for Fuzzy Control - Klawonn, Kruse (1994) (Correct)
0.5: Automated Reasoning with Uncertainties - Silva (1992) (Correct)
0.5: A System for Reasoning with Fuzzy Predicates - Silva, Carbogim (1994) (Correct)
Similar documents based on text: More All
0.2: Verification of Switch-Level Designs with Many-Valued Logic - Hähnle, Kernig (1993) (Correct)
0.1: NASA Panel Java Soundbytes - Häuser, Ludewig, Williams.. (1999) (Correct)
0.1: Hybrid Logic for Possibilistic Reasoning - Liau (2001) (Correct)
Related documents from co-citation: More All
2: Fundamentals of fuzzy prolog (context) - Mukaidono, Shen et al. - 1989
2: the Syntactica--Semantical Completeness of First Order Fuzzy Logic (context) - Nov'ak - 1990
2: Fuzzy Set Prolog (context) - Umano - 1987
BibTeX entry: (Update)
F. Klawonn, Prolog Extensions to Many--Valued Logics. In: U. Hohle, E.P. Klement (eds.), Proc. 14th Linz Seminar on Fuzzy Set Theory: Non--Classical Logics and their Applications. Johannes Kepler Universit at, Linz (1992), 42--45. http://citeseer.ist.psu.edu/klawonn92prolog.html More
@misc{ klawonn92prolog,
author = "F. Klawonn",
title = "Prolog Extensions to Many--Valued Logics",
text = "F. Klawonn, Prolog Extensions to Many--Valued Logics. In: U. Hohle, E.P.
Klement (eds.), Proc. 14th Linz Seminar on Fuzzy Set Theory: Non--Classical
Logics and their Applications. Johannes Kepler Universit at, Linz (1992),
42--45.",
year = "1992",
url = "citeseer.ist.psu.edu/klawonn92prolog.html" }
Citations (may not include all citations):114 Ordinal Conditional Functions: A Dynamic Theory of Epistemic.. (context) - Spohn - 1987
107 Artificial Intelligence (context) - Nilsson, Logic - 1986
62 An Introduction to Possibilistic and Fuzzy Logics (context) - Dubois, Prade - 1988
32 Many--Valued Logic (context) - Rescher - 1969
28 Epistemic Entrenchment and Possibilistic Logic (context) - Dubois, Prade - 1991
25 Automated Reasoning Using Possibilistic Logic: Semantics (context) - Dubois, Lang et al. - 1989
14 Polish Scientific Publishers (context) - Rasiowa, Sikorski et al. - 1970
12 Prolog--ELF Incorporating Fuzzy Logic (context) - Ishizuka, Kasai - 1985
10 the Syntactico--Semantical Completeness of First--Order Fuzz.. (context) - Nov'ak - 1990
10 the Syntactico--Semantical Completeness of First--Order Fuzz.. (context) - Nov'ak - 1990
7 The Implementation of FProlog -- A Fuzzy Prolog Interpreter (context) - Martin, Baldwin et al. - 1987
6 Probability and Measurement (context) - Dubois, Prade et al. - 1989
5 the Logical Basis of Approximate Reasoning (context) - Nov'ak - 1992
4 Logik Grundlag (context) - Pavelka, Logic et al. - 1979
4 Fundamentals of Fuzzy Prolog (context) - Mukaidono, Shen et al. - 1989
4 Programming in Possibilistic Logic (context) - Orci - 1989
3 Fuzzy Set Prolog (context) - Umano - 1987
3 Fundamenta Informaticae (context) - Mundici, Games et al. - 1993
3 A Possibilistic Interpretation of Fuzzy Sets by the Context .. (context) - Gebhardt, Kruse - 1992
2 Prade: Fuzzy Sets in Approximate Reasoning (context) - Dubois, Lang - 1991
1 Reasoning with Mass Distributions and the Context Model (context) - Kruse, Gebhardt et al. - 1991
1 the Association for Computing Machinery (context) - Robinson, Logic et al. - 1965
1 The Unifying Role of Fuzzy Logic in Fuzzy Set Theory (context) - Nov'ak - 1991
1 Association of Computation and Machines (context) - Lee, Logic et al. - 1972
1 Kruse: Logical Approaches to Uncertainty and Vagueness in th.. (context) - Klawonn, Gebhardt - 1992
Documents on the same site (http://www.et-inf.fho-emden.de/~dmlab/Mitarbeiter.html): More
Fuzzy Control on the Basis of Equality Relations - with.. - Klawonn, Gebhardt, Kruse (1995) (Correct)
Fuzzy Clustering with Evolutionary Algorithms - Klawonn (1998) (Correct)
Equality Relations as a Basis for Fuzzy Control - Klawonn, Kruse (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC