Marc Toussaint, Kelsey R. Allen, Kevin A. Smith, J. Tenenbaum
{"title":"工具使用和操作规划的可微分物理和稳定模式","authors":"Marc Toussaint, Kelsey R. Allen, Kevin A. Smith, J. Tenenbaum","doi":"10.15607/RSS.2018.XIV.044","DOIUrl":null,"url":null,"abstract":"We propose to formulate physical reasoning and manipulation planning as an optimization problem that integrates first order logic, which we call Logic-Geometric Programming.","PeriodicalId":87357,"journal":{"name":"Robotics science and systems : online proceedings","volume":"67 5 1","pages":"6231-6235"},"PeriodicalIF":0.0000,"publicationDate":"2018-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"280","resultStr":"{\"title\":\"Differentiable Physics and Stable Modes for Tool-Use and Manipulation Planning\",\"authors\":\"Marc Toussaint, Kelsey R. Allen, Kevin A. Smith, J. Tenenbaum\",\"doi\":\"10.15607/RSS.2018.XIV.044\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We propose to formulate physical reasoning and manipulation planning as an optimization problem that integrates first order logic, which we call Logic-Geometric Programming.\",\"PeriodicalId\":87357,\"journal\":{\"name\":\"Robotics science and systems : online proceedings\",\"volume\":\"67 5 1\",\"pages\":\"6231-6235\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-06-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"280\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Robotics science and systems : online proceedings\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.15607/RSS.2018.XIV.044\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Robotics science and systems : online proceedings","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.15607/RSS.2018.XIV.044","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Differentiable Physics and Stable Modes for Tool-Use and Manipulation Planning
We propose to formulate physical reasoning and manipulation planning as an optimization problem that integrates first order logic, which we call Logic-Geometric Programming.