Mercurial > code > home > repos > homeauto
annotate service/reasoning/reasoning.py @ 571:53a2664f450a
build/import update for reasoning service
Ignore-this: 5e2a8d717e7273bf4a84dd467cccab17
author | drewp@bigasterisk.com |
---|---|
date | Mon, 06 May 2019 00:05:24 -0700 |
parents | 1ceb26846eca |
children | a34dee00a989 |
rev | line source |
---|---|
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
1 #!bin/python |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
2 """ |
46
f5623d9b07fd
rewriting reasoning to use graphs for config
drewp@bigasterisk.com
parents:
45
diff
changeset
|
3 Graph consists of: |
f5623d9b07fd
rewriting reasoning to use graphs for config
drewp@bigasterisk.com
parents:
45
diff
changeset
|
4 input/* (read at startup) |
f5623d9b07fd
rewriting reasoning to use graphs for config
drewp@bigasterisk.com
parents:
45
diff
changeset
|
5 webinput/* (new files are noticed in here) |
f5623d9b07fd
rewriting reasoning to use graphs for config
drewp@bigasterisk.com
parents:
45
diff
changeset
|
6 any number of remote graphs, specified in the other graph as objects of (:reasoning, :source, *), reread constantly |
f5623d9b07fd
rewriting reasoning to use graphs for config
drewp@bigasterisk.com
parents:
45
diff
changeset
|
7 |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
8 gather subgraphs from various services, run them through a rules |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
9 engine, and make http requests with the conclusions. |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
10 |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
11 E.g. 'when drew's phone is near the house, and someone is awake, |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
12 unlock the door when the door's motion sensor is activated' |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
13 |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
14 When do we gather? The services should be able to trigger us, perhaps |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
15 with PSHB, that their graph has changed. |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
16 """ |
303 | 17 from crochet import no_setup |
18 no_setup() | |
19 | |
280
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
20 import json, time, traceback, sys |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
21 from logging import getLogger, DEBUG, WARN |
351
7716b1810d6c
reasoning & collector move into docker images
drewp@bigasterisk.com
parents:
315
diff
changeset
|
22 sys.path.append('/opt') # docker is putting lib/ here |
280
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
23 |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
24 from colorlog import ColoredFormatter |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
25 from docopt import docopt |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
26 from rdflib import Namespace, Literal, RDF, Graph |
463
1ceb26846eca
add separate :matchPredicate support. some build and log edits.
drewp@bigasterisk.com
parents:
392
diff
changeset
|
27 from twisted.internet import reactor, task, defer |
280
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
28 from twisted.internet.defer import inlineCallbacks |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
29 import cyclone.web, cyclone.websocket |
240
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
30 |
287
3b61c0dfaaef
switch from evtiming to greplin.scales. Optimize rules reader to reuse previous data (400ms -> 0.6ms)
drewp@bigasterisk.com
parents:
286
diff
changeset
|
31 from greplin import scales |
3b61c0dfaaef
switch from evtiming to greplin.scales. Optimize rules reader to reuse previous data (400ms -> 0.6ms)
drewp@bigasterisk.com
parents:
286
diff
changeset
|
32 from greplin.scales.cyclonehandler import StatsHandler |
3b61c0dfaaef
switch from evtiming to greplin.scales. Optimize rules reader to reuse previous data (400ms -> 0.6ms)
drewp@bigasterisk.com
parents:
286
diff
changeset
|
33 |
284
95f72a22965d
rules become simple-looking again; fix the ambiguity in memory after loading them.
drewp@bigasterisk.com
parents:
283
diff
changeset
|
34 from inference import infer, readRules |
240
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
35 from actions import Actions |
275 | 36 from inputgraph import InputGraph |
284
95f72a22965d
rules become simple-looking again; fix the ambiguity in memory after loading them.
drewp@bigasterisk.com
parents:
283
diff
changeset
|
37 from escapeoutputstatements import unquoteOutputStatements |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
38 |
571
53a2664f450a
build/import update for reasoning service
drewp@bigasterisk.com
parents:
463
diff
changeset
|
39 from standardservice.logsetup import log |
280
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
40 |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
41 |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
42 ROOM = Namespace("http://projects.bigasterisk.com/room/") |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
43 DEV = Namespace("http://projects.bigasterisk.com/device/") |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
44 |
281 | 45 NS = {'': ROOM, 'dev': DEV} |
283
0b0fb67b0b3a
fix input/output statement ambiguity problem by allowing quoted output statements
drewp@bigasterisk.com
parents:
282
diff
changeset
|
46 |
287
3b61c0dfaaef
switch from evtiming to greplin.scales. Optimize rules reader to reuse previous data (400ms -> 0.6ms)
drewp@bigasterisk.com
parents:
286
diff
changeset
|
47 STATS = scales.collection('/web', |
392
79d041273e26
mqtt has two devices now. various older cleanups.
drewp@bigasterisk.com
parents:
351
diff
changeset
|
48 scales.PmfStat('graphChanged'), |
79d041273e26
mqtt has two devices now. various older cleanups.
drewp@bigasterisk.com
parents:
351
diff
changeset
|
49 scales.PmfStat('updateRules'), |
79d041273e26
mqtt has two devices now. various older cleanups.
drewp@bigasterisk.com
parents:
351
diff
changeset
|
50 ) |
287
3b61c0dfaaef
switch from evtiming to greplin.scales. Optimize rules reader to reuse previous data (400ms -> 0.6ms)
drewp@bigasterisk.com
parents:
286
diff
changeset
|
51 |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
52 class Reasoning(object): |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
53 def __init__(self): |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
54 self.prevGraph = None |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
55 |
240
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
56 self.actions = Actions(sendToLiveClients) |
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
57 |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
58 self.rulesN3 = "(not read yet)" |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
59 self.inferred = Graph() # gets replaced in each graphChanged call |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
60 |
240
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
61 self.inputGraph = InputGraph([], self.graphChanged) |
47
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
62 self.inputGraph.updateFileData() |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
63 |
392
79d041273e26
mqtt has two devices now. various older cleanups.
drewp@bigasterisk.com
parents:
351
diff
changeset
|
64 @STATS.updateRules.time() |
240
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
65 def updateRules(self): |
284
95f72a22965d
rules become simple-looking again; fix the ambiguity in memory after loading them.
drewp@bigasterisk.com
parents:
283
diff
changeset
|
66 rulesPath = 'rules.n3' |
240
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
67 try: |
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
68 t1 = time.time() |
287
3b61c0dfaaef
switch from evtiming to greplin.scales. Optimize rules reader to reuse previous data (400ms -> 0.6ms)
drewp@bigasterisk.com
parents:
286
diff
changeset
|
69 self.rulesN3, self.ruleStore = readRules( |
284
95f72a22965d
rules become simple-looking again; fix the ambiguity in memory after loading them.
drewp@bigasterisk.com
parents:
283
diff
changeset
|
70 rulesPath, outputPatterns=[ |
286 | 71 # Incomplete. See escapeoutputstatements.py for |
72 # explanation. | |
73 (None, ROOM['brightness'], None), | |
74 (None, ROOM['playState'], None), | |
75 (None, ROOM['powerState'], None), | |
76 (None, ROOM['state'], None), | |
77 ]) | |
240
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
78 ruleParseTime = time.time() - t1 |
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
79 except ValueError: |
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
80 # this is so if you're just watching the inferred output, |
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
81 # you'll see the error too |
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
82 self.inferred = Graph() |
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
83 self.inferred.add((ROOM['reasoner'], ROOM['ruleParseError'], |
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
84 Literal(traceback.format_exc()))) |
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
85 raise |
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
86 return [(ROOM['reasoner'], ROOM['ruleParseTime'], |
281 | 87 Literal(ruleParseTime))], ruleParseTime |
240
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
88 |
287
3b61c0dfaaef
switch from evtiming to greplin.scales. Optimize rules reader to reuse previous data (400ms -> 0.6ms)
drewp@bigasterisk.com
parents:
286
diff
changeset
|
89 @STATS.graphChanged.time() |
179
0f2ac014d9ea
reasoning: -v verbose setting, more oneshot support, some custom stuff for mpd commands
drewp@bigasterisk.com
parents:
129
diff
changeset
|
90 def graphChanged(self, inputGraph, oneShot=False, oneShotGraph=None): |
285 | 91 """ |
92 If we're getting called for a oneShot event, the oneShotGraph | |
93 statements are already in inputGraph.getGraph(). | |
94 """ | |
280
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
95 log.info("----------------------") |
392
79d041273e26
mqtt has two devices now. various older cleanups.
drewp@bigasterisk.com
parents:
351
diff
changeset
|
96 log.info("graphChanged (oneShot=%s %s stmts):", |
79d041273e26
mqtt has two devices now. various older cleanups.
drewp@bigasterisk.com
parents:
351
diff
changeset
|
97 oneShot, len(oneShotGraph) if oneShotGraph is not None else 0) |
79d041273e26
mqtt has two devices now. various older cleanups.
drewp@bigasterisk.com
parents:
351
diff
changeset
|
98 if oneShotGraph: |
79d041273e26
mqtt has two devices now. various older cleanups.
drewp@bigasterisk.com
parents:
351
diff
changeset
|
99 for stmt in oneShotGraph: |
79d041273e26
mqtt has two devices now. various older cleanups.
drewp@bigasterisk.com
parents:
351
diff
changeset
|
100 log.info(" OS-> %r", stmt) |
64
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
101 t1 = time.time() |
49 | 102 oldInferred = self.inferred |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
103 try: |
281 | 104 ruleStatStmts, ruleParseSec = self.updateRules() |
287
3b61c0dfaaef
switch from evtiming to greplin.scales. Optimize rules reader to reuse previous data (400ms -> 0.6ms)
drewp@bigasterisk.com
parents:
286
diff
changeset
|
105 |
288
e03696277b32
logging and cleanups. Upgrade fuxi to have the cPickle optimization.
drewp@bigasterisk.com
parents:
287
diff
changeset
|
106 self.inferred, inferSec = self._makeInferred(inputGraph.getGraph()) |
283
0b0fb67b0b3a
fix input/output statement ambiguity problem by allowing quoted output statements
drewp@bigasterisk.com
parents:
282
diff
changeset
|
107 |
284
95f72a22965d
rules become simple-looking again; fix the ambiguity in memory after loading them.
drewp@bigasterisk.com
parents:
283
diff
changeset
|
108 self.inferred += unquoteOutputStatements(self.inferred) |
287
3b61c0dfaaef
switch from evtiming to greplin.scales. Optimize rules reader to reuse previous data (400ms -> 0.6ms)
drewp@bigasterisk.com
parents:
286
diff
changeset
|
109 |
285 | 110 self.inferred += ruleStatStmts |
49 | 111 |
179
0f2ac014d9ea
reasoning: -v verbose setting, more oneshot support, some custom stuff for mpd commands
drewp@bigasterisk.com
parents:
129
diff
changeset
|
112 if oneShot: |
285 | 113 # It's possible a oneShotGraph statement didn't |
114 # trigger a rule to do something, but was itself the | |
115 # output statement. Probably we could just mix in the | |
116 # whole inputGraph here and not special-case the | |
117 # oneShotGraph. | |
118 self.inferred += oneShotGraph | |
179
0f2ac014d9ea
reasoning: -v verbose setting, more oneshot support, some custom stuff for mpd commands
drewp@bigasterisk.com
parents:
129
diff
changeset
|
119 |
288
e03696277b32
logging and cleanups. Upgrade fuxi to have the cPickle optimization.
drewp@bigasterisk.com
parents:
287
diff
changeset
|
120 t3 = time.time() |
240
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
121 self.actions.putResults(self.inputGraph.getGraph(), self.inferred) |
288
e03696277b32
logging and cleanups. Upgrade fuxi to have the cPickle optimization.
drewp@bigasterisk.com
parents:
287
diff
changeset
|
122 putResultsTime = time.time() - t3 |
49 | 123 finally: |
124 if oneShot: | |
125 self.inferred = oldInferred | |
288
e03696277b32
logging and cleanups. Upgrade fuxi to have the cPickle optimization.
drewp@bigasterisk.com
parents:
287
diff
changeset
|
126 log.info("graphChanged took %.1f ms (rule parse %.1f ms, infer %.1f ms, putResults %.1f ms)" % |
64
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
127 ((time.time() - t1) * 1000, |
281 | 128 ruleParseSec * 1000, |
288
e03696277b32
logging and cleanups. Upgrade fuxi to have the cPickle optimization.
drewp@bigasterisk.com
parents:
287
diff
changeset
|
129 inferSec * 1000, |
240
0c306e76d8c5
ipv6 fetch support. refactor Actions to new class and file
drewp@bigasterisk.com
parents:
235
diff
changeset
|
130 putResultsTime * 1000)) |
49 | 131 |
132 def _makeInferred(self, inputGraph): | |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
133 t1 = time.time() |
288
e03696277b32
logging and cleanups. Upgrade fuxi to have the cPickle optimization.
drewp@bigasterisk.com
parents:
287
diff
changeset
|
134 |
49 | 135 out = infer(inputGraph, self.ruleStore) |
281 | 136 for p, n in NS.iteritems(): |
137 out.bind(p, n, override=True) | |
288
e03696277b32
logging and cleanups. Upgrade fuxi to have the cPickle optimization.
drewp@bigasterisk.com
parents:
287
diff
changeset
|
138 |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
139 inferenceTime = time.time() - t1 |
49 | 140 out.add((ROOM['reasoner'], ROOM['inferenceTime'], |
111
e4a4ee70a514
switch reasoning from restkit to async cyclone http client
drewp@bigasterisk.com
parents:
77
diff
changeset
|
141 Literal(inferenceTime))) |
288
e03696277b32
logging and cleanups. Upgrade fuxi to have the cPickle optimization.
drewp@bigasterisk.com
parents:
287
diff
changeset
|
142 return out, inferenceTime |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
143 |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
144 |
287
3b61c0dfaaef
switch from evtiming to greplin.scales. Optimize rules reader to reuse previous data (400ms -> 0.6ms)
drewp@bigasterisk.com
parents:
286
diff
changeset
|
145 |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
146 class Index(cyclone.web.RequestHandler): |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
147 def get(self): |
180 | 148 self.set_header("Content-Type", "text/html") |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
149 self.write(open('index.html').read()) |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
150 |
47
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
151 class ImmediateUpdate(cyclone.web.RequestHandler): |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
152 def put(self): |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
153 """ |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
154 request an immediate load of the remote graphs; the thing we |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
155 do in the background anyway. No payload. |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
156 |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
157 Using PUT because this is idempotent and retryable and |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
158 everything. |
54
42411726a7ca
screen out more values that change on every update
drewp@bigasterisk.com
parents:
49
diff
changeset
|
159 |
42411726a7ca
screen out more values that change on every update
drewp@bigasterisk.com
parents:
49
diff
changeset
|
160 todo: this should do the right thing when many requests come |
42411726a7ca
screen out more values that change on every update
drewp@bigasterisk.com
parents:
49
diff
changeset
|
161 in very quickly |
47
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
162 """ |
303 | 163 log.warn("immediateUpdate from %s %s - ignored", |
280
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
164 self.request.headers.get('User-Agent', '?'), |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
165 self.request.headers['Host']) |
47
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
166 self.set_status(202) |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
167 |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
168 class OneShot(cyclone.web.RequestHandler): |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
169 def post(self): |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
170 """ |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
171 payload is an rdf graph. The statements are momentarily added |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
172 to the input graph for exactly one update. |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
173 |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
174 todo: how do we go from a transition like doorclosed-to-open |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
175 to a oneshot event? the upstream shouldn't have to do it. Do |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
176 we make those oneshot events here? for every object change? |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
177 there are probably special cases regarding startup time when |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
178 everything appears to be a 'change'. |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
179 """ |
179
0f2ac014d9ea
reasoning: -v verbose setting, more oneshot support, some custom stuff for mpd commands
drewp@bigasterisk.com
parents:
129
diff
changeset
|
180 try: |
392
79d041273e26
mqtt has two devices now. various older cleanups.
drewp@bigasterisk.com
parents:
351
diff
changeset
|
181 log.info('POST to oneShot, headers=%s', self.request.headers) |
281 | 182 dt = self.settings.reasoning.inputGraph.addOneShotFromString( |
183 self.request.body, self.request.headers['content-type']) | |
184 self.set_header('x-graph-ms', str(1000 * dt)) | |
179
0f2ac014d9ea
reasoning: -v verbose setting, more oneshot support, some custom stuff for mpd commands
drewp@bigasterisk.com
parents:
129
diff
changeset
|
185 except Exception as e: |
315 | 186 traceback.print_exc() |
179
0f2ac014d9ea
reasoning: -v verbose setting, more oneshot support, some custom stuff for mpd commands
drewp@bigasterisk.com
parents:
129
diff
changeset
|
187 log.error(e) |
0f2ac014d9ea
reasoning: -v verbose setting, more oneshot support, some custom stuff for mpd commands
drewp@bigasterisk.com
parents:
129
diff
changeset
|
188 raise |
0f2ac014d9ea
reasoning: -v verbose setting, more oneshot support, some custom stuff for mpd commands
drewp@bigasterisk.com
parents:
129
diff
changeset
|
189 |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
190 # for reuse |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
191 class GraphResource(cyclone.web.RequestHandler): |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
192 def get(self, which): |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
193 self.set_header("Content-Type", "application/json") |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
194 r = self.settings.reasoning |
47
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
195 g = {'lastInput': r.inputGraph.getGraph(), |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
196 'lastOutput': r.inferred, |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
197 }[which] |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
198 self.write(self.jsonRdf(g)) |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
199 |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
200 def jsonRdf(self, g): |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
201 return json.dumps(sorted(list(g))) |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
202 |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
203 class NtGraphs(cyclone.web.RequestHandler): |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
204 """same as what gets posted above""" |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
205 def get(self): |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
206 r = self.settings.reasoning |
47
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
207 inputGraphNt = r.inputGraph.getGraph().serialize(format="nt") |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
208 inferredNt = r.inferred.serialize(format="nt") |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
209 self.set_header("Content-Type", "application/json") |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
210 self.write(json.dumps({"input": inputGraphNt, |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
211 "inferred": inferredNt})) |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
212 |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
213 class Rules(cyclone.web.RequestHandler): |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
214 def get(self): |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
215 self.set_header("Content-Type", "text/plain") |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
216 self.write(self.settings.reasoning.rulesN3) |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
217 |
45
5b0f970e3d52
/status page, errors on failed graphs, time reports of successful fetches
drewp@bigasterisk.com
parents:
33
diff
changeset
|
218 class Status(cyclone.web.RequestHandler): |
5b0f970e3d52
/status page, errors on failed graphs, time reports of successful fetches
drewp@bigasterisk.com
parents:
33
diff
changeset
|
219 def get(self): |
5b0f970e3d52
/status page, errors on failed graphs, time reports of successful fetches
drewp@bigasterisk.com
parents:
33
diff
changeset
|
220 self.set_header("Content-Type", "text/plain") |
47
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
221 g = self.settings.reasoning.inputGraph.getGraph() |
45
5b0f970e3d52
/status page, errors on failed graphs, time reports of successful fetches
drewp@bigasterisk.com
parents:
33
diff
changeset
|
222 msg = "" |
5b0f970e3d52
/status page, errors on failed graphs, time reports of successful fetches
drewp@bigasterisk.com
parents:
33
diff
changeset
|
223 for badSource in g.subjects(RDF.type, ROOM['FailedGraphLoad']): |
5b0f970e3d52
/status page, errors on failed graphs, time reports of successful fetches
drewp@bigasterisk.com
parents:
33
diff
changeset
|
224 msg += "GET %s failed (%s). " % ( |
5b0f970e3d52
/status page, errors on failed graphs, time reports of successful fetches
drewp@bigasterisk.com
parents:
33
diff
changeset
|
225 badSource, g.value(badSource, ROOM['graphLoadError'])) |
5b0f970e3d52
/status page, errors on failed graphs, time reports of successful fetches
drewp@bigasterisk.com
parents:
33
diff
changeset
|
226 if not msg: |
47
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
227 self.finish("all inputs ok") |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
228 return |
45
5b0f970e3d52
/status page, errors on failed graphs, time reports of successful fetches
drewp@bigasterisk.com
parents:
33
diff
changeset
|
229 self.set_status(500) |
5b0f970e3d52
/status page, errors on failed graphs, time reports of successful fetches
drewp@bigasterisk.com
parents:
33
diff
changeset
|
230 self.finish(msg) |
5b0f970e3d52
/status page, errors on failed graphs, time reports of successful fetches
drewp@bigasterisk.com
parents:
33
diff
changeset
|
231 |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
232 class Static(cyclone.web.RequestHandler): |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
233 def get(self, p): |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
234 self.write(open(p).read()) |
45
5b0f970e3d52
/status page, errors on failed graphs, time reports of successful fetches
drewp@bigasterisk.com
parents:
33
diff
changeset
|
235 |
64
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
236 liveClients = set() |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
237 def sendToLiveClients(d=None, asJson=None): |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
238 j = asJson or json.dumps(d) |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
239 for c in liveClients: |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
240 c.sendMessage(j) |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
241 |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
242 class Events(cyclone.websocket.WebSocketHandler): |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
243 |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
244 def connectionMade(self, *args, **kwargs): |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
245 log.info("websocket opened") |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
246 liveClients.add(self) |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
247 |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
248 def connectionLost(self, reason): |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
249 log.info("websocket closed") |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
250 liveClients.remove(self) |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
251 |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
252 def messageReceived(self, message): |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
253 log.info("got message %s" % message) |
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
254 |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
255 class Application(cyclone.web.Application): |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
256 def __init__(self, reasoning): |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
257 handlers = [ |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
258 (r"/", Index), |
47
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
259 (r"/immediateUpdate", ImmediateUpdate), |
0448fbd96a31
scan more input files. oneshot and immediate update features.
drewp@bigasterisk.com
parents:
46
diff
changeset
|
260 (r"/oneShot", OneShot), |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
261 (r'/(jquery.min.js)', Static), |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
262 (r'/(lastInput|lastOutput)Graph', GraphResource), |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
263 (r'/ntGraphs', NtGraphs), |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
264 (r'/rules', Rules), |
45
5b0f970e3d52
/status page, errors on failed graphs, time reports of successful fetches
drewp@bigasterisk.com
parents:
33
diff
changeset
|
265 (r'/status', Status), |
64
e573af8c2428
reasoning has a websocket server that broadcasts some events
drewp@bigasterisk.com
parents:
54
diff
changeset
|
266 (r'/events', Events), |
287
3b61c0dfaaef
switch from evtiming to greplin.scales. Optimize rules reader to reuse previous data (400ms -> 0.6ms)
drewp@bigasterisk.com
parents:
286
diff
changeset
|
267 (r'/stats/(.*)', StatsHandler, {'serverName': 'reasoning'}), |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
268 ] |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
269 cyclone.web.Application.__init__(self, handlers, reasoning=reasoning) |
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
270 |
280
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
271 def configLogging(arg): |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
272 log.setLevel(WARN) |
179
0f2ac014d9ea
reasoning: -v verbose setting, more oneshot support, some custom stuff for mpd commands
drewp@bigasterisk.com
parents:
129
diff
changeset
|
273 |
280
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
274 if arg['-i'] or arg['-r'] or arg['-o']: |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
275 log.handlers[0].setFormatter(ColoredFormatter("%(log_color)s%(levelname)-8s %(name)-6s %(filename)-12s:%(lineno)-3s %(funcName)-20s%(reset)s %(white)s%(message)s", |
235 | 276 datefmt=None, |
277 reset=True, | |
278 log_colors={ | |
279 'DEBUG': 'cyan', | |
280 'INFO': 'green', | |
281 'WARNING': 'yellow', | |
282 'ERROR': 'red', | |
283 'CRITICAL': 'red,bg_white', | |
284 }, | |
285 secondary_log_colors={}, | |
286 style='%' | |
287 )) | |
463
1ceb26846eca
add separate :matchPredicate support. some build and log edits.
drewp@bigasterisk.com
parents:
392
diff
changeset
|
288 defer.setDebugging(True) |
1ceb26846eca
add separate :matchPredicate support. some build and log edits.
drewp@bigasterisk.com
parents:
392
diff
changeset
|
289 |
235 | 290 |
280
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
291 if arg['-i']: |
179
0f2ac014d9ea
reasoning: -v verbose setting, more oneshot support, some custom stuff for mpd commands
drewp@bigasterisk.com
parents:
129
diff
changeset
|
292 import twisted.python.log |
0f2ac014d9ea
reasoning: -v verbose setting, more oneshot support, some custom stuff for mpd commands
drewp@bigasterisk.com
parents:
129
diff
changeset
|
293 twisted.python.log.startLogging(sys.stdout) |
280
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
294 |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
295 getLogger('fetch').setLevel(DEBUG if arg['-i'] else WARN) |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
296 log.setLevel(DEBUG if arg['-r'] else WARN) |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
297 getLogger('output').setLevel(DEBUG if arg['-o'] else WARN) |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
298 |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
299 |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
300 if __name__ == '__main__': |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
301 arg = docopt(""" |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
302 Usage: reasoning.py [options] |
45
5b0f970e3d52
/status page, errors on failed graphs, time reports of successful fetches
drewp@bigasterisk.com
parents:
33
diff
changeset
|
303 |
303 | 304 -i Verbose log on the input phase |
280
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
305 -r Verbose log on the reasoning phase and web stuff |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
306 -o Verbose log on the actions/output phase |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
307 """) |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
308 |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
309 r = Reasoning() |
c192d37b2bc8
lots of logging updates (patch may be imprecise)
drewp@bigasterisk.com
parents:
275
diff
changeset
|
310 configLogging(arg) |
235 | 311 reactor.listenTCP(9071, Application(r), interface='::') |
20
3f0dd03112b5
move reasoning from /my/proj/room, new integration with magma
drewp@bigasterisk.com
parents:
diff
changeset
|
312 reactor.run() |