net.sf.tweety.arg.aba.syntax.Deduction Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of aba Show documentation
There is a newer version: 1.17
/*
 *  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.arg.aba.syntax;

import java.util.Collection;
import java.util.HashSet;
import java.util.LinkedList;

import net.sf.tweety.arg.dung.syntax.Argument;
import net.sf.tweety.commons.Formula;

/**
 * 
 * An argument derived from an ABA theory.
 * 
 * @param  is the type of the language that the ABA theory's rules range over
 * @author Nils Geilen
 */
public class Deduction extends Argument {

	AbaRule rule;
	Collection> subs = new HashSet<>();

	/**
	 * Constructs a new deduction.
	 * 
	 * @param name an identifier
	 */
	public Deduction(String name) {
		super(name);
	}

	/**
	 * Constructs a new deduction.
	 * 
	 * @param name an identifier
	 * @param rule the toprule
	 */
	public Deduction(String name, AbaRule rule) {
		super(name);
		this.rule = rule;
	}

	/**
	 * Constructs a new deduction.
	 * 
	 * @param name an identifier
	 * @param rule the toprule
	 * @param subs a set of subdeductions
	 */
	public Deduction(String name, AbaRule rule, Collection> subs) {
		super(name);
		this.rule = rule;
		this.subs.addAll(subs);
	}

	/**
	 * @return all rules appearing in this argument.
	 */
	public Collection> getAllRules() {
		Collection> result = new HashSet<>();
		result.add(this.rule);
		for (Deduction sub : this.subs)
			result.addAll(sub.getAllRules());
		return result;
	}

	/**
	 * @return all conclusions appearing in this argument.
	 */
	public Collection getAllConclusions() {
		Collection conc = new HashSet<>();
		for (AbaRule rule : this.getAllRules())
			conc.add(rule.getConclusion());
		return conc;
	}

	/**
	 * @return the conclusion of this deduction
	 */
	public T getConclusion() {
		return rule.getConclusion();
	}

	/**
	 * @return the rule
	 */

	public AbaRule getRule() {
		return rule;
	}

	/**
	 * @param rule the rule to set
	 */
	public void setRule(AbaRule rule) {
		this.rule = rule;
	}

	/**
	 * @return all assumptions employed by this deduction
	 */
	public Collection getAssumptions() {
		Collection result = new LinkedList<>();
		if (rule.isAssumption())
			result.add(rule.getConclusion());
		else
			for (Deduction sub : subs)
				result.addAll(sub.getAssumptions());
		return result;
	}

	/**
	 * Adds a subdeduction
	 * 
	 * @param sub a deduction
	 */
	public void addSubDeduction(Deduction sub) {
		subs.add(sub);
	}

	/**
	 * @return all rules used in this deduction
	 */
	public Collection> getRules() {
		Collection> result = new LinkedList<>();
		if (!rule.isAssumption())
			result.add(rule);
		for (Deduction sub : subs)
			result.addAll(sub.getRules());
		return result;
	}

	/*
	 * (non-Javadoc)
	 * 
	 * @see net.sf.tweety.arg.dung.syntax.Argument#hashCode()
	 */
	@Override
	public int hashCode() {
		final int prime = 31;
		int result = super.hashCode();
		result = prime * result + ((rule == null) ? 0 : rule.hashCode());
		result = prime * result + ((subs == null) ? 0 : subs.hashCode());
		return result;
	}

	/*
	 * (non-Javadoc)
	 * 
	 * @see net.sf.tweety.arg.dung.syntax.Argument#equals(java.lang.Object)
	 */
	@SuppressWarnings("rawtypes")
	@Override
	public boolean equals(Object obj) {
		if (this == obj)
			return true;
		if (!super.equals(obj))
			return false;
		if (getClass() != obj.getClass())
			return false;
		Deduction other = (Deduction) obj;
		if (rule == null) {
			if (other.rule != null)
				return false;
		} else if (!rule.equals(other.rule))
			return false;
		if (subs == null) {
			if (other.subs != null)
				return false;
		} else if (!subs.equals(other.subs))
			return false;
		return true;
	}

	/*
	 * (non-Javadoc)
	 * 
	 * @see net.sf.tweety.arg.dung.syntax.Argument#toString()
	 */
	@Override
	public String toString() {
		return "{rule=" + rule + ", subs=" + subs + "}";
	}

}