stzKnowledgeGraph

(no comment in the source: the name reads as a sentence) initno extension

(no comment in the source: the name reads as a sentence) is knowledge graphno extension

(no comment in the source: the name reads as a sentence) is a knowledge graphno extension

(no comment in the source: the name reads as a sentence) add factalso written: AddTriplein the section triple interfaceQCSXTZZZIBWU

domain-modeling verbs (INSTANCE-scoped, chainable) -------------------- Build a domain knowledgebase with NO globals: oKB = new stzKnowledgeGraph("restaurant") oKB.Know("margherita", "dish"). KnowRelation("margherita", "contains", "tomato-sauce"). ConstrainRelation("pairs-with", :Symmetric) The natural-world globals (StzKnow/StzKnowRelation) are a SEPARATE feature -- the default shared world behind WhatIs/AreRelated. A scoped domain (a DLM's brain, an app's world) owns its own graph instance. 2 examples runalso written: KnowEntity

oRest = new stzKnowledgeGraph("restaurant")
oRest.Know("margherita", "dish").Know("tiramisu", "dish")
oRest.AddConversationQ("setup").SetGoal(StzGoalQ().RequireEach("dish", "contains"))
? len( oRest.GapsIn("setup") )
#--> 2

library testno extension

(no comment in the source: the name reads as a sentence) know relation 1 examples runalso written: KnowFactin the section triple interfaceno extension

Record a relation LAW on THIS graph's ontology (:Symmetric, :Unique, :Transitive). Prove() reads it for transitive closure; forging a DLM reads it as the domain's laws.also written: Constrainno extension

GOVERNED ADMISSION (instance-scoped) --------------------------------- The door a conversation / agent / importer admits facts through: the LAW is checked, the verdict is EXPLAINED, and a refusal is RECORDED as a named contradiction -- never silently resolved (G8). Admission is governed because it comes through THIS door, not because a global flag is set -- so a scoped domain graph governs itself, with no global world. Returns [ :admitted = 1|0, :why = "..." ].

composed example

o1 = new stzKnowledgeGraph("fluency-space")
? @@( o1.Admit("an", "an", "an", [ "an", "a" ]) )
#--> [ [ "admitted", 1 ], [ "why", "admitted: 'an' an 'an'" ] ]

composed from the signature, run for this page

no extension

CONVERSATIONS IN THIS SPACE (composition) ----------------------------- A knowledge space HOLDS its conversations: an elicitation is an EPISODE that happens INSIDE the space it grows -- never a session that owns a space. So the space is the door for everything that needs knowledge (AskIn / ReplyIn / GapsIn / ConcludeIn hand THIS graph, live, into the session); session-only state is reached through ConversationQ(topic). -- the conversations, as a collection this space OWNS 1 examples run

oRest = new stzKnowledgeGraph("restaurant")
oRest.Know("margherita", "dish").Know("tiramisu", "dish")
oRest.AddConversationQ("setup").SetGoal(StzGoalQ().RequireEach("dish", "contains"))
? len( oRest.GapsIn("setup") )
#--> 2

library testQCSXTZZZIBWU

(no comment in the source: the name reads as a sentence) add conversationsin the section triple interfaceQCSXTZZZIBWU

(no comment in the source: the name reads as a sentence) remove conversationin the section triple interfaceno extension

(no comment in the source: the name reads as a sentence) remove all conversationsin the section triple interfaceno extension

(no comment in the source: the name reads as a sentence) conversation qin the section triple interfaceno extension

(no comment in the source: the name reads as a sentence) conversationsin the section triple interfaceQCSXTZZZIBWU

(no comment in the source: the name reads as a sentence) number of conversationsin the section triple interface

composed example

o1 = new stzKnowledgeGraph("fluency-space")
? o1.NumberOfConversations()
#--> 0

composed from the signature, run for this page

no extension

(no comment in the source: the name reads as a sentence) has conversationin the section triple interface

composed example

o1 = new stzKnowledgeGraph("fluency-space")
? o1.HasConversation("an")
#--> 0

composed from the signature, run for this page

no extension

the sessions still working (a goal neither fulfilled nor revoked)no extension

the wise-coding loop, driven BY the space (This goes in live) 1 examples run

oRest = new stzKnowledgeGraph("restaurant")
oRest.Know("margherita", "dish").Know("tiramisu", "dish")
oRest.AddConversationQ("setup").SetGoal(StzGoalQ().RequireEach("dish", "contains"))
? len( oRest.GapsIn("setup") )
#--> 2

library testno extension

(no comment in the source: the name reads as a sentence) ask inin the section triple interfaceQCSXTZZZIBWU

(no comment in the source: the name reads as a sentence) reply inin the section triple interfaceno extension

(no comment in the source: the name reads as a sentence) conclude inin the section triple interfaceno extension

(no comment in the source: the name reads as a sentence) set strict modein the section triple interfaceno extension

(no comment in the source: the name reads as a sentence) enable strict modein the section triple interfaceno extension

(no comment in the source: the name reads as a sentence) disable strict modein the section triple interfaceno extension

(no comment in the source: the name reads as a sentence) is strictin the section triple interface

composed example

o1 = new stzKnowledgeGraph("fluency-space")
? o1.IsStrict()
#--> 0

composed from the signature, run for this page

no extension

(no comment in the source: the name reads as a sentence) contradictionsin the section triple interfaceno extension

(no comment in the source: the name reads as a sentence) fact metain the section triple interfaceno extension

(no comment in the source: the name reads as a sentence) remove factin the section triple interfaceno extension

(no comment in the source: the name reads as a sentence) remove triplein the section triple interfaceno extension

(no comment in the source: the name reads as a sentence) factsalso written: Triplesin the section triple interfaceno extension

query interface 1 examples runno extension

query interfaceno extension

entity analysisalso written: PredicatesOfno extension

entity analysisalso written: RelationsOfno extension

entity analysisalso written: SimilarEntitiesno extension

ontology supportno extension

ontology supportno extension

ontology supportno extension

ontology support

composed example

o1 = new stzKnowledgeGraph("fluency-space")
? o1.ValidateOntology()
#--> 1

composed from the signature, run for this page

no extension

Does the ontology declare this LAW for this relation? (Laws land here through DefineProperty(rel, [ law ]) -- the R1 home of :unique / :symmetric / :transitive.)

composed example

o1 = new stzKnowledgeGraph("fluency-space")
? o1.RelationHasLaw("an", "an")
#--> 0

composed from the signature, run for this page

no extension

Prove([ subject, relation, object ]) -> a STRUCTURED, replayable proof: [ :verdict, :goal, :steps, :narration, :certainty ]. Each step: [ :kind ("fact"|"law"|"chain-link"), :fact, :narration ]. Deterministic over recorded facts + declared laws, so certainty is 1 WHATEVER the verdict (a certain no is still certain, LAW 3).no extension

knowledge graph explainno extension

(legacy .stzknow still reads)also written: LoadKnowno extension

Every field is escaped (StzKnowEscape): a | or a newline inside a value is data, never a separator. Fact lines keep their 3-field shape.no extension

(legacy .stzknow still reads)no extension

(legacy .stzknow still reads)no extension

The provenance recorded for a fact ([] when none). The match ignores case, as the graph's own nodes do.no extension