Tytuł artykułu
Autorzy
Identyfikatory
Warianty tytułu
A syntactic condition for concurrent actions.
Konferencja
VI Krajowa konferencja robotyki
Języki publikacji
Abstrakty
W pracy przedstawiono metodologię modelowania stanów świata i akcji elementarnych agentów za pomocą języka logiki pierwszego rzędu. Podano formalną definicje współbieżności akcji i sformułowano kryterium jej efektywności.
This paper presents a methodology for modelling the world states and the agent's actions by using first-order predicate language. A syntactic condition for concurrent actions is formulated. It is shown when this condition is effective.
Rocznik
Tom
Strony
217--223
Opis fizyczny
Bibliogr. 18 poz., rys. 1
Twórcy
autor
- Politechnika Wrocławska, Instytut Cybernetyki Technicznej, ul. Janiszewskiego 11/17, 50-372 Wrocław
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BPW3-0002-0059