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.
The forgetting has been found an important and wide application in computer science and AI, especially epistemic reasoning fields. In this paper, the notion of knowledge forgetting is proposed in Alternating-Time Temporal Epistemic Logic. The bisimulation of forgetting is established, and the related properties are showed. By the bisimulation, the semantics and properties of knowledge forgetting are...
When specifying multiagent systems and mental states such as belief and goal of agents, temporal logics are often adopted as basic theoretical tools. Although there are work on nonmonotonic extension of linear temporal logic LTL and branching time temporal logic CTL, the nonmonotonic extension of the logic of cooperation and propositional control (CL-PC) and its dynamic version DCL-PC which are important...
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...
When specifying goals of agents, temporal logics such as linear temporal logic LTL and branching time temporal logic CTL are adopted as basic tools. In order to specify goals in view of multi-agent cooperation which is one aspect of social interaction, two logic frameworks are proposed in this paper based on alternating-time temporal logic ATL. Firstly, ATL is extended with strong and weak exceptions...
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.