Filters








9,341 Hits in 4.3 sec

Public Announcement Logic in Geometric Frameworks [article]

Can Baskent
2011 arXiv   pre-print
In this paper we introduce public announcement logic in different geometric frameworks.  ...  Furthermore, we prove the completeness of public announcement logic in those frameworks.  ...  In this work, we consider PAL in two different geometrical frameworks: topological models for modal logic and subset space logic.  ... 
arXiv:1107.4935v2 fatcat:myxz2hr3lraa3csoejt7stbmz4

Concrete Epistemic Modal Logic: Flatland [chapter]

Olivier Gasquet, François Schwarzentruber
2011 Lecture Notes in Computer Science  
In this paper, we give a logic for perception and knowledge: Flatland. This semantics of this framework is a concrete Kripke model so that it is an easy-to-understand toy example for students.  ...  We present a piece of software called Plaza's world enabling to check formulas in such a concrete Kripke model and to announce formulas.  ...  framework investigated in [4] and [8] .  ... 
doi:10.1007/978-3-642-21350-2_9 fatcat:6agnswmarzerdeza2aue2ykume

Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems

Olivier Gasquet, Valentin Goranko, François Schwarzentruber
2015 Autonomous Agents and Multi-Agent Systems  
We also consider effects of public announcements.  ...  knowledge, as well as dynamic operators reflecting the ability of cameras to turn around in order to reach positions satisfying formulae in the language.  ...  Besides programs from PDL, we also add public announcement operator in the language in order to capture public announcement in BBL.  ... 
doi:10.1007/s10458-015-9306-4 fatcat:cujxflbvbjas7evhplj3wafphe

Introductory Essay of FAMAS'09

Barbara Dunin-Keplicz, Rineke Verbrugge
2009 Multi-Agent Logics, Languages, and Organisations Federated Workshops  
The Formal Approaches to Multiagent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal  ...  FAMAS addresses logics and formal methods for multiagent systems.  ...  thanks are due to the members of the program committee for their professionalism and their dedication to select papers of quality and to provide authors with useful, constructive feedback during the in-depth  ... 
dblp:conf/mallow/Dunin-KepliczV09 fatcat:rldrmy7ipzay7ok6b7pxsygw2a

Special issue of DAM on the vapnik-chervonenkis dimension

John Shawe-Taylor
1998 Discrete Applied Mathematics  
The framework has also been formalised as the theory of e-nets for range spaces in computational geometry, where the size of the net is used to characterise the complexity of a number of geometric problems  ...  It is, therefore, very pleasing to find the variety of papers that have been accepted for publication in the special issue.  ... 
doi:10.1016/s0166-218x(98)00019-5 fatcat:pvw5pow6anamdgma34w3z3bqu4

Tachymetry as Resource for Teaching Mathematics in Brazil at the end of the Nineteenth Century

Luiz Carlos Pais
2019 Acta Scientiae  
This article deals with the history of educational materials for the teaching of mathematics in Brazilian education in the last years of the 19th century.  ...  Among the educational materials of the time were those of the tachymetric method that wanted to facilitate the study of mathematics in primary elementary schools.  ...  In the framework of the Pedagogical Exposition of Rio de Janeiro in 1883, tachymetry was inserted in a broader set of materials suitable for teaching mathematics, including abacuses, arithmometers, geometric  ... 
doi:10.17648/acta.scientiae.v21isseid5243 fatcat:yyeso5jr2nbhznhegc3p4ag3wu

Seeing, Knowledge and Common Knowledge [chapter]

François Schwarzentruber
2011 Lecture Notes in Computer Science  
Contrary to the classical epistemic modal logic, we prove that in some configurations the logic with the common knowledge operator is as expressive as the logic without the common knowledge operator.  ...  We provide a multi-agent spatially grounded epistemic logical framework to reason about the knowledge of perception (agent a sees agent b) whose potential applications are video games and robotics.  ...  This approach is also devoted to teach epistemic modal logic and public announcements using the tool Plaza's world [5] : this framework offers concrete examples of Kripke structures and then helps the  ... 
doi:10.1007/978-3-642-24130-7_19 fatcat:yufnk7jxdfa5hivgncb3dicx2y

Page 3586 of Mathematical Reviews Vol. , Issue 2001F [page]

2001 Mathematical Reviews  
This article presents a basic framework of automata theory based on quantum logic. A quantum logic is a logic whose truth values range over an orthomodular lattice.  ...  First, however, we should mention that some progress has been made since the publication of this paper.  ... 

Computer-Aided Discovery and Categorisation of Personality Axioms [article]

Simon Kramer
2014 arXiv   pre-print
The personality-test data and the personality theories are related by a Galois-connection in our framework.  ...  We propose a computer-algebraic, order-theoretic framework based on intuitionistic logic for the computer-aided discovery of personality axioms from personality-test data and their mathematical categorisation  ...  in 1872." 1 In this paper and in the spirit of the Erlanger Programm for geometrical theories, we propose a computer-algebraic, 2 order-theoretic framework based on intuitionistic logic [17] for the  ... 
arXiv:1403.6048v1 fatcat:4zpsgqoimfbwncfefvjm7tfc4a

Knowledge about Lights along a Line

François Schwarzentruber
2009 Multi-Agent Logics, Languages, and Organisations Federated Workshops  
extended with public announcements.  ...  We study links between validities of this geometrical version of epistemic logic and the standard one. We also investigate complexities of model checking and satisfiability.  ...  As done in [11] we can extend our framework with public announcements. This is essentially motivated by modelling examples like Muddy children.  ... 
dblp:conf/mallow/Schwarzentruber09 fatcat:ddiyha4nu5d6zjdybwmk2alpay

Dynamic logic for belief revision

Johan van Benthem
2007 Journal of Applied Non-Classical Logics  
We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added.  ...  First, we obtain complete logics for concrete mechanisms of belief revision, based on compositional reduction axioms.  ...  We have discussed the simple dynamic-epistemic logic of public announcements in great detail.  ... 
doi:10.3166/jancl.17.129-155 fatcat:7oxnabthubanpdledhbnzsooku

Computation as Conversation [chapter]

Johan van Benthem
2008 New Computational Paradigms  
Against the backdrop of current research into 'logical dynamics' of information, we discuss twoway connections between conversation and computation, leading to a broader perspective on both.  ...  Dynamic epistemic logic of public announcement The language of public announcement logic PAL is the epistemic language with added action expressions: Formulas P: p | ¬ | !  ...  The epistemic-dynamic role of cc is public announcement.  ... 
doi:10.1007/978-0-387-68546-5_3 fatcat:txxxurbl7baf7dlywdplm3o5lu

Mario Pieri's address at the University of Catania

Luigi Ingaliso
2011 Historia Mathematica  
My aim is to identify Pieri's philosophical premises as found in his works and to present them in the general framework of the historical development of the Peano School. Ó 2010 Elsevier Inc.  ...  There he became engaged both by the problems of logic and by the philosophical aspects of Peano's epistemology.  ...  demonstration. 11 Peano had already announced the objective of logic in 1889 in Arithmetices principia nova methodo exposita (the principles of arithmetic, presented by a new method) and in I principii  ... 
doi:10.1016/j.hm.2010.05.004 fatcat:xwjemg7bybgvdjedsnhfm74so4

Neutrosophic Logic: the Revolutionary Logic in Science and Philosophy

Florentin Smarandache, HUDA E. KHALID, AHMED K. ESSA
2018 Figshare  
The NSIA Iraqi branch presents a suggestion for the international instructions in attempting to organize NSIA's work.  ...  This book is an introduction to the activities of the National Symposium, as well as a presentation of Neutrosophic Scientific International Association (NSIA), based in New Mexico, USA, also explaining  ...  Neutrosophic Logic is a general framework for unification of many existing logics, such as fuzzy logic (especially intuitionistic fuzzy logic), paraconsistent logic, intuitionistic logic, etc.  ... 
doi:10.6084/m9.figshare.7077728.v1 fatcat:m4wzo54direanhmaimklmrkq2e

Efficient Geometric Routing in Large-Scale Complex Networks with Low-Cost Node Design

Sahel SAHHAF, Wouter TAVERNIER, Didier COLLE, Mario PICKAVET, Piet DEMEESTER
2016 IEICE transactions on communications  
Experiments show that the scheme has stretch properties comparable to geometric routing in the hyperbolic plane, while enabling a more efficient hardware design, and scaling considerably better in terms  ...  These attractive properties make the scheme promising for routing in large networks. key words: geometric routing, greedy forwarding, greedy embedding, spanning tree, large-scale topology, scale-free networks  ...  Acknowledgment This work is partly funded by the European Commission through the EULER project (grant 258307), part of the Future Internet Research and Experimentation (FIRE) objec-tive of the Seventh Framework  ... 
doi:10.1587/transcom.2015ebp3268 fatcat:fkezzixo5fgepdclhl5wsnmyya
« Previous Showing results 1 — 15 out of 9,341 results