Syntaktyczny warunek współbieżności akcji.

• Autorzy: Sierocki I.

Warianty tytułu

EN

A syntactic condition for concurrent actions.

• Konferencja: VI Krajowa konferencja robotyki
• Języki publikacji: PL

Abstrakty

PL

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.

EN

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.

Słowa kluczowe

PL

grupa agentów; akcje współbieżne; logika pierwszego rzędu; sprzczność; roztrzygalność

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: Prace Naukowe Instytutu Cybernetyki Technicznej Politechniki Wrocławskiej. Konferencje
• Rocznik: 1998
• Tom: Vol. 98, nr 44
• Strony: 217--223
• Opis fizyczny: Bibliogr. 18 poz., rys. 1

Twórcy

autor

Sierocki I.

• Politechnika Wrocławska, Instytut Cybernetyki Technicznej, ul. Janiszewskiego 11/17, 50-372 Wrocław