1,567 research outputs found
Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)
We propose parametric constructive Kripke-semantics for multi-agent
KD45-belief and S5-knowledge in terms of elementary set-theoretic constructions
of two basic functional building blocks, namely bias (or viewpoint) and
visibility, functioning also as the parameters of the doxastic and epistemic
accessibility relation. The doxastic accessibility relates two possible worlds
whenever the application of the composition of bias with visibility to the
first world is equal to the application of visibility to the second world. The
epistemic accessibility is the transitive closure of the union of our doxastic
accessibility and its converse. Therefrom, accessibility relations for common
and distributed belief and knowledge can be constructed in a standard way. As a
result, we obtain a general definition of knowledge in terms of belief that
enables us to view S5-knowledge as accurate (unbiased and thus true)
KD45-belief, negation-complete belief and knowledge as exact KD45-belief and
S5-knowledge, respectively, and perfect S5-knowledge as precise (exact and
accurate) KD45-belief, and all this generically for arbitrary functions of bias
and visibility. Our results can be seen as a semantic complement to previous
foundational results by Halpern et al. about the (un)definability and
(non-)reducibility of knowledge in terms of and to belief, respectively
Complexity vs Energy: Theory of Computation and Theoretical Physics
This paper is a survey dedicated to the analogy between the notions of {\it
complexity} in theoretical computer science and {\it energy} in physics. This
analogy is not metaphorical: I describe three precise mathematical contexts,
suggested recently, in which mathematics related to (un)computability is
inspired by and to a degree reproduces formalisms of statistical physics and
quantum field theory.Comment: 23 pages. Talk at the satellite conference to ECM 2012, "QQQ Algebra,
Geometry, Information", Tallinn, July 9-12, 201
A Teacher of Great Strengths
The research on formal languages and their algebraic relationships were among the topics that brought visibility to Romania in the field of computer science in the 1970’s. Alexandru Ioan Cuza University of Iași was known by its researchers and teachers in these topics
Mathematical Logic: Proof theory, Constructive Mathematics
The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexit
Singularity analysis, Hadamard products, and tree recurrences
We present a toolbox for extracting asymptotic information on the
coefficients of combinatorial generating functions. This toolbox notably
includes a treatment of the effect of Hadamard products on singularities in the
context of the complex Tauberian technique known as singularity analysis. As a
consequence, it becomes possible to unify the analysis of a number of
divide-and-conquer algorithms, or equivalently random tree models, including
several classical methods for sorting, searching, and dynamically managing
equivalence relationsComment: 47 pages. Submitted for publicatio
Proceedings of the 1st International Conference on Algebras, Graphs and Ordered Sets (ALGOS 2020)
International audienceOriginating in arithmetics and logic, the theory of ordered sets is now a field of combinatorics that is intimately linked to graph theory, universal algebra and multiple-valued logic, and that has a wide range of classical applications such as formal calculus, classification, decision aid and social choice.This international conference “Algebras, graphs and ordered set” (ALGOS) brings together specialists in the theory of graphs, relational structures and ordered sets, topics that are omnipresent in artificial intelligence and in knowledge discovery, and with concrete applications in biomedical sciences, security, social networks and e-learning systems. One of the goals of this event is to provide a common ground for mathematicians and computer scientists to meet, to present their latest results, and to discuss original applications in related scientific fields. On this basis, we hope for fruitful exchanges that can motivate multidisciplinary projects.The first edition of ALgebras, Graphs and Ordered Sets (ALGOS 2020) has a particular motivation, namely, an opportunity to honour Maurice Pouzet on his 75th birthday! For this reason, we have particularly welcomed submissions in areas related to Maurice’s many scientific interests:• Lattices and ordered sets• Combinatorics and graph theory• Set theory and theory of relations• Universal algebra and multiple valued logic• Applications: formal calculus, knowledge discovery, biomedical sciences, decision aid and social choice, security, social networks, web semantics..
Complex networks analysis in socioeconomic models
This chapter aims at reviewing complex networks models and methods that were
either developed for or applied to socioeconomic issues, and pertinent to the
theme of New Economic Geography. After an introduction to the foundations of
the field of complex networks, the present summary adds insights on the
statistical mechanical approach, and on the most relevant computational aspects
for the treatment of these systems. As the most frequently used model for
interacting agent-based systems, a brief description of the statistical
mechanics of the classical Ising model on regular lattices, together with
recent extensions of the same model on small-world Watts-Strogatz and
scale-free Albert-Barabasi complex networks is included. Other sections of the
chapter are devoted to applications of complex networks to economics, finance,
spreading of innovations, and regional trade and developments. The chapter also
reviews results involving applications of complex networks to other relevant
socioeconomic issues, including results for opinion and citation networks.
Finally, some avenues for future research are introduced before summarizing the
main conclusions of the chapter.Comment: 39 pages, 185 references, (not final version of) a chapter prepared
for Complexity and Geographical Economics - Topics and Tools, P.
Commendatore, S.S. Kayam and I. Kubin Eds. (Springer, to be published
- …