³ò 4ÒÇIc@sºddkZddklZlZddklZddklZddkl Z l Z ddk l Z ddk lZddklZdd klZdd klZdd klZd efd „ƒYZdefd„ƒYZdefd„ƒYZdefd„ƒYZd„Zed„Zed„Zdd„Z e!djoleƒeddfddfddfd d!fd"d#fgƒZ"ed$e"ƒZ#eed%e$d&e#ƒƒndS('iÿÿÿÿN(tand_tadd(tparse(tshow_cfg(t root_semrept Expression(t MaceCommand(tProver9Command(t RegexpTagger(t MaltParser(tAnaphoraResolutionException(tDrtGluetReadingCommandcBs#eZd„Zd„Zd„ZRS(cCs tƒ‚dS(sV @param sentence: the sentence to read @type sentence: C{str} N(tNotImplementedError(tselftsentence((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytparse_to_readings=scCs|S(sT This method should be used to handle dependencies between readings such as resolving anaphora. @param sentence_readings: readings to process @type sentence_readings: C{list} of C{Expression} @return: the list of readings after processing @rtype: C{list} of C{Expression} ((Rtsentence_readings((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytprocess_threadDs cCs tƒ‚dS(s« @param readings: readings to combine @type readings: C{list} of C{Expression} @return: one combined reading @rtype: C{Expression} N(R (Rtreadings((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytcombine_readingsPs(t__name__t __module__RRR(((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyR <s  tCfgReadingCommandcBs&eZed„Zd„Zd„ZRS(cCs<|djo d|_n ||_ti|iƒ|_dS(sn @parameter gramfile: name of file where grammar can be loaded @type gramfile: C{str} s"grammars/sample_grammars/sem4.fcfgN(tNonet _gramfileRt load_earleyt_parser(Rtgramfile((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyt__init__[s   cCsC|iƒ}|ii|ƒ}g}|D]}|t|ƒq)~S(s(@see: ReadingCommand.parse_to_readings()(tsplitRt nbest_parseR(RRttokensttreest_[1]ttree((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyRfs cCs tt|ƒS(s'@see: ReadingCommand.combine_readings()(treduceR(RR((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyRls(RRRRRR(((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyRZs tDrtGlueReadingCommandcBs5eZeeed„Zd„Zd„Zd„ZRS(cCs9|djo d}ntd|d|d|ƒ|_dS(s¿ @param semtype_file: name of file where grammar can be loaded @param remove_duplicates: should duplicates be removed? @param depparser: the dependency parser sdrt_glue.semtypet semtype_filetremove_duplicatest depparserN(RR t_glue(RR&R'R(((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyRrs    cCs|ii|ƒS(s(@see: ReadingCommand.parse_to_readings()(R)tparse_to_meaning(RR((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyRscCs2y|i|ƒgSWntj o gSnXdS(s%@see: ReadingCommand.process_thread()N(RR (RR((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyRƒscCstt|ƒ}|iƒiƒS(s'@see: ReadingCommand.combine_readings()(R$Rtsimplifytresolve_anaphora(RRtthread_reading((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyRŠs(RRRtFalseRRRR(((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyR%qs   tDiscourseTestercBséeZdZeed„Zd„Zeed„Zed„Z d„Z d„Z d„Z d„Z ed „Zeed „Zeeeeed „Zed „Zeed „Zeeed„Zed„Zd„Zed„ƒZRS(s3 Check properties of an ongoing discourse. cCsâ||_tg}t|ƒD]\}}|d||fq~ƒ|_d|_h|_|djotƒ|_n ||_h|_ h|_ |dj o5x%|D]}t |t ƒpt ‚q§W||_n g|_dS(s Initialize a C{DiscourseTester}. @parameter input: the discourse sentences @type input: C{list} of C{str} @parameter background: Formulas which express background assumptions @type background: C{list} of L{logic.Expression}. ss%sN(t_inputtdictt enumeratet _sentencesRt_modelst _readingsRt_reading_commandt_threadst_filtered_threadst isinstanceRtAssertionErrort _background(Rtinputtreading_commandt backgroundR"titsentte((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyR”s @        cCs:x3t|iiƒƒD]}d||i|fGHqWdS(sI Display the list of sentences in the current discourse. s%s: %sN(tsortedR3tkeys(Rtid((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyt sentences²sc CsX|oÏ|idtƒx¼t|iiƒƒD]¡}g}|i|ƒD]\}}||qG~}||i7}x[|i|ƒD]J} td| d|ƒ} | i ƒo"d|t | ƒfGHd|GHq€q€Wq-Wn|i i |ƒt g} t|i ƒD]\} } | d| | fqý~ ƒ|_|o$|idtƒ|idtƒndS( sã Add a sentence to the current discourse. Updates C{self._input} and C{self._sentences}. @parameter sentence: An input sentence @type sentence: C{str} @parameter informchk: if C{True}, check that the result of adding the sentence is thread-informative. Updates C{self._readings}. @parameter consistchk: if C{True}, check that the result of adding the sentence is thread-consistent. Updates C{self._readings}. tverbosetgoalt assumptionss!Sentence '%s' under reading '%s':s'Not informative relative to thread '%s'ss%stshowN(RR.RBR7RCtexpand_threadsR;t _get_readingsRtprovetstrR0tappendR1R2R3tmodels(RRt informchkt consistchkttidR"tridtreadingRHt sent_readingttpt_[2]R?R@((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyt add_sentence¹s" 0  Cc Cs²y|ii|ƒWn*tj od|GH|iƒdSnXtg}t|iƒD]\}}|d||fqX~ƒ|_|idt ƒ|odGH|iƒndS(s2 Remove a sentence from the current discourse. Updates C{self._input}, C{self._sentences} and C{self._readings}. @parameter sentence: An input sentence @type sentence: C{str} @parameter verbose: If C{True}, report on the updated list of sentences. sJRetraction failed. The sentence '%s' is not part of the current discourse:ss%sRFsCurrent sentences are N( R0tremovet ValueErrorRERR1R2R3RR.(RRRFR"R?R@((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytretract_sentenceØs    CcCst|iiƒdS(sJ Print out the grammar in use for parsing input sentences N(RR6R(R((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytgrammaríscCs|ii|ƒS(s} Build a list of semantic readings for a sentence. @rtype: C{list} of L{logic.Expression}. (R6R(RR((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyRK÷scCsŒh|_x||iiƒD]k\}}|i|ƒ}tg}t|ƒD])\}}|d||f|iƒfqH~ƒ|i|RFtcountRA((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytadd_background©s   cCs#x|iD]}t|ƒGHq WdS(s: Show the current background assumptions. N(R;RM(RRA((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyR>»s cCsVg}xI|D]A}x8|D]0}g}||7}|i|ƒ|i|ƒqWq W|S(s Multiply every thread in C{discourse} by every reading in C{readings}. Given discourse = [['A'], ['B']], readings = ['a', 'b', 'c'] , returns [['A', 'a'], ['A', 'b'], ['A', 'c'], ['B', 'a'], ['B', 'b'], ['B', 'c']] @parameter discourse: the current list of readings @type discourse: C{list} of C{list}s @parameter readings: an additional list of readings @type readings: C{list} of C{logic.Expression}s @rtype: A C{list} of C{list}s (RN(t discourseRtresulttsublistRitnew((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyR`Æs  (RRt__doc__RRRER.RXRcR[R\RKR_RgRkRrRRJRaROR‚R>t staticmethodR`(((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyR/s&         cCs¹ddkl}g}|ƒ}x“t|iƒƒD]\}}|iƒ}|idƒp |djoq2ny|i|i|ƒƒWq2tj ot d||f‚q2Xq2W|S(s Temporarily duplicated from L{nltk.sem.util}. Convert a file of First Order Formulas into a list of C{Expression}s. @parameter s: the contents of the file @type s: C{str} @return: a list of parsed formulas. @rtype: C{list} of L{Expression} iÿÿÿÿ(t LogicParsert#RlsUnable to parse line %s: %s( tnltk.semR‰R2t splitlineststript startswithRNRtErrorRZ(tsR‰t statementstlptlinenumtline((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyt parse_folâs    $cCs{tddg|ƒ}|iƒHH|iƒH|iƒH|idtƒH|idƒ|idƒH|iƒH|idtƒHtddg|ƒ}H|idd tƒH|iƒH|idd tƒH|iƒH|id ƒH|id d tƒtd dddg|ƒ}|idtƒddk}|ii dƒ}H|i |d t ƒ|i ƒH|idtƒH|iƒdS(s> Illustrate the various methods of C{DiscourseTester} s A boxer walkssEvery boxer chases a girlRstd1sJohn is a boxersA student dancessEvery student is a personsNo person dancesRQRFsA person dancesRPsVincent is a boxersFido is a boxersVincent is marrieds Fido barksRoiÿÿÿÿNs)/grammars/sample_grammars/background1.fol( R/RORERRcRXR[t nltk.datatdatatloadR‚R.R>(R=tdttnltkR>((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytdiscourse_demoüsZ                  cCsatddg|ƒ}|iƒH|iƒH|iƒH|idtƒH|idtdtƒdS(s> Illustrate the various methods of C{DiscourseTester} severy dog chases a boyshe runsRpRoN(R/RORERRc(R=Rš((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytdrt_discourse_demo0s     icCs d|GHdS(NRh((tnum((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyRyAst__main__s^(chases|runs)$tVBs^(a)$tex_quants ^(every)$t univ_quants ^(dog|boy)$tNNs^(he)$tPRPttaggerR'R((%tostoperatorRRR›RR—RR‹RRtmaceRtprover9Rtnltk.tagRtnltk.parse.maltR tnltk.sem.drt_resolve_anaphoraR t nltk.sem.glueR tobjectR RR%R/R•RRœRRyRR¥R(R.(((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pys s< (ÿS  4