nltk.inference package

Submodules

• nltk.inference.api module
  • BaseModelBuilderCommand
    • BaseModelBuilderCommand.__init__()
    • BaseModelBuilderCommand.build_model()
    • BaseModelBuilderCommand.get_model_builder()
    • BaseModelBuilderCommand.model()
  • BaseProverCommand
    • BaseProverCommand.__init__()
    • BaseProverCommand.decorate_proof()
    • BaseProverCommand.get_prover()
    • BaseProverCommand.proof()
    • BaseProverCommand.prove()
  • BaseTheoremToolCommand
    • BaseTheoremToolCommand.__init__()
    • BaseTheoremToolCommand.add_assumptions()
    • BaseTheoremToolCommand.assumptions()
    • BaseTheoremToolCommand.goal()
    • BaseTheoremToolCommand.print_assumptions()
    • BaseTheoremToolCommand.retract_assumptions()
  • ModelBuilder
    • ModelBuilder.build_model()
  • ModelBuilderCommand
    • ModelBuilderCommand.build_model()
    • ModelBuilderCommand.get_model_builder()
    • ModelBuilderCommand.model()
  • ModelBuilderCommandDecorator
    • ModelBuilderCommandDecorator.__init__()
    • ModelBuilderCommandDecorator.build_model()
    • ModelBuilderCommandDecorator.get_model_builder()
    • ModelBuilderCommandDecorator.model()
  • ParallelProverBuilder
    • ParallelProverBuilder.__init__()
  • ParallelProverBuilderCommand
    • ParallelProverBuilderCommand.__init__()
    • ParallelProverBuilderCommand.build_model()
    • ParallelProverBuilderCommand.prove()
  • Prover
    • Prover.prove()
  • ProverCommand
    • ProverCommand.get_prover()
    • ProverCommand.proof()
    • ProverCommand.prove()
  • ProverCommandDecorator
    • ProverCommandDecorator.__init__()
    • ProverCommandDecorator.decorate_proof()
    • ProverCommandDecorator.get_prover()
    • ProverCommandDecorator.proof()
    • ProverCommandDecorator.prove()
  • TheoremToolCommand
    • TheoremToolCommand.add_assumptions()
    • TheoremToolCommand.assumptions()
    • TheoremToolCommand.goal()
    • TheoremToolCommand.print_assumptions()
    • TheoremToolCommand.retract_assumptions()
  • TheoremToolCommandDecorator
    • TheoremToolCommandDecorator.__init__()
    • TheoremToolCommandDecorator.add_assumptions()
    • TheoremToolCommandDecorator.assumptions()
    • TheoremToolCommandDecorator.goal()
    • TheoremToolCommandDecorator.print_assumptions()
    • TheoremToolCommandDecorator.retract_assumptions()
  • TheoremToolThread
    • TheoremToolThread.__init__()
    • TheoremToolThread.result
    • TheoremToolThread.run()
• nltk.inference.discourse module
  • CfgReadingCommand
    • CfgReadingCommand.__init__()
    • CfgReadingCommand.combine_readings()
    • CfgReadingCommand.parse_to_readings()
    • CfgReadingCommand.to_fol()
  • DiscourseTester
    • DiscourseTester.__init__()
    • DiscourseTester.add_background()
    • DiscourseTester.add_sentence()
    • DiscourseTester.background()
    • DiscourseTester.expand_threads()
    • DiscourseTester.grammar()
    • DiscourseTester.models()
    • DiscourseTester.multiply()
    • DiscourseTester.readings()
    • DiscourseTester.retract_sentence()
    • DiscourseTester.sentences()
  • DrtGlueReadingCommand
    • DrtGlueReadingCommand.__init__()
    • DrtGlueReadingCommand.combine_readings()
    • DrtGlueReadingCommand.parse_to_readings()
    • DrtGlueReadingCommand.process_thread()
    • DrtGlueReadingCommand.to_fol()
  • ReadingCommand
    • ReadingCommand.combine_readings()
    • ReadingCommand.parse_to_readings()
    • ReadingCommand.process_thread()
    • ReadingCommand.to_fol()
  • demo()
  • discourse_demo()
  • drt_discourse_demo()
  • load_fol()
  • spacer()
• nltk.inference.mace module
  • Mace
    • Mace.__init__()
  • MaceCommand
    • MaceCommand.__init__()
    • MaceCommand.valuation
  • decode_result()
  • demo()
  • spacer()
  • test_build_model()
  • test_make_relation_set()
  • test_model_found()
  • test_transform_output()
• nltk.inference.nonmonotonic module
  • ClosedDomainProver
    • ClosedDomainProver.assumptions()
    • ClosedDomainProver.goal()
    • ClosedDomainProver.replace_quants()
  • ClosedWorldProver
    • ClosedWorldProver.assumptions()
  • PredHolder
    • PredHolder.__init__()
    • PredHolder.append_prop()
    • PredHolder.append_sig()
    • PredHolder.validate_sig_len()
  • ProverParseError
  • SetHolder
  • UniqueNamesProver
    • UniqueNamesProver.assumptions()
  • closed_domain_demo()
  • closed_world_demo()
  • combination_prover_demo()
  • default_reasoning_demo()
  • demo()
  • get_domain()
  • print_proof()
  • unique_names_demo()
• nltk.inference.prover9 module
  • Prover9
    • Prover9.__init__()
    • Prover9.prover9_input()
  • Prover9Command
    • Prover9Command.__init__()
    • Prover9Command.decorate_proof()
  • Prover9CommandParent
    • Prover9CommandParent.print_assumptions()
  • Prover9Exception
    • Prover9Exception.__init__()
  • Prover9FatalException
  • Prover9LimitExceededException
  • Prover9Parent
    • Prover9Parent.binary_locations()
    • Prover9Parent.config_prover9()
    • Prover9Parent.prover9_input()
  • convert_to_prover9()
  • demo()
  • spacer()
  • test_config()
  • test_convert_to_prover9()
  • test_prove()
• nltk.inference.resolution module
  • BindingDict
    • BindingDict.__init__()
  • BindingException
    • BindingException.__init__()
  • Clause
    • Clause.__init__()
    • Clause.free()
    • Clause.isSubsetOf()
    • Clause.is_tautology()
    • Clause.replace()
    • Clause.substitute_bindings()
    • Clause.subsumes()
    • Clause.unify()
  • DebugObject
    • DebugObject.__init__()
    • DebugObject.line()
  • ProverParseError
  • ResolutionProver
    • ResolutionProver.ANSWER_KEY
  • ResolutionProverCommand
    • ResolutionProverCommand.__init__()
    • ResolutionProverCommand.find_answers()
    • ResolutionProverCommand.prove()
  • UnificationException
    • UnificationException.__init__()
  • clausify()
  • demo()
  • most_general_unification()
  • resolution_test()
  • testResolutionProver()
  • test_clausify()
• nltk.inference.tableau module
  • Agenda
    • Agenda.__init__()
    • Agenda.clone()
    • Agenda.mark_alls_fresh()
    • Agenda.mark_neqs_fresh()
    • Agenda.pop_first()
    • Agenda.put()
    • Agenda.put_all()
    • Agenda.put_atoms()
    • Agenda.replace_all()
  • Categories
    • Categories.ALL
    • Categories.AND
    • Categories.APP
    • Categories.ATOM
    • Categories.D_NEG
    • Categories.EQ
    • Categories.EXISTS
    • Categories.IFF
    • Categories.IMP
    • Categories.N_ALL
    • Categories.N_AND
    • Categories.N_APP
    • Categories.N_ATOM
    • Categories.N_EQ
    • Categories.N_EXISTS
    • Categories.N_IFF
    • Categories.N_IMP
    • Categories.N_OR
    • Categories.N_PROP
    • Categories.OR
    • Categories.PROP
  • Debug
    • Debug.__init__()
    • Debug.line()
  • ProverParseError
  • TableauProver
    • TableauProver.is_atom()
  • TableauProverCommand
    • TableauProverCommand.__init__()
  • demo()
  • tableau_test()
  • testHigherOrderTableauProver()
  • testTableauProver()

Module contents

Classes and interfaces for theorem proving and model building.