jtp
Class InconsistencyException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--jtp.ReasoningException
                    |
                    +--jtp.InconsistencyException

All Implemented Interfaces:

Serializable

public class InconsistencyException

extends ReasoningException

This exception is thrown when an inconsistency is produced during reasoning. Typically, that means that for some sentence S, both S and (not S) could be proved.

If this exception is thrown during backward-chaining reasoning, it normally means that the knowledge base being used is inconsistent. If it happens during forward-chaining reasoning, there might be a chance to clean things up. If the inconsistency was introduced by the latest assertion, one can roll back all changes associated with it, leaving the knowledge base in a stable state.

See Also:

Serialized Form

Constructor Summary

InconsistencyException()

InconsistencyException(ReasoningStep proof)

InconsistencyException(String s)

InconsistencyException(String s, ReasoningStep proof)

Method Summary

ReasoningStep	getProof()
void	setProof(ReasoningStep v) Sets the reasoning step demostrating the inconsistency.

Methods inherited from class jtp.ReasoningException

getReasoner, setReasoner

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

InconsistencyException

public InconsistencyException()

InconsistencyException

public InconsistencyException(String s)

InconsistencyException

public InconsistencyException(ReasoningStep proof)

InconsistencyException

public InconsistencyException(String s,
                              ReasoningStep proof)

Method Detail

getProof

public ReasoningStep getProof()

Returns:

the reasoning step demostrating the inconsistency. For example, it could be a reasoning step deriving (false) from two subgoals (both duly proven), S and (not S).

setProof

public void setProof(ReasoningStep v)

Sets the reasoning step demostrating the inconsistency.

Parameters:

v - the proof for inconsistency.

See Also:

getProof()