Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

38
LINES

< > BotCompany Repo | #1017042 // Patterns Step 3 [dev.]

JavaX source code (desktop) - run with: x30.jar

Download Jar.

1  
!7
2  
3  
sS defs = [[
4  
A cup of water = A cup with water inside
5  
A cup of Peter = A cup that belongs to Peter
6  
A cup of glass = A cup that consists of glass
7  
A cup of style = A cup that has a lot of style
8  
a $a with $b inside       = [implies] $b is smaller than a $a
9  
a $a that belongs to $b   = [implies] $b is a person
10  
a $a that consists of $b  = [implies] $b is a material
11  
a $a that has a lot of $b = [implies] $b is a property
12  
Joe = a person
13  
]];
14  
15  
sclass Confirmed(Statement st) {}
16  
sclass Rejected(Statement st) {}
17  
18  
p-exp {
19  
  new ThoughtSpace1 ts;
20  
  ts.objects.add(Input("a cup of joe"));
21  
  
22  
  ts.addDefinitions(defs);
23  
  ts.think(false);
24  
25  
  for (Definition d : ts.definitionsForInput()) {
26  
    print("\nTrying definition " + sfu(d));
27  
    new ThoughtSpace1 ts2;
28  
    ts2.objects.add(Input((S) d.rhs));
29  
    ts2.addDefinitions(defs);
30  
    ts2.steppers.add(voidfunc(ThoughtSpace1 ts) {
31  
      for (ts.list(Statement))
32  
    }));
33  
    ts2.think(false);
34  
    ts2.removeInitialObjects();
35  
    
36  
    pnlStruct(ts2.statements());
37  
  }
38  
}

Author comment

Began life as a copy of #1017041

download  show line numbers  debug dex  old transpilations   

Travelled to 14 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, irmadwmeruwu, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt

No comments. add comment

Snippet ID: #1017042
Snippet name: Patterns Step 3 [dev.]
Eternal ID of this version: #1017042/1
Text MD5: f6d1752d27c9cf1e2c243ff468f8b2a1
Author: stefan
Category: javax / a.i.
Type: JavaX source code (desktop)
Public (visible to everyone): Yes
Archived (hidden from active list): No
Created/modified: 2018-07-11 13:24:13
Source code size: 1046 bytes / 38 lines
Pitched / IR pitched: No / No
Views / Downloads: 383 / 502
Referenced in: [show references]