A new real-time algorithm to extend DL assertional formalism to represent and deduce entities in robotic Soccer

Saminda Abeyruwan, Ubbo E Visser

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Creating, maintaining, and deducing accurate world knowledge in a dynamic, complex, adversarial, and stochastic environment such as the RoboCup environment is a demanding task. Knowledge should be represented in real-time (i.e., within ms) and deduction from knowledge should be inferred within the same time constraints. We propose an extended assertional formalism for an expressive SROIQ(D) Description Logic to represent asserted entities in a lattice structure. This structure can represent temporal-like information. Since the computational complexity of the classes of description logic increases with its expressivity, the problem demands either a restriction in the expressivity or an empirical upper bound on the maximum number of axioms in the knowledge base. We assume that the terminological/relational knowledge changes significantly slower than the assertional knowledge. Henceforth, using a fixed terminological and relational formalisms and the proposed lattice structure, we empirically bound the size of the knowledge bases to find the best trade-off in order to achieve deduction capabilities of an existing description logic reasoner in real-time. The queries deduce instances using the equivalent class expressions defined in the terminology. We have conducted all our experiments in the RoboCup 3D Soccer Simulation League environment and provide justifications of the usefulness of the proposed assertional extension. We show the feasibility of our new approach under real-time constraints and conclude that a modified FaCT++ reasoner empirically outperforms other reasoners within the given class of complexity.

Original languageEnglish (US)
Title of host publicationRoboCup 2014 - Robot World Cup XVIII
PublisherSpringer Verlag
Pages270-282
Number of pages13
Volume8992
ISBN (Print)9783319186146
DOIs
StatePublished - 2015
Event18th Annual RoboCup International Symposium, RoboCup 2014 - Joao Pessoa, Brazil
Duration: Jul 19 2014Jul 24 2014

Other

Other18th Annual RoboCup International Symposium, RoboCup 2014
CountryBrazil
CityJoao Pessoa
Period7/19/147/24/14

    Fingerprint

Keywords

  • Robocup agents
  • Sroiq(d) logic
  • Symbol grounding

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this