Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Szukaj
Przeglądaj
Pomoc
O nas

Ograniczanie wyników

1 Fundamenta Informaticae

1 2004

1 Aldewereld H.
1 Meyer J.-J.
1 Van der Hoek W.

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: KARO system

Sortuj według:

Ogranicz wyniki do:

Rational Teams : Logical Aspects of Multi-Agent Systems

100%

Aldewereld H. , Van der Hoek W. , Meyer J.-J.

2004

tom Vol. 63, nr 2,3

159--183

This paper describes a possible extension to the logical framework KARO to make it able to handle multiple agents. The KARO framework, which was initially developed by van der Hoek, van Linder and Meyer, makes use of epistemic and dynamic logics to express rational agents. These agents are capable of reasoning about their own actions and, somewhat limited, about the actions of other agents. This paper intends to extend the KARO system such that one is also able to reason about cooperation between agents.