Role of Non-Axiomatic Logic in a Distributed Reasoning Environment.
Mirjana IvanovicJovana IvkovicCostin BadicaPublished in: ICCCI (1) (2017)
Keyphrases
- proof theory
- automated reasoning
- distributed systems
- computing environments
- order of magnitude reasoning
- computational properties
- classical logic
- logical framework
- probabilistic logic
- distributed environment
- dynamic environments
- cooperative
- deductive reasoning
- proof theoretic
- distributed control
- autonomous agents
- mobile robot
- logical rules
- logical inference
- reasoning engine
- gathering information
- wide area network
- reasoning about actions
- mobile sensor
- real time
- peer to peer
- logic programming
- knowledge representation and reasoning
- horn logic
- distributed multimedia
- human reasoning
- predicate logic
- set theory
- mobile agents
- artificial intelligence