Sciweavers

519 search results - page 2 / 104
» Qualitative choice logic
Sort
View
QEST
2007
IEEE
13 years 11 months ago
Qualitative Logics and Equivalences for Probabilistic Systems
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
Luca de Alfaro, Krishnendu Chatterjee, Marco Faell...
AAAI
1998
13 years 6 months ago
Logical Representation and Computation of Optimal Decisions in a Qualitative Setting
This paper describes a logical machineryfor computing decisions based on an ATMSprocedure, wherethe available knowledgeon the state of the world is describedbya possibilistic prop...
Didier Dubois, Daniel Le Berre, Henri Prade, R&eac...
SLOGICA
2011
13 years 8 days ago
Logics for Qualitative Inductive Generalization
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attentio...
Diderik Batens
JLP
2000
134views more  JLP 2000»
13 years 5 months ago
Abducing through negation as failure: stable models within the independent choice logic
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
David Poole
JOLLI
2002
80views more  JOLLI 2002»
13 years 5 months ago
Independent Choices and the Interpretation of IF Logic
In this paper it is argued that Hintikka's game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is...
Theo M. V. Janssen