Applications of neutrosophic logic to robotics: An introduction.
Florentin SmarandacheLuige VladareanuPublished in: GrC (2011)
Keyphrases
- artificial intelligence
- set theory
- computer vision
- logic programming
- predicate logic
- classical logic
- automated reasoning
- multi valued
- real time
- dynamic logic
- nonmonotonic logics
- modal logic
- probabilistic logic
- robotic systems
- computational properties
- clustering algorithm
- digital circuits
- genetic algorithm
- service robots
- abductive reasoning
- epistemic logic
- asynchronous circuits
- database
- proof theory