stzKnowledgeGraph

(sans commentaire dans la source : le nom se lit comme une phrase) initaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) is knowledge graphaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) is a knowledge graphaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) add factaussi écrite: AddTripledans la 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 exemples exécutésaussi écrite: 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

test de la bibliothèqueaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) know relation 1 exemples exécutésaussi écrite: KnowFactdans la section triple interfaceaucune 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.aussi écrite: Constrainaucune 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 = "..." ].

exemple composé

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

composé à partir de la signature, exécuté pour cette page

aucune 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 exemples exécutés

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

test de la bibliothèqueQCSXTZZZIBWU

(sans commentaire dans la source : le nom se lit comme une phrase) add conversationsdans la section triple interfaceQCSXTZZZIBWU

(sans commentaire dans la source : le nom se lit comme une phrase) remove conversationdans la section triple interfaceaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) remove all conversationsdans la section triple interfaceaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) conversation qdans la section triple interfaceaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) conversationsdans la section triple interfaceQCSXTZZZIBWU

(sans commentaire dans la source : le nom se lit comme une phrase) number of conversationsdans la section triple interface

exemple composé

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

composé à partir de la signature, exécuté pour cette page

aucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) has conversationdans la section triple interface

exemple composé

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

composé à partir de la signature, exécuté pour cette page

aucune extension

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

the wise-coding loop, driven BY the space (This goes in live) 1 exemples exécutés

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

test de la bibliothèqueaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) ask indans la section triple interfaceQCSXTZZZIBWU

(sans commentaire dans la source : le nom se lit comme une phrase) reply indans la section triple interfaceaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) conclude indans la section triple interfaceaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) set strict modedans la section triple interfaceaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) enable strict modedans la section triple interfaceaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) disable strict modedans la section triple interfaceaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) is strictdans la section triple interface

exemple composé

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

composé à partir de la signature, exécuté pour cette page

aucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) contradictionsdans la section triple interfaceaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) fact metadans la section triple interfaceaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) remove factdans la section triple interfaceaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) remove tripledans la section triple interfaceaucune extension

(sans commentaire dans la source : le nom se lit comme une phrase) factsaussi écrite: Triplesdans la section triple interfaceaucune extension

query interface 1 exemples exécutésaucune extension

query interfaceaucune extension

entity analysisaussi écrite: PredicatesOfaucune extension

entity analysisaussi écrite: RelationsOfaucune extension

entity analysisaussi écrite: SimilarEntitiesaucune extension

ontology supportaucune extension

ontology supportaucune extension

ontology supportaucune extension

ontology support

exemple composé

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

composé à partir de la signature, exécuté pour cette page

aucune extension

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

exemple composé

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

composé à partir de la signature, exécuté pour cette page

aucune 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).aucune extension

knowledge graph explainaucune extension

(legacy .stzknow still reads)aussi écrite: LoadKnowaucune 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.aucune extension

(legacy .stzknow still reads)aucune extension

(legacy .stzknow still reads)aucune extension

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