Results 1 - 10
of
71
private communication
, 1996
"... Molecular cloning and expression analysis of a new gene for shortchain dehydrogenase/reductase 9 ..."
Abstract
-
Cited by 80 (4 self)
- Add to MetaCart
(Show Context)
Molecular cloning and expression analysis of a new gene for shortchain dehydrogenase/reductase 9
Rational Dynamics and Epistemic Logic in Games
, 2002
"... I propose a bare-bones look at epistemic models for games, with a focus on update procedures for reaching equilibrium 'zones'. Connections are given with standard update and fixedpoint logics. This is just a 'methods' paper, as readers will want to play with models, uncertainty r ..."
Abstract
-
Cited by 35 (6 self)
- Add to MetaCart
I propose a bare-bones look at epistemic models for games, with a focus on update procedures for reaching equilibrium 'zones'. Connections are given with standard update and fixedpoint logics. This is just a 'methods' paper, as readers will want to play with models, uncertainty relations, and announcements different from those used here for the purposes of illustration.
Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences
, 2009
"... This paper presents a new modal logic for ceteris paribus preferences understood in the sense of “all other things being equal”. This reading goes back to the seminal work of Von Wright in the early 1960’s and has returned in computer science in the 1990’s and in more abstract “dependency logics” t ..."
Abstract
-
Cited by 19 (6 self)
- Add to MetaCart
This paper presents a new modal logic for ceteris paribus preferences understood in the sense of “all other things being equal”. This reading goes back to the seminal work of Von Wright in the early 1960’s and has returned in computer science in the 1990’s and in more abstract “dependency logics” today. We show how it differs from ceteris paribus as “all other things being normal”, which is used in contexts with preference defeaters. We provide a semantic analysis and several completeness theorems. We show how our system links up with Von Wright’s work, and how it applies to game-theoretic solution concepts, to agenda setting in investigation, and to preference change. We finally consider its relation with infinitary modal logics.
Inference and update
- In van Benthem
, 2008
"... We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually ..."
Abstract
-
Cited by 11 (2 self)
- Add to MetaCart
We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations, giving us information that might have been not available (even implicitly) before. Both processes have received attention from the logic community, usually separately. In this work, we develop a logical language that allows us to describe them together. We present syntax and semantics, as well as a complete axiom system. We also discuss similarities and differences with other approaches, and we mention some possible ways the work can be extended. 1
Toward a Theory of Play: A Logical Perspective on Games and Interaction
, 2010
"... The combination of logic and game theory provides a fine-grained perspective on information and interaction dynamics, a Theory of Play. In this paper we lay down the main components of such a theory, drawing on recent advances in the logical dynamics of actions, preferences, and information. We then ..."
Abstract
-
Cited by 11 (8 self)
- Add to MetaCart
The combination of logic and game theory provides a fine-grained perspective on information and interaction dynamics, a Theory of Play. In this paper we lay down the main components of such a theory, drawing on recent advances in the logical dynamics of actions, preferences, and information. We then show how this fine-grained perspective has already shed new light on the long-term dynamics of information exchange, as well as on the much-discussed question of extensive game rationality.
Toward a Dynamic Logic of Questions
"... Questions are different from statements, but they are just as important in driving reasoning, communication, and general processes of investigation. The first logical studies merging questions and propositions seem to have come from the Polish tradition: cf. [24]. A forceful modern defender of ..."
Abstract
-
Cited by 10 (2 self)
- Add to MetaCart
(Show Context)
Questions are different from statements, but they are just as important in driving reasoning, communication, and general processes of investigation. The first logical studies merging questions and propositions seem to have come from the Polish tradition: cf. [24]. A forceful modern defender of
From belief change to preference change
- In Procs. of ECAI
, 2008
"... Abstract. Various tasks need to consider preferences in a dynamic way. We start by discussing several possible meanings of preference change, and then focus on the one we think is the most natural: pref-erences evolving after some new fact has been learned. We define a family of such preference chan ..."
Abstract
-
Cited by 10 (1 self)
- Add to MetaCart
(Show Context)
Abstract. Various tasks need to consider preferences in a dynamic way. We start by discussing several possible meanings of preference change, and then focus on the one we think is the most natural: pref-erences evolving after some new fact has been learned. We define a family of such preference change operators, parameterized by a re-vision function on epistemic states and a semantics for interpreting preferences over formulas. We list some natural properties that this kind of preference change should fulfill and give conditions on the revision function and the semantics of preference for each of these properties to hold. 1
Modeling Situation Awareness in Human-Like Agents using Mental Models
- Proceedings of the 22 nd International Joint Conference on Artificial Intelligence
, 2011
"... In order for agents to be able to act intelligently in an environment, a first necessary step is to become aware of the current situation in the environment. Forming such awareness is not a trivial matter. Appropriate observations should be selected by the agent, and the observation results should b ..."
Abstract
-
Cited by 9 (5 self)
- Add to MetaCart
(Show Context)
In order for agents to be able to act intelligently in an environment, a first necessary step is to become aware of the current situation in the environment. Forming such awareness is not a trivial matter. Appropriate observations should be selected by the agent, and the observation results should be interpreted and combined into one coherent picture. Humans use dedicated mental models which represent the relationships between various observations and the formation of beliefs about the environment, which then again direct the further observations to be performed. In this paper, a generic agent model for situation awareness is proposed that is able to take a mental model as input, and utilize this model to create a picture of the current situation. In order to show the suitability of the approach, it has been applied within the domain of F-16 fighter pilot training for which a dedicated mental model has been specified, and simulations experiments have been conducted. 1
