FRINK Linked Data Fragments server

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

• W1490449369 endingPage "15" @default.
• W1490449369 startingPage "11" @default.
• W1490449369 abstract "High-level robot control languages should not only be expressive but should also support reasoning about actions, in particular, the projection of robot plans. Projection is useful for the robot when choosing among different courses of action as well as for the designer of robot controllers, since projections allow for qualitative simulations. The high-level programming language GOLOG was specifically proposed for this purpose. The semantics of GOLOG, which offers constructs such as sequences, iterations and recursive procedures, is based on the situation calculus, a logical language for reasoning about action and change. In particular, every primitive GOLOG action is an action of the underlying situation calculus theory, which allows reasoning about the effects of primitive actions or complex GOLOG programs. While GOLOG comes equipped with a powerful projection mechanism, however, it lacks the expressiveness provided by non-logic-based robot programming languages like RPL, RAP or Colbert. In particular, it does not provide facilities for dealing with continuous change, event-driven behavior, and communication with lower-level routines for navigation or localization, to which we refer to as lowlevel processes. Another limitation of GOLOG is that it assumes that actions have deterministic effects and cannot represent probabilistic uncertainty. In realistic domains, however, uncertainty seems to be ubiquitous: a robot has often only probabilistic beliefs about the state of the world, and low-level processes have probabilistic outcomes. In this thesis, we show how the GOLOG framework can be extended to deal with issues like continuous change, event-driven actions and low-level processes in a natural way, thus shortening the gap in expressiveness between non-logic-based and logic-based robot control languages. In particular, we integrate continuous time and change directly in the ontology of GOLOG. To facilitate the actual execution of high-level plans on a real robot, we employ a layered robot control architecture where a high-level controller communicates via message with the low-level processes provided by the basic-task execution system. Our framework allows not only the projection and the actual (on-line) execution of the same plans, but also supports the specification of plans with interleave projection and on-line execution. Furthermore, we provide means to represent and deal with probabilistic beliefs and noisy sensors and effectors. Finally, the extended GOLOG formalism is implemented in PROLOG and evaluated in several experiments, including delivery tasks where the mobile robot CARL operates in the Computer Science Department V at Aachen University of Technology." @default.
• W1490449369 created "2016-06-24" @default.
• W1490449369 creator A5005730180 @default.
• W1490449369 creator A5020265900 @default.
• W1490449369 date "2000-01-01" @default.
• W1490449369 modified "2023-09-28" @default.
• W1490449369 title "Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework." @default.
• W1490449369 cites W100287405 @default.
• W1490449369 cites W106053879 @default.
• W1490449369 cites W107715831 @default.
• W1490449369 cites W128192963 @default.
• W1490449369 cites W133833791 @default.
• W1490449369 cites W145520746 @default.
• W1490449369 cites W1480220522 @default.
• W1490449369 cites W1483599409 @default.
• W1490449369 cites W1484780672 @default.
• W1490449369 cites W148570748 @default.
• W1490449369 cites W1487408605 @default.
• W1490449369 cites W1488831927 @default.
• W1490449369 cites W1489495963 @default.
• W1490449369 cites W1491690797 @default.
• W1490449369 cites W1498154961 @default.
• W1490449369 cites W1502646816 @default.
• W1490449369 cites W1504874107 @default.
• W1490449369 cites W1508018899 @default.
• W1490449369 cites W1510299930 @default.
• W1490449369 cites W1517752879 @default.
• W1490449369 cites W15206906 @default.
• W1490449369 cites W152120648 @default.
• W1490449369 cites W1524513304 @default.
• W1490449369 cites W1525064124 @default.
• W1490449369 cites W1525690522 @default.
• W1490449369 cites W1527577287 @default.
• W1490449369 cites W1530356415 @default.
• W1490449369 cites W1532255956 @default.
• W1490449369 cites W1537435730 @default.
• W1490449369 cites W1539282749 @default.
• W1490449369 cites W1546528131 @default.
• W1490449369 cites W1557893839 @default.
• W1490449369 cites W1559328976 @default.
• W1490449369 cites W1560694018 @default.
• W1490449369 cites W156467401 @default.
• W1490449369 cites W1565660740 @default.
• W1490449369 cites W1566524407 @default.
• W1490449369 cites W1567249951 @default.
• W1490449369 cites W1567349767 @default.
• W1490449369 cites W1570924480 @default.
• W1490449369 cites W1572073643 @default.
• W1490449369 cites W1573091213 @default.
• W1490449369 cites W1573342650 @default.
• W1490449369 cites W1580363350 @default.
• W1490449369 cites W1586126719 @default.
• W1490449369 cites W1588157348 @default.
• W1490449369 cites W1597144780 @default.
• W1490449369 cites W1598515570 @default.
• W1490449369 cites W1600919542 @default.
• W1490449369 cites W1601195943 @default.
• W1490449369 cites W1601378499 @default.
• W1490449369 cites W162505767 @default.
• W1490449369 cites W1641450835 @default.
• W1490449369 cites W1667362966 @default.
• W1490449369 cites W1672891595 @default.
• W1490449369 cites W16874069 @default.
• W1490449369 cites W1731763842 @default.
• W1490449369 cites W1781384914 @default.
• W1490449369 cites W180778080 @default.
• W1490449369 cites W1827914264 @default.
• W1490449369 cites W184814775 @default.
• W1490449369 cites W1852523103 @default.
• W1490449369 cites W185711556 @default.
• W1490449369 cites W186758419 @default.
• W1490449369 cites W189303310 @default.
• W1490449369 cites W193597327 @default.
• W1490449369 cites W1953128714 @default.
• W1490449369 cites W1965834286 @default.
• W1490449369 cites W1971925101 @default.
• W1490449369 cites W1973391999 @default.
• W1490449369 cites W1976792226 @default.
• W1490449369 cites W1977208552 @default.
• W1490449369 cites W1977441255 @default.
• W1490449369 cites W1977628434 @default.
• W1490449369 cites W1980251859 @default.
• W1490449369 cites W1987183689 @default.
• W1490449369 cites W1987852620 @default.
• W1490449369 cites W1993512664 @default.
• W1490449369 cites W1995100605 @default.
• W1490449369 cites W2005473008 @default.
• W1490449369 cites W2009810952 @default.
• W1490449369 cites W2020294948 @default.
• W1490449369 cites W2022716165 @default.
• W1490449369 cites W2023578426 @default.
• W1490449369 cites W2027368800 @default.
• W1490449369 cites W2039358567 @default.
• W1490449369 cites W2045474169 @default.
• W1490449369 cites W2046213250 @default.
• W1490449369 cites W2049762814 @default.
• W1490449369 cites W2053190303 @default.
• W1490449369 cites W2054726834 @default.

• next