Zobrazeno 1 - 10
of 110
pro vyhledávání: '"Rosenblueth, David A"'
This paper leans on two similar areas so far detached from each other. On the one hand, Dung's pioneering contributions to abstract argumentation, almost thirty years ago, gave rise to a plethora of successors, including abstract dialectical framewor
Externí odkaz:
http://arxiv.org/abs/2407.06106
Publikováno v:
EPTCS 379, 2023, pp. 157-172
Any kind of dynamics in dynamic epistemic logic can be represented as an action model. Right? Wrong! In this contribution we prove that the update expressivity of communication patterns is incomparable to that of action models. Action models, as upda
Externí odkaz:
http://arxiv.org/abs/2307.05057
We propose communication pattern logic. A communication pattern describes how processes or agents inform each other, independently of the information content. The full-information protocol in distributed computing is the special case wherein all agen
Externí odkaz:
http://arxiv.org/abs/2207.00823
Publikováno v:
EPTCS 335, 2021, pp. 307-321
Halpern and Moses were the first to recognize, in 1984, the importance of a formal treatment of knowledge in distributed computing. Many works in distributed computing, however, still employ informal notions of knowledge. Hence, it is critical to fur
Externí odkaz:
http://arxiv.org/abs/2106.11508
The formal verification of properties of Hidden Markov Models (HMMs) is highly desirable for gaining confidence in the correctness of the model and the corresponding system. A significant step towards HMM verification was the development by Zhang et
Externí odkaz:
http://arxiv.org/abs/1507.05597
Publikováno v:
Computer Journal; Jul2024, Vol. 67 Issue 7, p2421-2440, 20p
Autor:
Zubillaga, Dario, Cruz, Geovany, Aguilar, Luis Daniel, Zapotecatl, Jorge, Fernandez, Nelson, Aguilar, Jose, Rosenblueth, David A., Gershenson, Carlos
Publikováno v:
Entropy, 16(5):2384-2407. 2014
We apply measures of complexity, emergence and self-organization to an abstract city traffic model for comparing a traditional traffic coordination method with a self-organizing method in two scenarios: cyclic boundaries and non-orientable boundaries
Externí odkaz:
http://arxiv.org/abs/1402.0197
The extended mind hypothesis has stimulated much interest in cognitive science. However, its core claim, i.e. that the process of cognition can extend beyond the brain via the body and into the environment, has been heavily criticized. A prominent cr
Externí odkaz:
http://arxiv.org/abs/1305.1958
Homologous recombination is an important operator in the evolution of biological organisms. However, there is still no clear, generally accepted understanding of why it exists and under what circumstances it is useful. In this paper we consider its u
Externí odkaz:
http://arxiv.org/abs/1209.4142
Summary: Traffic light coordination is a complex problem. In this paper, we extend previous work on an abstract model of city traffic to allow for multiple street intersections. We test a self-organizing method in our model, showing that it is close
Externí odkaz:
http://arxiv.org/abs/1104.2829