Sökning: "temporal planning"

Visar resultat 1 - 5 av 122 avhandlingar innehållade orden temporal planning.

  1. 1. Admissible Heuristics for Automated Planning

    Författare :Patrik Haslum; Patrick Doherty; Derek Long; Linköpings universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; AI planning; optimal planning; temporal planning; heuristic search; Computer science; Datalogi;

    Sammanfattning : The problem of domain-independent automated planning has been a topic of research in Artificial Intelligence since the very beginnings of the field. Due to the desire not to rely on vast quantities of problem specific knowledge, the most widely adopted approach to automated planning is search. LÄS MER

  2. 2. Efficient Temporal Reasoning with Uncertainty

    Författare :Mikael Nilsson; Patrick Doherty; Jonas Kvarnström; Félix Ingrand; Linköpings universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Temporal Reasoning; Dynamic Controllability; Simple Temporal Network with Uncertainty; Incremental Algorithms; Temporal Networks;

    Sammanfattning : Automated Planning is an active area within Artificial Intelligence. With the help of computers we can quickly find good plans in complicated problem domains, such as planning for search and rescue after a natural disaster. When planning in realistic domains the exact duration of an action generally cannot be predicted in advance. LÄS MER

  3. 3. Planning and Control of Cooperative Multi-Agent Manipulator-Endowed Systems

    Författare :Christos Verginis; Dimos V. Dimarogonas; Pedro Lima; KTH; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-agent systems; Temporal logics; Cooperative manipulation; Motion planning; Control; Navigation; Action planning; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Multi-agent planning and control is an active and increasingly studied topic of research, with many practical applications, such as rescue missions, security, surveillance, and transportation. More specifically, cases that involve complex manipulator-endowed systems  deserve extra attention due to potential complex cooperative manipulation tasks and their interaction with the environment. LÄS MER

  4. 4. Deductive Planning and Composite Actions in Temporal Action Logic

    Författare :Martin Magnusson; Patrick Doherty; John-Jules Meyer; Linköpings universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Temporal Action Logic; deductive planning; composite actions; interval algebra; constraint logic programming; execution monitoring; Computer science; Datalogi;

    Sammanfattning : Temporal Action Logic is a well established logical formalism for reasoning about action and change that has long been used as a formal specification language. Its first-order characterization and explicit time representation makes it a suitable target for automated theorem proving and the application of temporal constraint solvers. LÄS MER

  5. 5. Network Based Tools and Indicators for Landscape Ecological Assessments, Planning, and Design

    Författare :Andreas Zetterberg; Berit Balfors; Ulla Mörtberg; Jan Bengtsson; KTH; []
    Nyckelord :AGRICULTURAL SCIENCES; LANTBRUKSVETENSKAPER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; LANTBRUKSVETENSKAPER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; AGRICULTURAL SCIENCES; Least-cost modeling; Functional connectivity; Environmental planning tool; Resilience; Spatial redundancy; Ecological integrity; Landscape Ecology; Graph Theory; Ecological Network Graphs; Biodiversity; Conservation Biology; Urban Planning; Regional Planning; EIA; SEA; Environmental Assessment; Ecological Indicator; Impact prediction; Habitat suitability; Species distribution; Urban ecology; GIS; Urbanization; Miljöbedömningsverktyg; Landskapsplanering; Resiliens; Ekologisk integritet; Landskapsekologi; Grafteori; Ekologiska nätverk; Biologisk mångfald; Bevarandebiologi; Urban planering; Regional planering; MKB; SMB; Miljöbedömning; Ekologisk indikator; Konsekvensbedömning; Habitatmodellering; GIS; Urbanisering; Nature conservation and landscape management; Natur- och landskapsvård; Environmental engineering; Miljöteknik; Terrestrial ecology; Terrestisk ekologi;

    Sammanfattning : Land use change constitutes a primary driving force in shaping social-ecological systems world wide, and its effects reach far beyond the directly impacted areas. Graph based landscape ecological tools have become established as a promising way to efficiently explore and analyze the complex, spatial systems dynamics of ecological networks in physical landscapes. LÄS MER