Search Results

Documents authored by Lakemeyer, Gerhard


Document
Cognitive Robotics (Dagstuhl Seminar 22391)

Authors: Fredrik Heintz, Gerhard Lakemeyer, and Sheila McIlraith

Published in: Dagstuhl Reports, Volume 12, Issue 9 (2023)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 22391 on the topic of "Cognitive Robotics". Cognitive Robotics is concerned with endowing robots or software agents with higher level cognitive functions that involve reasoning, for example, about goals, perception, actions, the mental states of other agents, and collaborative task execution. The seminar is the latest event in a series of events on this topic that were initiated in 1998. With its roots in knowledge representation and reasoning, the program for this seminar was influenced by transformative advances in machine learning and deep learning, by recent advances in human-robot interactions, and by issues that arise in the development of trustworthy cognitive robotic systems. Reflective of this, the seminar featured sessions devoted to the following four themes: cognitive robotics and KR, verification of cognitive robots, human-robot interaction and robot ethics, and planning and learning. Each theme consisted of plenary talks, plenary discussions and working groups resulting in a research road map for the coming years. There was also a poster session where new or published results could be presented by the participants. The seminar was very successful and well received by the participants thanks to the excellent environment for exchanging ideas provided by Schloss Dagstuhl.

Cite as

Fredrik Heintz, Gerhard Lakemeyer, and Sheila McIlraith. Cognitive Robotics (Dagstuhl Seminar 22391). In Dagstuhl Reports, Volume 12, Issue 9, pp. 200-219, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)


Copy BibTex To Clipboard

@Article{heintz_et_al:DagRep.12.9.200,
  author =	{Heintz, Fredrik and Lakemeyer, Gerhard and McIlraith, Sheila},
  title =	{{Cognitive Robotics (Dagstuhl Seminar 22391)}},
  pages =	{200--219},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{12},
  number =	{9},
  editor =	{Heintz, Fredrik and Lakemeyer, Gerhard and McIlraith, Sheila},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.9.200},
  URN =		{urn:nbn:de:0030-drops-178132},
  doi =		{10.4230/DagRep.12.9.200},
  annote =	{Keywords: Artificial Intelligence, Knowledge Representation and Reasoning, Cognitive Robotics, Verification, Human-robot Interaction, Robot Ethics, Machine Learning, Planning}
}
Document
Planning with epistemic goals (Dagstuhl Seminar 14032)

Authors: Thomas Agotnes, Gerhard Lakemeyer, Benedikt Löwe, and Bernhard Nebel

Published in: Dagstuhl Reports, Volume 4, Issue 1 (2014)


Abstract
This report documents the outcomes of Dagstuhl Seminar 14032 "Planning with epistemic goals". It brought together the communities of so far relatively separate research areas related to artificial intelligence and logic: automated planning on the one hand, and dynamic logics of interaction on the other. Significant overlap in motivation, theory and methods was discovered, and a good potential for cross fertilization became apparent.

Cite as

Thomas Agotnes, Gerhard Lakemeyer, Benedikt Löwe, and Bernhard Nebel. Planning with epistemic goals (Dagstuhl Seminar 14032). In Dagstuhl Reports, Volume 4, Issue 1, pp. 83-103, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{agotnes_et_al:DagRep.4.1.83,
  author =	{Agotnes, Thomas and Lakemeyer, Gerhard and L\"{o}we, Benedikt and Nebel, Bernhard},
  title =	{{Planning with epistemic goals (Dagstuhl Seminar 14032)}},
  pages =	{83--103},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Agotnes, Thomas and Lakemeyer, Gerhard and L\"{o}we, Benedikt and Nebel, Bernhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.83},
  URN =		{urn:nbn:de:0030-drops-45369},
  doi =		{10.4230/DagRep.4.1.83},
  annote =	{Keywords: planning, epistemic logic, modal logic}
}
Document
10081 Abstracts Collection – Cognitive Robotics

Authors: Gerhard Lakemeyer, Hector J. Levesque, and Fiora Pirri

Published in: Dagstuhl Seminar Proceedings, Volume 10081, Cognitive Robotics (2010)


Abstract
From 21.02. to 26.02.2010, the Dagstuhl Seminar 10081 ``Cognitive Robotics '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Gerhard Lakemeyer, Hector J. Levesque, and Fiora Pirri. 10081 Abstracts Collection – Cognitive Robotics. In Cognitive Robotics. Dagstuhl Seminar Proceedings, Volume 10081, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{lakemeyer_et_al:DagSemProc.10081.1,
  author =	{Lakemeyer, Gerhard and Levesque, Hector J. and Pirri, Fiora},
  title =	{{10081 Abstracts Collection – Cognitive Robotics}},
  booktitle =	{Cognitive Robotics},
  pages =	{1--19},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10081},
  editor =	{Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.1},
  URN =		{urn:nbn:de:0030-drops-27776},
  doi =		{10.4230/DagSemProc.10081.1},
  annote =	{Keywords: Cognitive roboticsm, Knowledge representation and reasoning, Machine learning, Cognitive science, Cognitive vision}
}
Document
Cognitive Robotics

Authors: Hector J. Levesque and Gerhard Lakemeyer

Published in: Dagstuhl Seminar Proceedings, Volume 10081, Cognitive Robotics (2010)


Abstract
This chapter is dedicated to the memory of Ray Reiter. It is also an overview of cognitive robotics, as we understand it to have been envisaged by him.1 Of course, nobody can control the use of a term or the direction of research. We apologize in advance to those who feel that other approaches to cognitive robotics and related problems are inadequately represented here.

Cite as

Hector J. Levesque and Gerhard Lakemeyer. Cognitive Robotics. In Cognitive Robotics. Dagstuhl Seminar Proceedings, Volume 10081, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{levesque_et_al:DagSemProc.10081.5,
  author =	{Levesque, Hector J. and Lakemeyer, Gerhard},
  title =	{{Cognitive Robotics}},
  booktitle =	{Cognitive Robotics},
  pages =	{1--19},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10081},
  editor =	{Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.5},
  URN =		{urn:nbn:de:0030-drops-26335},
  doi =		{10.4230/DagSemProc.10081.5},
  annote =	{Keywords: }
}
Document
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond

Authors: Yongmei Liu and Gerhard Lakemeyer

Published in: Dagstuhl Seminar Proceedings, Volume 10081, Cognitive Robotics (2010)


Abstract
In a seminal paper, Lin and Reiter introduced the notion of progression for basic action theories in the situation calculus. Unfortunately, progression is not first-order definable in general. Recently, Vassos, Lakemeyer, and Levesque showed that in case actions have only local effects, progression is firstorder representable. However, they could show computability of the first-order representation only for a restricted class. Also, their proofs were quite involved. In this paper, we present a result stronger than theirs that for local-effect actions, progression is always first-order definable and computable. We give a very simple proof for this via the concept of forgetting. We also show first-order definability and computability results for a class of knowledge bases and actions with non-local effects. Moreover, for a certain class of local-effect actions and knowledge bases for representing disjunctive information, we show that progression is not only firstorder definable but also efficiently computable.

Cite as

Yongmei Liu and Gerhard Lakemeyer. On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. In Cognitive Robotics. Dagstuhl Seminar Proceedings, Volume 10081, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{liu_et_al:DagSemProc.10081.12,
  author =	{Liu, Yongmei and Lakemeyer, Gerhard},
  title =	{{On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond}},
  booktitle =	{Cognitive Robotics},
  pages =	{1--7},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10081},
  editor =	{Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.12},
  URN =		{urn:nbn:de:0030-drops-26380},
  doi =		{10.4230/DagSemProc.10081.12},
  annote =	{Keywords: Action and change, knowledge representation}
}
Document
Self-Maintenance for Autonomous Robots in the Situation Calculus

Authors: Stefan Schiffer, Andreas Wortmann, and Gerhard Lakemeyer

Published in: Dagstuhl Seminar Proceedings, Volume 10081, Cognitive Robotics (2010)


Abstract
In order to make a robot execute a given task plan more robustly we want to enable it to take care of its self-maintenance requirements during online execution of this program. This requires the robot to know about the (internal) states of its components, constraints that restrict execution of certain actions and possibly also how to recover from faulty situations. The general idea is to implement a transformation process on the plans, which are specified in the agent programming language ReadyLog, to be performed based on explicit (temporal) constraints. Afterwards, a ’guarded’ execution of the transformed program should result in more robust behavior.

Cite as

Stefan Schiffer, Andreas Wortmann, and Gerhard Lakemeyer. Self-Maintenance for Autonomous Robots in the Situation Calculus. In Cognitive Robotics. Dagstuhl Seminar Proceedings, Volume 10081, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{schiffer_et_al:DagSemProc.10081.15,
  author =	{Schiffer, Stefan and Wortmann, Andreas and Lakemeyer, Gerhard},
  title =	{{Self-Maintenance for Autonomous Robots in the Situation Calculus}},
  booktitle =	{Cognitive Robotics},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10081},
  editor =	{Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.15},
  URN =		{urn:nbn:de:0030-drops-26363},
  doi =		{10.4230/DagSemProc.10081.15},
  annote =	{Keywords: Domestic mobile robotics, self-maintenance, robustness}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail