ترغب بنشر مسار تعليمي؟ اضغط هنا

Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract)

197   0   0.0 ( 0 )
 نشر من قبل EPTCS
 تاريخ النشر 2017
  مجال البحث الهندسة المعلوماتية
والبحث باللغة English
 تأليف Pavel Naumov




اسأل ChatGPT حول البحث

The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to follow the strategy. Neither does it mean that the coalition knows that such a strategy exists. The paper studies an interplay between the distributed knowledge, coalition strategies, and coalition know-how strategies. The main technical result is a sound and complete trimodal logical system that describes the properties of this interplay.



قيم البحث

اقرأ أيضاً

Recent work has presented intriguing results examining the knowledge contained in language models (LM) by having the LM fill in the blanks of prompts such as Obama is a _ by profession. These prompts are usually manually created, and quite possibly s ub-optimal; another prompt such as Obama worked as a _ may result in more accurately predicting the correct profession. Because of this, given an inappropriate prompt, we might fail to retrieve facts that the LM does know, and thus any given prompt only provides a lower bound estimate of the knowledge contained in an LM. In this paper, we attempt to more accurately estimate the knowledge contained in LMs by automatically discovering better prompts to use in this querying process. Specifically, we propose mining-based and paraphrasing-based methods to automatically generate high-quality and diverse prompts, as well as ensemble methods to combine answers from different prompts. Extensive experiments on the LAMA benchmark for extracting relational knowledge from LMs demonstrate that our methods can improve accuracy from 31.1% to 39.6%, providing a tighter lower bound on what LMs know. We have released the code and the resulting LM Prompt And Query Archive (LPAQA) at https://github.com/jzbjyb/LPAQA.
We consider several ways of how one could classify the various types of soliton solutions related to nonlinear evolution equations which are solvable by the inverse scattering method. In doing so we make use of the fundamental analytic solutions, the dressing procedure, the reduction technique and other tools characteristic for that method.
In the past 10 years our knowledge of the parameters rho and eta of the Cabibbo-Kobayashi-Maskawa matrix has improved substantially. This article reviews the measurements that contributed to this advance, and discusses their implication in terms of u nderstanding CP violation in the Standard Model and beyond.
151 - S. Goriely , M. Arnould 2001
The reliable evaluation of the r-process production of the actinides and careful estimates of the uncertainties affecting these predictions are key ingredients especially in nucleo-cosmochronology studies based on the analysis of very metal-poor star s or on the composition of meteorites. This type of information is also required in order to make the best possible use of future high precision data on the actinide composition of galactic cosmic rays, of the local interstellar medium, or of meteoritic grains of presumed circumstellar origin. This paper provides the practitioners in these various fields with the most detailed and careful analysis of the r-process actinide production available to-date. In total, thirty-two different multi-event canonical calculations using different nuclear ingredients or astrophysics conditions are presented, and are considered to give a fair picture of the level of reliability of the predictions of the actinide production, at least in the framework of a simple r-process model. This simplicity is imposed by our inability to identify the proper astrophysical sites for the r-process. Constraints on the actinide yield predictions and associated uncertainties are suggested on grounds of the measured abundances of r-nuclides, including Th and U, in the star CS 31082-001, and under the critical and questionable assumption of the `universality of the r-process. We also define alternative constraints based on the nucleo-cosmochronological results derived from the present actinide content of meteorites. Implications to the different above-cited fields, and in particular nucleo-cosmochronometry are discussed.
The bright, well-known K5 giant Aldebaran, alpha Tau, is probably the star with the largest number of direct angular diameter determinations, achieved over a long time by several authors using various techniques. In spite of this wealth of data, or p erhaps as a direct result of it, there is not a very good agreement on a single angular diameter value. This is particularly unsettling if one considers that Aldebaran is also used as a primary calibrator for some angular resolution methods, notably for optical and infrared long baseline interferometry. Directly connected to Aldebarans angular diameter and its uncertainties is its effective temperature, which also has been used for several empirical calibrations. Among the proposed explanations for the elusiveness of an accurate determination of the angular diameter of Aldebaran are the possibility of temporal variations as well as a possible dependence of the angular diameter on the wavelength. We present here a few, very accurate new determinations obtained by means of lunar occultations and long baseline interferometry. We derive an average value of 19.96+-0.03 milliarcseconds for the uniform disk diameter. The corresponding limb-darkened value is 20.58+-0.03 milliarcseconds, or 44.2+-0.9 R(sun). We discuss this result, in connection with previous determinations and with possible problems that may affect such measurements.

الأسئلة المقترحة

التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا