Polski
English
ZGŁOŚ PROBLEM
ODSYŁACZE
Link do zasobu (skrót):
http://zasobynauki.pl/zasoby/41049Link do zasobu (repozytorium):
https://id.e-science.pl/records/41049Metadane zasobu
| Tytuł |
Syntaktyczny warunek współbieżności akcji |
|---|---|
| Osoby |
Autorzy:
Ireneusz Sierocki
Partner: Politechnika Wrocławska |
| Opis |
Referat zaprezentowany w 1998 roku na VI Krajowej Konferencji Robotyki. W pracy przedstawiono metodologię modelowania stanów świata i akcji elementarnych agentów za pomocą języka logiki pierwszego rzędu. Podano formalną definicję współbieżności akcji i sformułowano kryterium jej efektywności. (Polski) |
| Słowa kluczowe | "rozstrzygalność"@pl, "sprzeczność"@pl, "Krajowa Konferencja Robotyki"@pl, "robotyka"@pl, "robot"@pl, "grupa agentów"@pl, "akcje współbieżne"@pl, "logika pierwszego rzędu"@pl |
| Klasyfikacja |
Typ zasobu:
artykuł, rozdział Dyscyplina naukowa: dziedzina nauk technicznych / automatyka i robotyka (2011) Grupa docelowa: naukowcy, nauczyciele, studenci Szkodliwe treści: Nie |
| Charakterystyka |
Tytuł źródła: Materiały VI Krajowej Konferencji Robotyki: tom 1
Miejsce wydania: Wrocław Wydawca: Wydawnictwo Politechniki Wrocławskiej Czas wydania: 1998 Od strony: 217 Do strony: 223 ISSN: 0324-9794 Język zasobu: Polski |
| Licencja | CC BY-SA 4.0 |
| Informacje techniczne |
Deponujący: Robert Muszyński Data udostępnienia: 12-07-2019 |
| Kolekcje | Kolekcja Politechniki Wrocławskiej, Kolekcja e-Biblio PWr |
Podobne zasoby
Algebraiczny warunek automatycznego generowania planów uniwersalnych
Ireneusz Sierocki, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)
Koordynacja agentów mobilnych z użyciem platformy V-Rep i języka skryptowego Lua. Badanie przydatności środowiska
Artur Wąż, Elżbieta Roszkowska, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)
Wizyjny system lokalizacji z estymatorem prędkości i przyspieszeń dla robota mobilnego
Marcin Kiełczewski, Dariusz Pazderski, Krzysztof Kozłowski, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)
Optymalne konfiguracje manipulatorów drzewiastych
Krystian Turczyn, Ignacy Dulęba, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)
Stanowisko rozpoznawania biosygnałów oparte na komercyjnym systemie akwizycji danych
Michał Błędowski, Andrzej Wołczowski, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)
Protokół komunikacyjny i architektura systemu do realizacji zadań w Internecie Wszechrzeczy
Stanisław Ambroszkiewicz, Waldemar Bartyna, Kamil Skarżyński, Marcin Stępniak, artykuł, rozdział, Politechnika Wrocławska, dziedzina nauk technicznych / automatyka i robotyka (2011)