| coals.pl -- COALS |
|---|
| coals_binary_vectors/3 | CoalsVectors is a list of (Word,Vector) tuples, where Vector is a binary COALS vector, derived from a DCG using a WindowType of WindowSize. | |
| coals_padded_binary_vectors/4 | CoalsVectors is a list of (Word,Vector) tuples, where Vector is a binary COALS vector, derived from a DCG using a WindowType of WindowSize. | |
| coals_vectors/3 | CoalsVectors is a list of (Word,Vector) tuples, where Vector is a real-valued COALS vector, derived from a DCG using a WindowType of WindowSize. | |
| coals_write_vectors/2 | Writes a list of (Word,Vector) Tuples to File in CSV format. | |
| dfs_discourse.pl -- Discourse generation |
|---|
| dfs_discourse/1 | SenSemTuples is a list of all discourse sentence-semantics mappings. | |
| dfs_discourse_semantics_mappings/3 | Mappings is a list of lists of (Sen,Sem,[SenVecs],[SemVec]) quadruples. | |
| dfs_map_discourse_onto_semantics/4 | Mappings is a list of quadruples (Sen,Sem,[SenVecs],[SemVec]), where SenVecs is a word-by-word vector-based mapping of a sentence (Sen) onto single SemVec, a vector representation of its semantics (Sem). | |
| dfs_map_semantics_onto_discourse/4 | Mappings is a list of quadruples (Sen,Sem,[SemVec],[SenVecs]), where SemVec is a vector representation of a sentence semantics (Sem), and SenVecs a word-by-word vector-based representation of the corresponding sentence (Sen). | |
| dfs_semantics_discourse_mappings/3 | Mappings is a list of lists of quadruples (Sen,Sem,[SemVec],[SenVecs]). | |
| dfs_information_theory.pl -- Information theory |
|---|
| dfs_semantic_delta_entropy/4 | Semantic entropy delta for a word given a prefix. | |
| dfs_semantic_entropy/3 | Semantic entropy for a prefix. | |
| dfs_semantic_surprisal/4 | Semantic suprisal for a word given a prefix. | |
| dfs_syntactic_delta_entropy/3 | Syntactic entropy delta for a word given a prefix. | |
| dfs_syntactic_entropy/2 | Syntactic entropy for a prefix. | |
| dfs_syntactic_surprisal/3 | Syntactic surprisal of a word given a prefix. | |
| dfs_delta_entropy/3 | Entropy delta of P given Q, where P and Q are either vectors or formulas. | |
| dfs_entropy/2 | Entropy of P, where P is either a vector or a formula. | |
| dfs_surprisal/3 | Surprisal of P given Q, where P and Q are either vectors or formulas. | |
| dfs_interpretation.pl -- Model-theoretic interpretation |
|---|
| dfs_assign/4 | Updates the assignment function G of Model with variable Assignments, yielding assignment function G'. | |
| dfs_constant_instantiations/2 | ConstantInstantiations is a list of all constant instantiations in Model. | |
| dfs_entities/2 | Entities is a list of N model entities. | |
| dfs_formula_to_fol/2 | Convert FOL and/or DRS formula into first-order logic formula. | |
| dfs_formulas_to_fol/2 | Convert FOL and/or DRS formulas into first-order logic formulas. | |
| dfs_init_g/2 | Initializes the assignment function G :: Var -> Um. | |
| dfs_interpret/2 | Evaluates the truth value of Formula in Model, given an initial assignment function G. | |
| dfs_interpret/3 | Evaluates the truth value of Formula in Model, given the assignment function G. | |
| dfs_term_instantiations/3 | TermInstantiations is a list of all constant and variable instantiations in Model. | |
| dfs_terms_to_entities/3 | Maps Terms into Entities (or vice versa), given their instantiations. | |
| dfs_variables/1 | Variables is a list of variables. | |
| dfs_io.pl -- IO |
|---|
| dfs_pprint_constraints/0 | Pretty print model constraints. | |
| dfs_pprint_entailments/1 | Pretty print entailments. | |
| dfs_pprint_formula/1 | Pretty print a first-order logic formula. | |
| dfs_pprint_matrix/1 | Pretty print ModelMatrix. | |
| dfs_pprint_model/1 | Pretty print a model. | |
| dfs_pprint_propositions/1 | Pretty print the propositions of Model. | |
| dfs_read_matrix/2 | Read ModelMatrix from File. | |
| dfs_read_models/2 | Reads ModelSet from File. | |
| dfs_write_matrix/2 | Write ModelMatrix to File. | |
| dfs_write_models/2 | Writes ModelSet to File. | |
| dfs_logic.pl -- First-order Logic |
|---|
| dfs_complement/2 | ComplementFormula specifies the falsehood conditions of Formula. | |
| dfs_conj_vector/3 | ConjVector is the conjunction (component-wise product) of Vector1 and Vector2. | |
| dfs_conjoin/2 | True if Conjunction is a logical conjunction of the formulas in FormulaSet. | |
| dfs_disjoin/2 | True if Disjunction is a logical disjunction of the formulas in FormulaSet. | |
| dfs_entailment/3 | A formula P entails a formula Q (P |= Q) iff Q is true in every model that satisfies P. | |
| dfs_logical_equivalence/3 | A formula P is logically equivalent to formula Q iff [[P]]^M,g = [[Q]]^M,g for all models M and variable assignments g. | |
| dfs_satisfiability/2 | A formula P is satisfiable iff P is true in at least one model M. | |
| dfs_validity/2 | A formula P is valid (|= P) iff P is true (not false) in all models. | |
| dfs_main.pl -- Distributional Formal Semantics |
|---|
| dfs_main/0 | Module entry point. | |
| dfs_version_major/1 | Major version number. | |
| dfs_version_minor/1 | Minor version number. | |
| dfs_version_patch/1 | Patch version number. | |
| dfs_probabilities.pl -- Probabilities |
|---|
| dfs_cond_probability/3 | Conditional probability of P given Q, where P and Q are either vectors or formulas. | |
| dfs_conj_probability/3 | Conjunction probability of P and Q, where P and Q are either vectors or formulas. | |
| dfs_inference_score/3 | Inference score of P from Q, where P and Q are either vectors or formulas. | |
| dfs_prior_probability/2 | Prior probability of P, where P is either a vector or a formula. | |
| dfs_sampling.pl -- Model sampling |
|---|
| dfs_sample_model/1 | Sample a model from the world specificiations. | |
| dfs_sample_models/2 | ModelSet is a set of NumModels sampled models. | |
| dfs_sample_models_mt/3 | ModelSet is a set of NumThreads * NumModels sampled models. | |
| dfs_semantics.pl -- DFS semantics |
|---|
| dfs_coordinates/2 | Coordinates designates the point in space in between the elements of Interpretation. | |
| dfs_entailments/3 | Entailments is a set of (Element,AtomicProps) tuples, such that each AtomicProps is a list of atomic propositions entailed by the corresponding Element in Interpretation. | |
| dfs_semantics/3 | Derives an Interpretation (a set of points in DFS space) for Formula given ModelSet. | |
| dfs_sentences.pl -- Sentence generation |
|---|
| dfs_localist_word_vectors/1 | WordVectors is a list of tuples (Word,Vector) where Vector is a localist vector representation for each Word generated. | |
| dfs_map_semantics_onto_sentence/4 | Mapping is a quadruple (Sen,Sem,[SemVec],[SenVecs]), where SemVec is a vector representation of a sentence semantics (Sem), and SenVecs a word-by-word vector-based representation of the corresponding sentence (Sen). | |
| dfs_map_sentence_onto_semantics/4 | Mapping is a quadruple (Sen,Sem,[SenVecs],[SemVec]), where SenVecs is a word-by-word vector-based mapping of a sentence (Sen) onto single SemVec, a vector representation of its semantics (Sem). | |
| dfs_map_sentence_onto_sentence/4 | Mapping is a quadruple (Sen,Sem,[InSenVecs],[OutSenVecs]), where InSenVecs and OutSenVecs are word-by-word vector-based representations of the corresponding sentence (Sen). | |
| dfs_prefix_continuations/2 | SemSenMappings is a list of all tuples (Sen,Sem), where sentence Sen is a possible continuation of Prefix, and Sem its corresponding FOL semantics. | |
| dfs_prefix_frequency/2 | Frequency is the occurence frequency of sentence Prefix. | |
| dfs_semantics_sentence_mappings/3 | Mappings is a list of quadruples (Sen,Sem,[SemVec],[SenVecs]). | |
| dfs_sentence_frequency/2 | Frequency is is the occurrence frequency of Sentence. | |
| dfs_sentence_semantics_mappings/3 | Mappings is a list of quadruples (Sen,Sem,[SenVecs],[SemVec]). | |
| dfs_sentence_sentence_mappings/3 | Mappings is a list of quadruples (Sen,Sem,[InSenVecs],[OutSenVecs]). | |
| dfs_sentences/1 | SenSemTuples is a list of all sentence-semantics mappings generated. | |
| dfs_words/1 | Words is the set of all lexical items generated. | |
| dfs_vector_space.pl -- Vector space |
|---|
| #>@/2 | Infix operator for dfs_matrix_to_models/2. | |
| @>#/2 | Infix operator for dfs_models_to_matrix/2. | |
| dfs_matrix_to_models/2 | Convert a vector space into a set of models. | |
| dfs_model_to_vector/2 | ModelVector is a set of tuples (AtomicProp,State) representing the State of each atomic proposition AtomicProp in Model. | |
| dfs_models_to_matrix/2 | Convert a set of models into a vector space. | |
| dfs_vector/3 | A formula P is true in a model M iff [[P]]^M,g = 1 given an arbitrary variable assignment g. | |
| dfs_vector_to_model/2 | Converts ModelVector, a set of tuples (AtomicProp,State) representing the State of each atomic proposition AtomicProp, into a Model. | |
| drt.pl |
|---|
| drs_interpret/3 | A DRS K is true in a model M iff [[K]]^M,g = 1 given an arbitrary variable assignment g. | |
| drs_to_fol/2 | Translate DRS into a first-order logic Formula. | |
| mesh.pl -- MESH |
|---|
| mesh_write_atomic_prop_set/2 | Write a MESH-readable set of atomic propositions:. | |
| mesh_write_set/2 | Write all sentence-semantics, semantics-sentence, discourse-semantics, semantics-discourse, or sentence-sentence Mappings to File in MESH-readable format. | |