scholarly journals Hintikka's World: Scalable Higher-order Knowledge

Author(s):  
Tristan Charrier ◽  
Sébastien Gamblin ◽  
Alexandre Niveau ◽  
François Schwarzentruber

Hintikka's World is a graphical and pedagogical tool that shows how artificial agents can reason about higher-order knowledge. In this demonstration paper, we present the implementation of symbolic models in Hintikka's World. They enable the tool to scale, by helping it to face the state explosion, which makes it possible to provide examples featuring real card games, such as Hanabi.

Author(s):  
François Schwarzentruber

In this demonstration paper, we present a pedagogical tool called Hintikka's world for showing how artificial agents can reason about higher-order knowledge (an agent knows that another agent knows that...). The system provides famous AI examples such as Muddy children and Russian cards. The system also allows to implement user's own examples via the description of a Kripke model or via its generation by the generic tableau method prover MetTeL2.


Author(s):  
Lamia Allal ◽  
Ghalem Belalem ◽  
Philippe Dhaussy ◽  
Ciprian Teodorov

The author describes, in the present paper, specimens of Belemnite, discovered in the Oxford-clay at Christian Malford, Wilts, and which are remarkable for the preservation of many of the soft parts of the animal. After alluding to the various opinions promulgated by different authors respecting the nature and affinities of this extinct animal, he adverts more especially to the discovery of the ink-bag of the Belemnite, which was published in the Zoological Transactions, vol. ii., and in the Cyclopaedia of Anatomy and Physiology (Art. Cephalopoda). This discovery led him, on the strength of deductions from the physiological relations of this organ, to remove the Belemnite from the Polythalamacea of De Blainville, and place it in the higher order of the naked Cephalopods. The structure of the shell is next discussed, and the spathose dart, or guard, is proved to be the result of original organization, both by its microscopic structure and by the fact that the chambers of the phragmocone have not been infiltrated by mineral substance in any of the specimens described: the name phragmocone being applied to the chambered and siphonated conical division of the compound shell of the Belemnite; and the term alveolus being restricted, in the present paper, to the socket or cavity at the base of the guard, in which the phragmocone is lodged. A detailed description is given of the sheath of the phragmocone and of the structure of the chambers. The state of preservation of the present specimens has enabled the author to describe the form and extent of the mantle—its continuation over the exterior of the shell, and the arrangement of its muscular fibres. The animal is provided with two lateral fins of a semi-oval figure, which are attached to the middle of the mantle, in advance of the spathose dart.


2005 ◽  
Vol 19 (25) ◽  
pp. 1261-1276 ◽  
Author(s):  
DILIP KUMAR GIRI ◽  
P. S. GUPTA

Sum and difference squeezing of the field amplitude are higher-order squeezing effects. These effects are studied in the Raman process under the short-time approximation based on a fully quantum mechanical approach. It is shown that for uncorrelated modes, the normal squeezing in the sum and difference-frequency field depends on the sum and difference squeezing of input field modes respectively, which can generate normal squeezing in the sum and difference-frequency field mode. All the possibilities for obtaining sum and difference squeezing in two modes and its dependence on squeezing of individual field modes are investigated. We have also shown that if the high-frequency mode is in a coherent state and the low-frequency mode is squeezed, the field state will be difference squeezed if the amplitude of the high-frequency mode is large enough; otherwise the state may or may not be difference squeezed. If both modes are squeezed, then the state may or may not be difference squeezed. These higher-order squeezing effects are useful in the production of squeezing in the Raman process.


Author(s):  
Piotr Evdokimov ◽  
Umberto Garfagnini

AbstractWe design a novel experiment to study how subjects update their beliefs about the beliefs of others. Three players receive sequential signals about an unknown state of the world. Player 1 reports her beliefs about the state; Player 2 simultaneously reports her beliefs about the beliefs of Player 1; Player 3 simultaneously reports her beliefs about the beliefs of Player 2. We say that beliefs exhibit higher-order learning if the beliefs of Player k about the beliefs of Player $$k-1$$ k - 1 become more accurate as more signals are observed. We find that some of the predicted dynamics of higher-order beliefs are reflected in the data; in particular, higher-order beliefs are updated more slowly with private than public information. However, higher-order learning fails even after a large number of signals is observed. We argue that this result is driven by base-rate neglect, heterogeneity in updating processes, and subjects’ failure to correctly take learning rules of others into account.


Sign in / Sign up

Export Citation Format

Share Document