AlgorithmicsSingleton.java

Go to the documentation of this file.

import java.io.IOException;
import java.net.UnknownHostException;

import org.apache.log4j.Logger;
import org.opencyc.api.CycAccess;
import org.opencyc.api.CycApiException;
import org.opencyc.api.CycObjectFactory;
import org.opencyc.cycobject.CycConstant;
import org.opencyc.cycobject.CycList;
import org.opencyc.cycobject.CycVariable;

/**
 * Copyright (c) Dmitri Pissarenko
 * http://dapissarenko.com
 * 
 * Created on 03.09.2005
 */

/**
 * @author Dmitri Pissarenko
 *  
 */
public class AlgorithmicsSingleton {
    private CycAccess cycAccess = null;

    private static AlgorithmicsSingleton instance;

    private Logger logger = Logger.getLogger(getClass());

    public static AlgorithmicsSingleton getInstance() {
        if (instance == null) {
            instance = new AlgorithmicsSingleton();
        }
        return instance;
    }

    protected AlgorithmicsSingleton() {
        String factorialFunction = null;
        try {
            cycAccess = new CycAccess();

            factorialFunction = "(DEFINE FACTORIAL (x) " + 
            "   (PIF (> x 1) " + 
            "        (* x (FACTORIAL (- x 1))) " + 
            "        1))";

            cycAccess.converseVoid(factorialFunction);
        } catch (CycApiException exception) {
            this.logger.error("", exception);
        } catch (UnknownHostException exception) {
            this.logger.error("", exception);
        } catch (IOException exception) {
            this.logger.error("", exception);
        }
    }

    private double calculateWithCyc(String op, double number1, double number2) {
        Number result = null;

        try {
            result = (Number) this.cycAccess.converseObject("(" + op + " "
                    + number1 + " " + number2 + ")");
            return result.doubleValue();
        } catch (CycApiException exception) {
            this.logger.error("", exception);
        } catch (UnknownHostException exception) {
            this.logger.error("", exception);
        } catch (IOException exception) {
            this.logger.error("", exception);
        }
        return 0.;

    }

    public double subtract(double number1, double number2) {
        return calculateWithCyc("-", number1, number2);
    }

    public double add(double number1, double number2) {
        return calculateWithCyc("+", number1, number2);
    }

    public double multiply(double number1, double number2) {
        return calculateWithCyc("*", number1, number2);
    }

    public double divide(double number1, double number2) {
        return calculateWithCyc("/", number1, number2);
    }

    public double square(double number1) {
        return multiply(number1, number1);
    }

    public double exp(double number1, double number2) {
        Number result = null;
        CycList query = null;
        CycVariable sumVariable = null;
        CycConstant microTheory=null;
        CycList response=null;
        
        try {
            query = CycAccess.current().makeCycList("(#$evaluate ?SUM " + 
                    "(#$ExponentFn " + number1 + " " +  number2 + "))");
            sumVariable = CycObjectFactory.makeCycVariable("?SUM");
            
            microTheory=this.cycAccess.getConstantByName("UniversalVocabularyMt");
            response = CycAccess.current().askWithVariable(query, 
                    sumVariable, microTheory);

            result = (Number) response.iterator().next();
            
            return result.intValue();
        } catch (CycApiException exception) {
            this.logger.error("", exception);
        } catch (UnknownHostException exception) {
            this.logger.error("", exception);
        } catch (IOException exception) {
            this.logger.error("", exception);
        }

        return 0.;
    }

    public int factorial(double number1) {
        Number result = null;

        try {
            result = (Number) this.cycAccess.converseObject("(FACTORIAL "
                    + number1 + ")");
            return result.intValue();
        } catch (CycApiException exception) {
            this.logger.error("", exception);
        } catch (UnknownHostException exception) {
            this.logger.error("", exception);
        } catch (IOException exception) {
            this.logger.error("", exception);
        }
        return 0;

    }

    public double modulo(double number1, double number2) {
        return calculateWithCyc("MOD", number1, number2);
    }
}

---