jtp.func
Class Unprovable

java.lang.Object
  |
  +--jtp.disp.AbstractRelationBasedReasoner
        |
        +--jtp.disp.AbstractRelationBasedBCReasoner
              |
              +--jtp.func.Unprovable

All Implemented Interfaces:

BeanContextProxy, Reasoner, RelationBasedBCReasoner, RelationBasedReasoner, Serializable

public class Unprovable

extends AbstractRelationBasedBCReasoner

implements BeanContextProxy

Unprovable.java Created: Thu Dec 30 04:00:16 1999

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.disp.AbstractRelationBasedBCReasoner

arity, polarity, relation

Fields inherited from interface jtp.disp.RelationBasedReasoner

ANY_ARITY, BOTH, NEGATIVE, POSITIVE

Constructor Summary

Unprovable()

Method Summary

Reasoner	getAskingReasoner() Get the value of askingReasoner.
BeanContextChild	getBeanContextProxy()
ReasoningStepIterator	process(Object gobj) This method attempts to find proof for the goal.
void	setAskingReasoner(Reasoner v) Set the value of askingReasoner.

Methods inherited from class jtp.disp.AbstractRelationBasedBCReasoner

acceptable, getArity, getPolarity, getRelation, literalAcceptable

Methods inherited from class java.lang.Object

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

Methods inherited from interface jtp.disp.RelationBasedReasoner

getArity, getPolarity, getRelation

Constructor Detail

Unprovable

public Unprovable()

Method Detail

getBeanContextProxy

public BeanContextChild getBeanContextProxy()

Specified by:

getBeanContextProxy in interface BeanContextProxy

getAskingReasoner

public Reasoner getAskingReasoner()

Get the value of askingReasoner.

Returns:

Value of askingReasoner.

setAskingReasoner

public void setAskingReasoner(Reasoner v)

Set the value of askingReasoner.

Parameters:

v - Value to assign to askingReasoner.

process

public ReasoningStepIterator process(Object gobj)
                              throws ReasoningException

Description copied from interface: Reasoner

This method attempts to find proof for the goal. It returns an enumeration of reasoning steps that correspond to alternative proofs for the goal. Consequently, the items of the enumeration can actually belong to different models of the goal sentence, and have incompatible variable assignments.

Example. A reasoner that performs unification of the goal with facts in a knowledge base can return the following enumeration for the goal (parent joe ?x):

1. A reasoning step proving (parent joe fred) with variable assignment ?x=fred,
2. A reasoning step proving (parent joe mary) with variable assignment ?x=mary.

Specified by:

process in interface Reasoner

Parameters:

gobj - the goal: either a query or an assertion

Returns:

the iterator of reasoning steps - proofs for the query, or consequences of the assertion.

ReasoningException