Wyniki wyszukiwania - BazTech

Ograniczanie wyników

4 Prace Naukowe Instytutu Cybernetyki Technicznej Politechniki Wrocławskiej. Konferencje

4 Sierocki I.

Znaleziono wyników: 4

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Metoda konstruowania planów współbieżnych.

Sierocki I.

Prace Naukowe Instytutu Cybernetyki Technicznej Politechniki Wrocławskiej. Konferencje

2001

Vol. 102, nr 46

283-292

Praca dotyczy analiza i syntezy zachowania grupy agentów. Zaproponowano formalny model zachowania współbieżnej grupy agentów funkcjonujących w stacjonarnych i deterministycznych środowiskach. Pokazano, że problem wyznaczenia optymalnego planu współbieżnego jest podwójnie trudny obliczeniowo. Skonstruowano uniwersalny algorytm generowania planu współbieżnego na podstawie planu sekwencyjnego.

The paper deals with an analysis and synthesis of the group of agents. The formal description of the behaviour of the multi-agent system is proposed. It is proved that the problem of detennining an optima! concurrent plan is NP-difficult. The universal algorithm for creating a concurrent plan from a sequential plan is designed.

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

Sierocki I.

Prace Naukowe Instytutu Cybernetyki Technicznej Politechniki Wrocławskiej. Konferencje

1998

Vol. 98, nr 44

217-223

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.

Sekwencyjny, hipotetyczno-dedukcyjny algorytm identyfikacji stanów otoczenia agenta.

Sierocki I.

Prace Naukowe Instytutu Cybernetyki Technicznej Politechniki Wrocławskiej. Konferencje

1998

Vol. 98, nr 44

205-214

Praca dotyczy zadania identyfikacji stanu otoczenia agenta. Wiadomo, że problem wyznaczenia optymalnego, prostego eksperymentu identyfikującego stan jest NP-trudny. W związku z tym, pojawia się potrzeba redukcji złożoności problemu planowania eksperymentu. W tym celu, zaproponowano strategie szeregowej (sekwencyjnej) dekompozycji problemu, wykorzystująca zasadę ograniczonej optymalności. Podstawowa idea metody polega na procesie sekwencyjnego eliminowania hipotez fałszywych, Który jest naprzemiennym ciągiem czynności: planowanie eksperymentu rozróżniającego parę stanów i jego wykonanie. Dokonano analizy złożoności obliczeniowej metody.

This paper concerns the problem of state identification of agent's environment. It is known that it is NP-complete to find the optimal state identification experiment. In order to reduce a complexity of state identification problem, a decomposition method is proposed. A main idea of the method relies on a sequential elimination of the wrong hypotheses. It is shown that the method satisfies the principle of bounded optimality.

Algebraiczny warunek automatycznego generowania planów uniwersalnych.

Sierocki I.

Prace Naukowe Instytutu Cybernetyki Technicznej Politechniki Wrocławskiej. Konferencje

1998

Vol. 98, nr 44

195-204

Praca dotyczy technik reprezentacji i tworzenia planów uniwersalnych dla agentów funkcjonujących w otoczeniach stacjonarnych i deterministycznych. Pokazano, że makro-tablice generują plany uniwersalne. Zaproponowano teorio-mnogościowy test pozwalający rozstrzygać czy zachodzi algebraiczny warunek istnienia makro-tablicy.