Game Situations using the Situation Calculus
CiteSeerX — Situation Calculus with Aspect
... named using constant symbols, we can essentially quantify over aspects corresponding to uents and actions, which we can not do if they are represented as predicate or function symbols within rst order ...
24
Aggregation in Game Theoretical Situations
... the game is symmetric, identical strategies will lead to identical ...non-cooperative situation in which a Nash equilibrium outcome is attained, provided it ...the game is not symmetric, however, the ...
103
Non-Markovian control in the Situation Calculus
... the Situation Calculus, such temporal connectives amount to references to past situations, and the constraints to restrictions on when a sequence of actions can be considered a “legal” database ...
24
Logic, Probability and Action: A Situation Calculus Perspective
... 4.4 High-Level Control A high-level programming language that deals with noise has to reason about two kinds of complications. First, when a noisy physical or sensing action in the program is per- formed, we must ...
15
A calculus for game-based security proofs
... Finally, we conclude in Section 7. 2 Computational SLR Bellantoni and Cook have proposed to replace the model of Turing machines by their safe recur- sion scheme which defines exactly functions that are computable in ...
18
Digital Game for Undergraduate Calculus Education: The affordances of game design and. Abstract
... Digital Game for Undergraduate Calculus Education: The affordances of game design and its effects on immersion, calculation, and conceptual understanding Abstract Digital games have the potential to ...
30
PP 2007 04: Situation Calculus Meets Modal Logic
... board game "Kings and Cardinals" (with the board itself an object of public observation) having 'monasteries' and 'advisors' placed here and ...the game for me, while I may believe even more than what I ...
17
Applications of Norm and Situation Calculus in the Semantic Web Service Composition
... Email: [email protected], [email protected] Received June 23 rd 2010; revised July 8 th 2010; accepted July 24 th 2010. ABSTRACT Semantic Web service studies are carried out around the OWL-S, however, OWL-S model ...
8
CiteSeerX — Iterated Belief Change and Exogenous Actions in the Situation Calculus
... a situation to ...accessible situations. As sensing occurs and situations are dropped from the accessibility relation, a new set of sit- uations can become most plausible and therefore beliefs of the ...
5
PP 2001 17: Situation Calculus as Hybrid Logic: First Steps
... situation calculus. We have chosen for a comparison with the very first situation calculus lan- guage, from McCarthy and Hayes ...the situation calculus if only the right ...
13
Exploring the Bidding Situation for Economically Most Advantageous Tender Projects Using a Bidding Game
... the Game There are some support instruments that provide a series of sur- prises, unexpected events, risks, and ...by using cost cards and fortune ...
6
Visual-Interactive Search for Soccer Trajectories to Identify Interesting Game Situations
... tactical game, which also attracted great attention in the last few ...plex game movements is a very crucial and challenging ...a situation of ...
10
On the Laziness of Monte-Carlo Game Tree Search in Non-tight Situations
... * Procedures like "dynamic komi" (for instance in computer Go) may try to give MC "always" the impression that the situation is tight, resulting in more goal-oriented play. * In a forthcoming ...
6
Formal Logic Research in Mobile Service Recommendation Model Based on Situation Calculus
... on Situation Calculus Weihong Wang, Dawei Zhang, Yuhui Cao and Fuxiang Zhou ABSTRACT Aiming at the shortcomings of formal logic research in the domain of service recommendation, this paper proposes a mobile ...
5
Cleared for take-off: Game-based learning to prepare airline pilots for critical situations
... serious game affect the gameplay experience of the player? To answer RQ 2a, we look at the outcomes of the game, measured with the knowledge and application questions in the test in all three ...CloudAtlas ...
283
Recognition Situations Using Extended Dempster-Shafer Theory
... recognise situations and thus trigger appropriate ...current situations in real time are major obstacles to the collection of reliable, well-annotated ...each situation occurs during the training ...
176
Situations and Evidence for Identity Using Dempster-Shafer Theory
... on situation theory, where we identify id-cases, each consisting of an id-situation (where an identity judgment is made) and supporting ...a situation in terms of infons (items of ...classify ...
7
Using an Ontology to Automatically Generate Questions for the Determination of Situations
... the situation ’With injury and multiple vehicles’ was ...The situation ’With injury and one vehicle’ was not so explicit, ...the situation ’With injury and one ...
8
Using situation lattices in sensor analysis
... We analyse the nature of these pairs of situations: each pair of situations occur in different rooms. We have a set of potential types of sensors to choose: infra-red motion sen- sors to infer the subject’s ...
11
Discrete event calculus using Semantic Web technologies
... DEC5 to DEC8 as shown in (7.6.2). Here, the situation is different because the non- monotonic procedure involves replacing one value with another. 8.5.4 Test description The JUnit test for this scenario is ...
265