Check properties of an ongoing discourse.
|
__init__(self,
input,
gramfile=None,
background=None)
Initialize a DiscourseTester . |
source code
|
|
|
sentences(self)
Display the list of sentences in the current discourse. |
source code
|
|
|
add_sentence(self,
sentence,
informchk=False,
consistchk=False)
Add a sentence to the current discourse. |
source code
|
|
|
|
|
grammar(self)
Print out the grammar in use for parsing input sentences |
source code
|
|
list of logic.Expression.
|
_get_readings(self,
sentence)
Build a list of semantic readings for a sentence. |
source code
|
|
|
_construct_readings(self)
Use self._sentences to construct a value for
self._readings . |
source code
|
|
|
_construct_threads(self)
Use self._readings to construct a value for
self._threads and use the model builder to construct a
value for self._filtered_threads |
source code
|
|
|
_show_readings(self,
sentence=None)
Print out the readings for the discourse (or a single sentence). |
source code
|
|
|
_show_threads(self,
filter=False)
Print out the value of self._threads or
self._filtered_hreads |
source code
|
|
|
readings(self,
sentence=None,
threaded=False,
quiet=False,
filter=False)
Construct and show the readings of the discourse (or of a single
sentence). |
source code
|
|
list of tuple
|
|
|
_check_consistency(self,
threads,
show=False,
quiet=True) |
source code
|
|
|
models(self,
thread_id=None,
show=True,
quiet=True)
Call Mace4 to build a model for each current discourse thread. |
source code
|
|
|
add_background(self,
background,
quiet=True)
Add a list of background assumptions for reasoning about the
discourse. |
source code
|
|
|
background(self)
Show the current background assumptions. |
source code
|
|
Inherited from object :
__delattr__ ,
__getattribute__ ,
__hash__ ,
__new__ ,
__reduce__ ,
__reduce_ex__ ,
__repr__ ,
__setattr__ ,
__str__
|