FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109447246> ?p ?o ?g. }

• W2109447246 abstract "This paper describes a novel approach to high-level robot programming based on a highly developed logica] theory of action. The user provides a specification of the robot’s basic actions (their preconditions and effects on the environment) as well as of relevant aspects of the environment, in an extended version of the situation calculus. He can then specify robot behaviors in terms of these actions in a programming language that allows references to world conditions (e.g. if 3c(PoP-CAN(c) A ON_TABLE(c)) then PICK_UP(c)). The programs can be executed to drive the robot. The interpreter automatically maintains the world model required to execute programs based on the specification. The theoretical framework includes a solution to the frame problem and is very general -- it handles dynamic and incompletely known worlds, as well as perception actions. Given this kind of domain specification, it is Mso possible to support more sophisticated reasoning, such as task planning at run-time. The specification can also be used to prove the robot control programs correct. A simple mall delivery application is used to present the approach. Ongoing work on implementing the approach and handling outstanding problems, such as modeling noisy sensors, is also described." @default.
• W2109447246 created "2016-06-24" @default.
• W2109447246 creator A5000046519 @default.
• W2109447246 creator A5005020376 @default.
• W2109447246 creator A5005611871 @default.
• W2109447246 creator A5025681351 @default.
• W2109447246 creator A5038269600 @default.
• W2109447246 creator A5089419141 @default.
• W2109447246 date "1994-01-01" @default.
• W2109447246 modified "2023-09-26" @default.
• W2109447246 title "A Logical Approach to High-Level Robot Programming A Progress Report*" @default.
• W2109447246 cites W1502646816 @default.
• W2109447246 cites W1512824120 @default.
• W2109447246 cites W15206906 @default.
• W2109447246 cites W1530642502 @default.
• W2109447246 cites W1534564803 @default.
• W2109447246 cites W1534619296 @default.
• W2109447246 cites W1545815294 @default.
• W2109447246 cites W1557893839 @default.
• W2109447246 cites W1570924480 @default.
• W2109447246 cites W1599735882 @default.
• W2109447246 cites W1742163221 @default.
• W2109447246 cites W191206860 @default.
• W2109447246 cites W2005473008 @default.
• W2109447246 cites W2059299733 @default.
• W2109447246 cites W2102260941 @default.
• W2109447246 cites W2121375212 @default.
• W2109447246 cites W2133217918 @default.
• W2109447246 cites W2149378540 @default.
• W2109447246 cites W35931405 @default.
• W2109447246 cites W81942528 @default.
• W2109447246 hasPublicationYear "1994" @default.
• W2109447246 type Work @default.
• W2109447246 sameAs 2109447246 @default.
• W2109447246 citedByCount "51" @default.
• W2109447246 crossrefType "journal-article" @default.
• W2109447246 hasAuthorship W2109447246A5000046519 @default.
• W2109447246 hasAuthorship W2109447246A5005020376 @default.
• W2109447246 hasAuthorship W2109447246A5005611871 @default.
• W2109447246 hasAuthorship W2109447246A5025681351 @default.
• W2109447246 hasAuthorship W2109447246A5038269600 @default.
• W2109447246 hasAuthorship W2109447246A5089419141 @default.
• W2109447246 hasConcept C107457646 @default.
• W2109447246 hasConcept C121332964 @default.
• W2109447246 hasConcept C126042441 @default.
• W2109447246 hasConcept C127413603 @default.
• W2109447246 hasConcept C134306372 @default.
• W2109447246 hasConcept C154945302 @default.
• W2109447246 hasConcept C199360897 @default.
• W2109447246 hasConcept C201995342 @default.
• W2109447246 hasConcept C22497172 @default.
• W2109447246 hasConcept C2780451532 @default.
• W2109447246 hasConcept C2780791683 @default.
• W2109447246 hasConcept C33923547 @default.
• W2109447246 hasConcept C36503486 @default.
• W2109447246 hasConcept C41008148 @default.
• W2109447246 hasConcept C5065155 @default.
• W2109447246 hasConcept C62520636 @default.
• W2109447246 hasConcept C76155785 @default.
• W2109447246 hasConcept C90509273 @default.
• W2109447246 hasConceptScore W2109447246C107457646 @default.
• W2109447246 hasConceptScore W2109447246C121332964 @default.
• W2109447246 hasConceptScore W2109447246C126042441 @default.
• W2109447246 hasConceptScore W2109447246C127413603 @default.
• W2109447246 hasConceptScore W2109447246C134306372 @default.
• W2109447246 hasConceptScore W2109447246C154945302 @default.
• W2109447246 hasConceptScore W2109447246C199360897 @default.
• W2109447246 hasConceptScore W2109447246C201995342 @default.
• W2109447246 hasConceptScore W2109447246C22497172 @default.
• W2109447246 hasConceptScore W2109447246C2780451532 @default.
• W2109447246 hasConceptScore W2109447246C2780791683 @default.
• W2109447246 hasConceptScore W2109447246C33923547 @default.
• W2109447246 hasConceptScore W2109447246C36503486 @default.
• W2109447246 hasConceptScore W2109447246C41008148 @default.
• W2109447246 hasConceptScore W2109447246C5065155 @default.
• W2109447246 hasConceptScore W2109447246C62520636 @default.
• W2109447246 hasConceptScore W2109447246C76155785 @default.
• W2109447246 hasConceptScore W2109447246C90509273 @default.
• W2109447246 hasLocation W21094472461 @default.
• W2109447246 hasOpenAccess W2109447246 @default.
• W2109447246 hasPrimaryLocation W21094472461 @default.
• W2109447246 hasRelatedWork W1136193735 @default.
• W2109447246 hasRelatedWork W1502646816 @default.
• W2109447246 hasRelatedWork W15206906 @default.
• W2109447246 hasRelatedWork W1537435730 @default.
• W2109447246 hasRelatedWork W1557893839 @default.
• W2109447246 hasRelatedWork W1572073643 @default.
• W2109447246 hasRelatedWork W1583058930 @default.
• W2109447246 hasRelatedWork W1599735882 @default.
• W2109447246 hasRelatedWork W1826200008 @default.
• W2109447246 hasRelatedWork W1971925101 @default.
• W2109447246 hasRelatedWork W1993512664 @default.
• W2109447246 hasRelatedWork W2005473008 @default.
• W2109447246 hasRelatedWork W2045474169 @default.
• W2109447246 hasRelatedWork W2097856935 @default.
• W2109447246 hasRelatedWork W2128888217 @default.
• W2109447246 hasRelatedWork W2138162238 @default.
• W2109447246 hasRelatedWork W2337392266 @default.
• W2109447246 hasRelatedWork W2899987233 @default.
• W2109447246 hasRelatedWork W35931405 @default.

• next