Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs

2007 ◽  
pp. 364-366 ◽  
Author(s):  
Alexandros Chortaras ◽  
Giorgos Stamou ◽  
Andreas Stafylopatis
Keyword(s):  
Fuzzy Logic ◽  
Logic Programs ◽  
Top Down

Connectionist weighted fuzzy logic programs

2008 ◽  
Vol 71 (13-15) ◽  
pp. 2456-2469
Author(s):  
Alexandros Chortaras ◽  
Giorgos Stamou ◽  
Andreas Stafylopatis
Keyword(s):  
Fuzzy Logic ◽  
Logic Programs

scholarly journals Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning

2020 ◽  
Author(s):  
Céline Hocquette ◽  
Stephen H. Muggleton
Keyword(s):  
State Of The Art ◽  
Order Logic ◽  
Learning Performance ◽  
Sample Complexity ◽  
Logic Programs ◽  
Top Down ◽  
Bottom Up ◽  
Predicate Invention ◽  
Feature Discovery ◽  
Second Order Logic

Predicate Invention in Meta-Interpretive Learning (MIL) is generally based on a top-down approach, and the search for a consistent hypothesis is carried out starting from the positive examples as goals. We consider augmenting top-down MIL systems with a bottom-up step during which the background knowledge is generalised with an extension of the immediate consequence operator for second-order logic programs. This new method provides a way to perform extensive predicate invention useful for feature discovery. We demonstrate this method is complete with respect to a fragment of dyadic datalog. We theoretically prove this method reduces the number of clauses to be learned for the top-down learner, which in turn can reduce the sample complexity. We formalise an equivalence relation for predicates which is used to eliminate redundant predicates. Our experimental results suggest pairing the state-of-the-art MIL system Metagol with an initial bottom-up step can significantly improve learning performance.

Efficient top-down induction of logic programs

1994 ◽  
Vol 5 (1) ◽  
pp. 33-42 ◽  
Author(s):  
R. Mike Cameron-Jones ◽  
J. Ross Quinlan
Keyword(s):  
Logic Programs ◽  
Top Down

scholarly journals f-DLPs: Extending Description Logic Programs with Fuzzy Sets and Fuzzy Logic

2007 ◽  
Author(s):  
Tassos Venetis ◽  
Giorgos Stoilos ◽  
Giorgos Stamou ◽  
Stefanos Kollias
Keyword(s):  
Fuzzy Logic ◽  
Fuzzy Sets ◽  
Description Logic ◽  
Logic Programs

scholarly journals Compiling bottom-up and mixed derivations into top-down executable logic programs

1991 ◽  
Vol 7 (3) ◽  
pp. 337-358 ◽  
Author(s):  
Danny De Schreye ◽  
Bern Martens ◽  
Gunther Sablon ◽  
Maurice Bruynooghe
Keyword(s):  
Logic Programs ◽  
Top Down ◽  
Bottom Up
Sign in / Sign up

Export Citation Format

Share Document