Reasoning with Four-Valued Logic in Multi-robotic Search-and-Rescue Problem.
Lukasz BialekJacek SzklarskiMarta M. BorkowskaMichal GnatowskiPublished in: AUTOMATION (2016)
Keyphrases
- search and rescue
- valued logic
- robotic systems
- urban search and rescue
- automated reasoning
- classical logic
- search and rescue operations
- propositional logic
- multi robot
- fuzzy sets
- fuzzy logic
- first order logic
- path planning
- mobile robot
- logic programs
- autonomous robots
- knowledge base
- real time
- unmanned aerial vehicles
- truth values
- vision system
- robot teams
- knowledge representation
- stable models
- theorem proving
- probabilistic reasoning
- theorem prover
- dynamic environments
- logic programming