loading
  • Login
  • Sign-Up

Research.Publish.Connect.

Paper

Authors: Stephan Opfer ; Stefan Jakob and Kurt Geihs

Affiliation: University of Kassel, Germany

ISBN: 978-989-758-220-2

Keyword(s): Answer Set Programming, Region Connection Calculus, Spatial Reasoning, Multi-shot Solving.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Cognitive Systems ; Computational Intelligence ; Evolutionary Computing ; Knowledge Representation and Reasoning ; Knowledge-Based Systems ; Soft Computing ; Symbolic Systems

Abstract: In contrast to simple autonomous vacuum cleaners, multi-purpose robots that fetch a cup of coffee and clean up rooms require cognitive skills such as learning, planning, and reasoning. Especially reasoning in dynamic and human populated environments demands for novel approaches that can handle comprehensive and fluent knowledge bases. A promising approach is Answer Set Programming (ASP), offering multi-shot solving techniques and non-monotonic stable model semantics. Our objective is to equip multi-agent systems with ASP-based reasoning capabilities, enabling a team of robots to cope with dynamic environments. Therefore, we combined ALICA - A Language for Interactive Cooperative Agents - with the ASP solver Clingo and chose topological path planning as our evaluation scenario. We utilised the Region Connection Calculus as underlying formalism of our evaluation and investigated the scalability of our implementation. The results show that our approach handles dynamic environments and sc ales up to appropriately large problem sizes. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SCITEPRESS user or Join INSTICC now for free.

Sign In SCITEPRESS user: please login.

Sign In INSTICC Members: please login. If not a member yet, Join INSTICC now for free.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.81.216.152. INSTICC members have higher download limits (free membership now)

In the current month:
Recent papers: 1 available of 1 total
2+ years older papers: 2 available of 2 total

Paper citation in several formats:
Opfer S., Jakob S. and Geihs K. (2017). Reasoning for Autonomous Agents in Dynamic Domains.In Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-220-2, pages 340-351. DOI: 10.5220/0006297603400351

@conference{icaart17,
author={Stephan Opfer and Stefan Jakob and Kurt Geihs},
title={Reasoning for Autonomous Agents in Dynamic Domains},
booktitle={Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2017},
pages={340-351},
doi={10.5220/0006297603400351},
isbn={978-989-758-220-2},
}

TY - CONF

JO - Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Reasoning for Autonomous Agents in Dynamic Domains
SN - 978-989-758-220-2
AU - Opfer S.
AU - Jakob S.
AU - Geihs K.
PY - 2017
SP - 340
EP - 351
DO - 10.5220/0006297603400351

Sorted by: Show papers

Note: The preferred Subjects/Areas/Topics, listed below for each paper, are those that match the selected paper topics and their ontology superclasses.
More...

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.

Show authors

Note: The preferred Subjects/Areas/Topics, listed below for each author, are those that more frequently used in the author's papers.
More...