net.sf.tweety.math.func.fuzzy.MinimumNorm Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of math Show documentation

There is a newer version: 1.6

/*
 *  This file is part of "TweetyProject", a collection of Java libraries for
 *  logical aspects of artificial intelligence and knowledge representation.
 *
 *  TweetyProject is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU Lesser General Public License version 3 as
 *  published by the Free Software Foundation.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU Lesser General Public License for more details.
 *
 *  You should have received a copy of the GNU Lesser General Public License
 *  along with this program. If not, see .
 *
 *  Copyright 2016 The TweetyProject Team 
 */
package net.sf.tweety.math.func.fuzzy;

import net.sf.tweety.math.term.Minimum;
import net.sf.tweety.math.term.Term;

/**
 * Represents the minimum-norm in fuzzy logic, i.e., T(x,y)=min(x,y) 
 * 
 * @author Matthias Thimm
 */
public class MinimumNorm extends TNorm{

	/* (non-Javadoc)
	 * @see net.sf.tweety.math.func.fuzzy.TNorm#eval(java.lang.Double, java.lang.Double)
	 */
	@Override
	public Double eval(Double val1, Double val2) {
		if(val1 < 0 || val1 > 1 || val2 < 0 || val2 > 1)
			throw new IllegalArgumentException("A T-norm is only defined for values in [0,1].");
		return Math.min(val1,val2);
	}

	/* (non-Javadoc)
	 * @see net.sf.tweety.math.func.fuzzy.TNorm#getDualCoNorm()
	 */
	@Override
	public TCoNorm getDualCoNorm(){
		return new MaximumCoNorm();
	}

	/* (non-Javadoc)
	 * @see net.sf.tweety.math.func.fuzzy.TNorm#evalTerm(net.sf.tweety.math.term.Term, net.sf.tweety.math.term.Term)
	 */
	@Override
	public Term evalTerm(Term val1, Term val2) {		
		return new Minimum(val1,val2);
	}

	/* (non-Javadoc)
	 * @see net.sf.tweety.math.func.fuzzy.TNorm#isNilpotent()
	 */
	@Override
	public boolean isNilpotent() {
		return false;
	}
}