Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
KI - Künstliche Intelligenz
Erschienen in: KI - Künstliche Intelligenz 2-3/2018

08.06.2018 | Technical Contribution

Applications of ASP in Robotics

verfasst von: Esra Erdem, Volkan Patoglu

Erschienen in: KI - Künstliche Intelligenz | Ausgabe 2-3/2018

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We discuss applications of ASP in robotic planning, considering (1) full observability and complete knowledge and (2) with incomplete knowledge and partial observability. We emphasize the strengths of ASP as a useful knowledge representation and reasoning paradigm to integrate AI and robotics, as well as its flexibility to provide different levels of integration of feasibility checks with planning.
Vorheriger Artikel Answer Set Planning in Single- and Multi-agent Environments
Nächster Artikel Answer Set Programming in Linguistics

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

KI - Künstliche Intelligenz

The Scientific journal "KI – Künstliche Intelligenz" is the official journal of the division for artificial intelligence within the "Gesellschaft für Informatik e.V." (GI) – the German Informatics Society - with constributions from troughout the field of artificial intelligence.

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Weitere Produktempfehlungen anzeigen
Fußnoten
1
Robotic domains can be represented in ASP in different ways. We refer the reader to [1, 7, 9, 15] for some examples.
 
2
Configuration space of an object is a set of possible transformations that could be applied to the object [17]. If the robot has n degrees of freedom, the set of transformations is usually a manifold of dimension n; this manifold is called the configuration space of the robot [13].
 
3
Erdem et al. [9] use the ASP solver dlvhex for experimental evaluations. dlvhex first replaces external atoms by auxiliary atoms, then it grounds the auxiliary program and searches for answer sets; as partial/full answer set candidates are examined, dlvhex uses special callbacks (propagators) to evaluate the external atoms [4].
 
Literatur
1.
Andres B, Rajaratnam D, Sabuncu O, Schaub T (2015) Integrating ASP into ROS for reasoning in robots. In: Proc. of LPNMR, pp 69–82
2.
Chen K, Yang F, Chen X (2016) Planning with task-oriented knowledge acquisition for a service robot. In: Proc. of AAAI, pp 812–818
3.
Demirel E, Gur KD, Erdem E (2016) Human-robot interaction in a shopping mall: a CNL approach. In: Proc. of CNL, pp 111–122
4.
Eiter T, Fink M, Ianni G, Krennwallner T, Redl C, Schüller P (2016) A model building framework for answer set programming with external computations. TPLP 16(4):418–464MathSciNetMATH
5.
Eiter T, Ianni G, Schindlauer R, Tompits H (2006) Effective integration of declarative rules with external evaluations for Semantic-Web reasoning. In: Proc. of ESWC
6.
Erdem E, Aker E, Patoglu V (2012) Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution. Intell Ser Robot 5(4):275–291CrossRef
7.
Erdem E, Gelfond M, Leone N (2016) Applications of answer set programming. AI Magaz 37(3):53–68CrossRef
8.
Erdem E, Patoglu V, Saribatur ZG, Schüller P, Uras T (2013) Finding optimal plans for multiple teams of robots through a mediator: a logic-based approach. Theory Pract Logic Program 13(4–5):831–846MathSciNetCrossRefMATH
9.
Erdem E, Patoglu V, Schüller P (2016) A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks. AI Commun 29(2):319–349MathSciNetCrossRef
10.
Gebser M, Kaminski R, Kaufmann B, Schaub T (2014) Clingo = ASP + control: preliminary report. In: Leuschel M, Schrijvers T (eds.) Technical Communications of the Thirtieth International Conference on Logic Programming (ICLP 2014). Theory and Practice of Logic Programming 14(4–5) (Online supplement)
11.
Havur G, Ozbilgin G, Erdem E, Patoglu V (2014) Geometric rearrangement of multiple movable objects on cluttered surfaces: a hybrid reasoning approach. In: Proc. of ICRA, pp 445–452
12.
Khandelwal P, Zhang S, Sinapov J, Leonetti M, Thomason J, Yang F, Gori I, Svetlik M, Khante P, Lifschitz V, Aggarwal JK, Mooney R, Stone P (2017) Bwibots: a platform for bridging the gap between AI and human–robot interaction research. Int J Robot Res 36(5–7):635–659
13.
14.
Levesque H, Lakemeyer G (2007) Cognitive robotics. In: van Harmelen F, Lifschitz V, Porter B (eds) Handbook of Knowledge representation. Elsevier, pp 869–886
15.
Lifschitz V (1999) Action languages, answer sets and planning. In: Apt KR, Marek VW, Truszczynski M, Warren DS (eds) The logic programming paradigm: a 25-year perspective. Springer Verlag, Berlin, Heidelberg, pp 357–373CrossRef
16.
17.
Lozano-Pérez T (1981) Automatic planning of manipulator transfer movements. IEEE Trans Syst Man Cybern 11(10):681–698CrossRef
18.
McCarthy J, Hayes PJ (1969) Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer B, Michie D (eds) Machine intelligence, vol 4. Edinburgh University Press, Edinburgh, pp 463–502
19.
Nau D, Ghallab M, Traverso P (2004) Automated planning: theory and practice. Morgan Kaufmann Publishers Inc., San Francisco, CA, USAMATH
20.
Nouman A, Yalciner IF, Erdem E, Patoglu V (2016) Experimental evaluation of hybrid conditional planning for service robotics. In: Proc. of ISER
21.
Peot MA, Smith DE (1992) Conditional nonlinear planning. In: Proc. of AIPS, pp 189–197
22.
Pryor L, Collins G (1996) Planning for contingencies: a decision-based approach. JAIR 4:287–339CrossRef
23.
24.
Warren DHD (1976) Generating conditional plans and programs. In: Proc. of AISB, pp 344–354
25.
Weyhrauch RW (1980) Prolegomena to a theory of formal reasoning. Artif Intell 13(1–2):33–170MathSciNet
26.
Yalciner IF, Nouman A, Patoglu V, Erdem E (2017) Hybrid conditional planning using answer set programming. Theory Pract Logic Program 17(5–6):1027–1047MathSciNetCrossRefMATH
27.
Zhang S, Sridharan M, Wyatt JL (2015) Mixed logical inference and probabilistic planning for robots in unreliable worlds. IEEE Trans Robot 31(3):699–713CrossRef
Metadaten
Titel
Applications of ASP in Robotics
verfasst von
Esra Erdem
Volkan Patoglu
Publikationsdatum
08.06.2018
Verlag
Springer Berlin Heidelberg
Erschienen in
KI - Künstliche Intelligenz / Ausgabe 2-3/2018
Print ISSN: 0933-1875
Elektronische ISSN: 1610-1987
DOI
https://doi.org/10.1007/s13218-018-0544-x

Weitere Artikel der Ausgabe 2-3/2018

KI - Künstliche Intelligenz 2-3/2018 Zur Ausgabe

Technical Contribution

Answer Set Programming in Linguistics

Technical Contribution

Answer set programming unleashed!

Systems Description

Dynamic Programming on Tree Decompositions with D-FLAT

News

News

Systems Description

Stream Reasoning with LARS

Systems Description

The ASP System DLV: Advancements and Applications

Premium Partner

    Bildnachweise