Abstract | ||
---|---|---|
We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sensor data to high level events, multi-agent abductive reasoning to provide possible explanations for these events, and teleo-reactive programming to react to these explanations, e.g. to gather extra information to check abduced hypotheses. The system is embedded in a publish/subscribe architecture. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-05408-2_14 | AMI |
Keywords | Field | DocType |
low level sensor data,agent-based environment monitoring,extra information,computation logic,high level event,control system,multi-agent abductive reasoning,deductive inference,possible explanation,abduced hypothesis,logical agent-based environment monitoring,logic,logic programming,publish subscribe,computational logic,abduction,abductive reasoning,event calculus | Forward chaining,Computer science,Inference,Abductive logic programming,Non-monotonic logic,Abductive reasoning,Artificial intelligence,Deductive reasoning,Logic programming,Reasoning system | Conference |
Volume | ISSN | Citations |
5859 | 0302-9743 | 21 |
PageRank | References | Authors |
0.94 | 10 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
krysia broda | 1 | 255 | 32.16 |
Keith Clark | 2 | 248 | 31.22 |
Rob Miller | 3 | 21 | 0.94 |
Alessandra Russo | 4 | 1022 | 80.10 |