A calculus of mobile processes, I
Information and Computation
The art of Prolog (2nd ed.): advanced programming techniques
The art of Prolog (2nd ed.): advanced programming techniques
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Component-based software engineering: putting the pieces together
Component-based software engineering: putting the pieces together
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Formal Methods Application: An Empirical Tale of Software Development
IEEE Transactions on Software Engineering
IEEE Intelligent Systems
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
PEIS ecologies: ambient intelligence meets autonomous robotics
Proceedings of the 2005 joint conference on Smart objects and ambient intelligence: innovative context-aware services: usages and technologies
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Robot task planning using semantic maps
Robotics and Autonomous Systems
KNOWROB: knowledge processing for autonomous personal robots
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Formal Specification and Verification of Ubiquitous and Pervasive Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Ambient Intelligence 2.0: Towards Synergetic Prosperity
Journal of Ambient Intelligence and Smart Environments
Design principles of the component-based robot software framework Fawkes
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
Video based technology for ambient assisted living: A review of the literature
Journal of Ambient Intelligence and Smart Environments
ORCA – towards an organic robotic control architecture
IWSOS'06/EuroNGI'06 Proceedings of the First international conference, and Proceedings of the Third international conference on New Trends in Network Architectures and Services conference on Self-Organising Systems
Web-enhanced object category learning for domestic robots
Intelligent Service Robotics
Semantic Web service discovery: state-of-the-art and research challenges
Personal and Ubiquitous Computing
Flexible ambient service discovery and composition for component-based robotic system
Journal of Ambient Intelligence and Smart Environments
Hi-index | 0.00 |
Robotic and ambient intelligent environments are much more demanding regarding the knowledge a robot needs to have. A skilled robot performs human-scale manipulation tasks, interacts with a variety of objects, understands instructions given by humans and most importantly, requires the capability of interpreting ubiquitous resources and assembling them into a complex plan. In this paper, a novel Knowledge-enable Decision Making Framework KDMF is proposed for Component-Based Robotic System CBRS. We exploit that the use of domain knowledge is pivotal to endow robots with higher degrees of autonomy and intelligence in CBRS. Ontology knowledge about classes, properties, relations is organized in OWL based conceptual map, which allows automated inference to derive new pieces of information. Knowledge about tasks is specified in a tree data structure, and knowledge about components' functions is formulated by a specific type of service specification profile. Using the knowledge representation, a task-oriented decision making method is proposed that integrates knowledge inference and service components utilization. In practical applications of ambient and robotic assisted living, robot's plans generated by the decision making software are based on the knowledge of components, rather than particular device instances, which improves the reusability and flexibility of the system. Experimental results validate the effectiveness of the proposed method.