Storing and reconciling the facts asserted by assertion sentences. This is version 1.
-
-
What This Module Does - An overview of the knowledge module's role and abilities.
-
-
Chapter 1: Configuration and Control
-
Knowledge Module - Setting up the use of this module. -
Assert Propositions - To declare that a given proposition is a true statement about the state of the world when play begins.
-
-
Chapter 2: Instances and Variables
-
Instances - To manage constant values of enumerated kinds or kinds of object. -
Instances as Adjectives - When instances are adjectives as well as nouns. -
Preform for Instances - Preform grammar to parse names of instances. -
Ordering Instances - A simple system for making an ordered list of instances. -
Nonlocal Variables - To manage variables whose scope is wider than the current rule.
-
-
-
Properties - Elements of the model world, such as objects, have properties associated with them. Here we look after the identities of these different properties. -
Either-Or Properties - Properties which can either be present or not, but have no value attached. -
Valued Properties - Properties which consist of an attached value, always having a given kind. -
Property Sentences - To examine assertion sentences for property creation. -
Condition Properties - Properties which hold one of an enumerated set of named states of something. -
Indefinite Appearance - To look after the indefinite appearance pseudo-property, used when the source text comments on something with a sentence consisting only of a double-quoted literal text. -
The Provision Relation - To define the provision relation, which determines which properties can be held by which objects. -
Comparative Relations - When a measurement adjective like "tall" is defined, so is a comparative relation like "taller than". -
Measurement Adjectives - To define adjectives such as large, wide or roomy, which make implicit comparisons of the size of some numerical property, and which (unlike other adjectives) lead to comparative and superlative forms. -
Same Property Relation - Each value property has an associated relation to compare its value between two holders. -
Setting Property Relation - Each value property has an associated relation to set its value. -
Properties of Values - Two unrelated but minor support needs for properties of values which are not objects. -
Emit Property Values - To feed the hierarchy of instances and their property values into Inter.
-
-
-
Inference Subjects - A unified way to refer to the things propositions talk about. -
Variable Subjects - The global variables family of inference subjects. -
Instance Subjects - The instances family of inference subjects. -
Kind Subjects - The kinds family of inference subjects. -
Relation Subjects - The relations family of inference subjects.
-
-
-
Property Permissions - To enforce the domain of properties: for instance, that a door can be open or closed but that an animal cannot, or that a person can have a carrying capacity but that a door cannot. -
Inferences - To manage the individual pieces of information gathered, with varying degrees of certainty, from assertion sentences. This is mostly information about which objects have what properties. -
Complete Model World - Once the assertions have all been read and reduced to inferences, and all the creations have been made, we take stock; sometimes we spot inconsistencies, sometimes we make deductions, and we try to complete our picture of the model world. -
Compile Model World - To manage the compilation of the diverse run-time arrays and/or code needed to set up the initial state of the model world. -
Instance Counting - A plugin which maintains run-time-accessible linked lists of instances of kinds, in order to speed up loops; and instance counts within kinds, in order to speed up relation storage; and the object-kind hierarchy, in order to speed up run-time checking of the type safety of property usage.
-
Powered by Inweb.