19 research outputs found
Depth-bounded Epistemic Logic
Epistemic logics model how agents reason about their beliefs and the beliefs
of other agents. Existing logics typically assume the ability of agents to
reason perfectly about propositions of unbounded modal depth. We present DBEL,
an extension of S5 that models agents that can reason about epistemic formulas
only up to a specific modal depth. To support explicit reasoning about agent
depths, DBEL includes depth atoms Ead (agent a has depth exactly d) and Pad
(agent a has depth at least d). We provide a sound and complete axiomatization
of DBEL.
We extend DBEL to support public announcements for bounded depth agents and
show how the resulting DPAL logic generalizes standard axioms from public
announcement logic. We present two alternate extensions and identify two
undesirable properties, amnesia and knowledge leakage, that these extensions
have but DPAL does not. We provide axiomatizations of these logics as well as
complexity results for satisfiability and model checking.
Finally, we use these logics to illustrate how agents with bounded modal
depth reason in the classical muddy children problem, including upper and lower
bounds on the depth knowledge necessary for agents to successfully solve the
problem.Comment: In Proceedings TARK 2023, arXiv:2307.0400
Healthy Housing 2016: Proceedings of the 7th International Conference on Energy and Environment of Residential Buildings, 20-24 November, 2016
This conference series was initiated in Sendai, Japan in 2000 and has played a significant role in the development of Energy and Environment of Residential Buildings. It is well attended by researchers and academics from Asia, Europe and North America.
In 2016 the conference moves to Brisbane, Australia, hosted by Queensland University of Technology and has adopted the overarching theme of Healthy Housing. The conference offers an exciting program that will not only facilitate research exchange between academics, but will supports and facilitatse dialogue with industry (housing providers) and government (housing regulators).
These procedings collect the papers for the 2016 conference covering the topics:
â Sustainable design and construction
â Indoor environment
â Neighbourhood planning
â Modelling, simulation and post-occupancy evaluation
â Building information and management
â Valuation, marketing and financ
Svenskan i Finland 18
Artonde sammankomsten för Svenskan i Finland hölls pĂ„ konferenshotellet Radisson Blu Marina Palace Hotel i Ă
bo den 11 och 12 oktober 2018. Konferensen samlade drygt 60 deltagare frĂ„n Finland och Sverige. VĂ€rd för konferensen var lĂ€roĂ€mnet Nordiska sprĂ„k vid Ă
bo universitet.
Temat för konferensen var Svenskan i Finland, i all sin mÄngfald. Totalt presenterades 26 föredrag och 3 postrar pÄ konferensen. Första dagen inleddes med ett plenarföredrag av professor Catrin Norrby frÄn Stockholms universitet som talade om temat Att interagera pÄ finlandssvenska och sverigesvenska. Hur hÀnger sprÄkbruk, kultur och nation ihop? Den andra dagen inleddes med ett plenarföredrag om temat Svenskundervisning i den digitala eran av sprÄkcenterdirektör Taina Juurakko-Paavola frÄn Tammerfors universitet. I de övriga föredragen och postrarna behandlades bl.a. översÀttning, sprÄkmöten i skönlitteratur, historiska texter, integration pÄ svenska, skrivundervisning, institutionell kommunikation och olika aspekter av svenska som andrasprÄk. Konferensmiddagen hölls pÄ muséet Aboa Vetus & Ars Nova. Före middagen ordnades en rundvandring med guide i den historiska delen av muséet.
Konferensen ordnades med understöd av Svenska litteratursÀllskapet i Finland och Turun YliopistosÀÀtiö. Vi tackar varmt för bidragen.
I denna elektroniska konferensvolym publiceras ett av plenarföredragen och tio av de föredrag som hölls vid konferensen. Samtliga artiklar har genomgÄtt referentgranskning och Àven granskats av redaktionen. Catrin Norrbys plenarföredrag inleder volymen och de övriga artiklarna stÄr i alfabetisk ordning efter författarnamnet eller första författarens namn vid artiklar med flera författare.
Den vid skrivande stund pĂ„gĂ„ende coronaepidemin har lett till en viss förskjutning bĂ„de i tidtabellen för denna konferensvolym och följande konferens inom serien. Svenskan i Finland 19 skulle ursprungligen ha Ă€gt rum i juni innevarande Ă„r men hĂ„lls enligt nuvarande planer i stĂ€llet 6 och 7 maj 2021 i Vasa. Vi önskar Ă
bo Akademi i Vasa lycka till med arrangemangen och ser fram emot att delta i konferense