Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Belief revision is a focus of the research of artificial intelligence. How to revise uncertain belief is worth researching. Based on general fuzzy probabilistic aumann belief logic, the belief mental attribute of agent is considered, and two kinds of fuzzy probabilistic in a belief base are given, the classical partial meet revision is extended to fuzzy probabilistic belief base revision. According...
Multi-agent cooperation logics, which provide powerful tool for modeling knowledge-based systems and cooperative problem solving process, gained great research interest in multi-agent systems community in the last five years. ATEL (alternating-time temporal epistemic logic) which is an important kind of multi-agent cooperation logics only takes knowledge into account, but does not deal with belief...
When specifying mental states such as belief and goal of agents, temporal logics are often adopted as basic tools. Although there are work on non-monotonic extension of linear temporal logic LTL and branching time temporal logic CTL, the non-monotonic extension of alternating-time temporal logic ATL which is an important kind of multi-agent cooperation logics has not been discussed yet in literature...
Belief plays an important part in intelligent systems modeling. On the one hand, in the multi-agent systems community, belief is usually modeled as a mental state of agents by modal logic in the context of BDI (belief-desire intention). On the other hand, in epistemic logic research, belief and knowledge are often taken into account together, which are main components of knowledge-based systems. However...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.