Crate simple_semantics 

Simple semantics

This crate defines a simple language of thought with a lambda calculus and a randomization procedure to learn simple montagovian grammars.

Re-exports

pub use language::LanguageExpression;

pub use language::LanguageResult;

pub use language::parse_executable;

Modules

lambda

The module that defines the basic lambda calculus used to compose expressions in the langauge of thought.

language

Defines the core language of thought of the model and a simple virtual machine.

Structs

DatasetError

Error for creating a dataset without equal sentences and scenarios.

Scenario

The representation of a scenario. A moment consisting of various events, the present actors and any predicates that apply to either.

ScenarioDataset

A struct defining a dataset of different Scenarios as well as their associated sentences all lemmas in the dataset.

ThetaRoles

The representation of the theta roles of a given event.

Enums

Entity

The union of Actor and Event

Type Aliases

Actor

The representation of an entity that can receive theta roles (e.g. a human, a cup, a thought).

Event

The representation of an entity that can assign theta roles (e.g. a runnning even, when its raining, etc.) They are representated as indices to the relevant ThetaRoles in a given Scenario.