Filters








73 Hits in 4.7 sec

Von Wright's "The Logic of Preference" revisited

Fenrong Liu
2009 Synthese  
Next, we study the foundational issue of entanglement between preference and beliefs, and relate the resulting richer logics to belief revision theory and decision theory.  ...  Preference is a key area where analytic philosophy meets philosophical logic.  ...  Acknowledgement I thank Tongdong Bai for his efforts in putting together this volume. I thank Johan van Benthem for his helpful comments. Finally, I thank Esther Rosario for her English corrections.  ... 
doi:10.1007/s11229-009-9530-z fatcat:vu5yshxefffn7n7cr6brwj76ry

The Logic of Fast and Slow Thinking

Anthia Solaki, Francesco Berto, Sonja Smets
2019 Erkenntnis: An International Journal of Scientific Philosophy  
Acknowledgements Material relevant for this paper was presented at the Logic in the Wild workshop in Gent, at the Logic and Interactive Rationality seminar and at the Logic of Conceivability seminar in  ...  reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.  ...  Such a framework makes for a plausible basis for the aforementioned promised extension of our logic of fast and slow thinking to a probabilistic setting. 3 The Logic of Fast and Slow Thinking non-ones  ... 
doi:10.1007/s10670-019-00128-z fatcat:7xddykgfcvddho2pqnocjqipd4

A Crash Course on Generalized Possibilistic Logic [chapter]

Didier Dubois, Henri Prade
2018 Lecture Notes in Computer Science  
We offer a brief presentation of basic possibilistic logic, and of its generalisation that comes close to a modal logic albeit with simpler more natural epistemic semantics.  ...  This paper proposes a concise overview of the role of possibility theory in logical approaches to reasoning under uncertainty.  ...  The close connection between MEL and modal epistemic logic S5 and doxastic logic KD45 is very clear, as MEL uses a fragment of their language.  ... 
doi:10.1007/978-3-030-00461-3_1 fatcat:gkxvcnah55hf3jfev4cotvhbba

EPISTEMIC LOGIC AND INFORMATION UPDATE [chapter]

Alexandru Baltag, Hans P. van Ditmarsch, Lawrence S. Moss
2008 Philosophy of Information  
A A GFED @ABC t GFED @ABC u Again, we would supplement the picture with a description of which states have which coin faces showing: H is true at s and u, while T is true at t.  ...  We illustrate this by using lines to represent the agent's indifference between two (indistinguishable) possibilities: The way to read an assertion like "there is a line between s and t" is as follows:  ...  Acknowledgments We thank Anthony Gillies and Joshua Sack for their very useful comments on this chapter at various stages.  ... 
doi:10.1016/b978-0-444-51726-5.50015-7 fatcat:4kw77wotobddbbcc34gtle4uxe

Page 9557 of Mathematical Reviews Vol. , Issue 2003m [page]

2003 Mathematical Reviews  
This paper provides a logical analysis of realism for agents with conditional beliefs and desires in a rule-based approach analogous to Reiter’s default logic.  ...  Summary: “Realism for agents with unconditional beliefs, desires and intentions (BDI agents) has been analyzed in modal logic.  ... 

Comparing strengths of beliefs explicitly

S. Ghosh, D. de Jongh
2012 Logic Journal of the IGPL  
Inspired by a similar use in provability logic, formulas p B q and p B q are introduced in the existing logical framework for discussing beliefs to express that the strength of belief in p is greater than  ...  This explicit mention of the comparison in the logical language aids in defining several other concepts in a uniform way, viz. older and rather clear concepts like the operators for universality (which  ...  Acknowledgements: We thank the unknown referees for their close reading and extensive comments. We will keep these comments in mind when writing a more extensive journal version.  ... 
doi:10.1093/jigpal/jzs050 fatcat:wwnkngzhvrcw7doq3rkgceh4gu

Preference Change

Anaïs Cadilhac, Nicholas Asher, Alex Lascarides, Farah Benamara
2015 Journal of Logic, Language and Information  
Most models of rational action assume that all possible states and actions are pre-defined and that preferences change only when beliefs do.  ...  But several decision and game problems lack these features, calling for a dynamic model of preferences: preferences can change when unforeseen possibilities come to light or when there is no specifiable  ...  Acknowledgements: We thank the associate editor and the anonymous reviewers of this paper for helpful comments and suggestions.  ... 
doi:10.1007/s10849-015-9221-8 fatcat:xohbdqfrsve3vhhg46as3zoa54

Rough Sets and Rough Logic: A KDD Perspective [chapter]

Zdzisław Pawlak, Lech Polkowski, Andrzej Skowron
2000 Studies in Fuzziness and Soft Computing  
logic, propositional logic, predicate logic, modal logic, belief and belief revision logics, default logic, para-consistent logic, non-monotonic logic, fuzzy logic, rough logic. their negations) such  ...  In the second part of this Chapter, we discuss rough logic and related incomplete logics from a wider perspective of logical approach in KDD.  ...  Epistemic and doxastic logics These are logics of knowledge and belief.  ... 
doi:10.1007/978-3-7908-1840-6_13 fatcat:vy35ujzaszcwvevywvjcms4wzy

A Note on Directions for Cumulativity

Philippe Besnard
2014 IfColog journal of logics and their applications (FLAP)  
Our paradigm will be dynamic-epistemic logics for knowledge and belief, and their current extensions to the statics and dynamics of agents' preferences.  ...  This paper explores models for this setting in terms of dynamic logics for information-driven agency.  ...  In doing so, we obtained a suggestive framework for the analysis of deontic notions that connects many strands in the literature on agency.  ... 
dblp:journals/flap/Besnard14 fatcat:nwod52qavjbgdhg755t5f276ze

A formal account of dishonesty

C. Sakama, M. Caminada, A. Herzig
2014 Logic Journal of the IGPL  
We introduce a propositional multi-modal logic that can represent an agent's belief and intention as well as communication between agents.  ...  We compare different categories of dishonesty in a systematic manner, and examine their connection to deception.  ...  [27] study how agents can deceive within a probabilistic framework for representing mental states.  ... 
doi:10.1093/jigpal/jzu043 fatcat:y5g6xpjo2jgrngxidx67zgzcea

Possibilistic reasoning—a mini-survey and uniform semantics

Churn-Jung Liau, Bertrand I-Peng Lin
1996 Artificial Intelligence  
It is then shown that classical modal logic, conditional logic, possibilistic logic, quantitative modal logic and qualitative possibilistic logic are all sublogics of the presented logical framework.  ...  In this paper, we survey some quantitative and qualitative approaches to uncertainty management based on possibility theory and present a logical framework to integrate them.  ...  Acknowledgements We would like to thank two anonymous referees for valuable comments. Their suggestions lead to Section 5 and corrections of some technical errors.  ... 
doi:10.1016/s0004-3702(96)00013-6 fatcat:bbbjwpuk7vfvbkdsuv2wzv4dfa

An Old Discipline with a New Twist: The Course "Logic in Action"

Johan van Benthem
2017 IfColog journal of logics and their applications (FLAP)  
Each submission for this special issue were assigned to two reviewers. We are immensely grateful to  ...  We hope that this volume will inspire teachers so that the way logic is taught to a wide range of students from undergraduate to postgraduate gets improved, and thereby make those audiences aware of the  ...  for Fun, Nursulu Kuspanova for her invaluable work on the diagnosis tool, and the many logic students over the last 15 years who have helped by testing the site to destruction.  ... 
dblp:journals/flap/Benthem17 fatcat:e5d54ekdhrbmjcs3ywmfzhaslm

Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property

Maxime Amblard, Christian Retoré
2014 IfColog journal of logics and their applications (FLAP)  
The concept of conviviality was recently proposed for modeling and measuring cooperation among agents in multiagent systems.  ...  We first present how to use conviviality to model and evaluate interactions among different contexts, which represent heterogeneous entities in a distributed system.  ...  Dov Gabbay and I have been talking about inconsistency-tolerance for nearly twenty-five years, and my own evolving views owe a great deal to that stimulus.  ... 
dblp:journals/flap/AmblardR14 fatcat:4zhwou4z5za7lkyamkof5wqj2u

Degrees All the Way Down: Beliefs, Non-Beliefs and Disbeliefs [chapter]

Hans Rott
2009 Degrees of Belief  
I would also like to thank Peter Gärdenfors, Isaac Levi, David Makinson, Wlodek Rabinowicz and Wolfgang Spohn for showing me how to find a good balance between philosophical and technical questions.  ...  Even if this paper is not a direct result of interaction with them, this is a good occasion to express my general indebtedness to their work and their personal friendship and support.  ...  The modal logic of belief implicit in our standard axiomatizations (E1)-(E3) or (Ei)-(Eiii), is the non-normal, regular system of modal logic called R or ECM by Chellas; an axiomatization in the spirit  ... 
doi:10.1007/978-1-4020-9198-8_12 fatcat:jvulud3wfvgorhruikq65rtnsm

Index—Volumes 1–89

1997 Artificial Intelligence  
plan 919 minimum cost merged plans 920 patterns in a network 337 proofs 535 the feasible relations 956 finite belief base 1254 characterization of cumulative default logic 1182 CSP 948 default  ...  models 1225 calcuhls 904 general-purpose -1095 in a cc'nditional logic 1057 in 01s 603 in probabilistic logic 1124 initial clauses of a -10 logical -635 met hod 1124 of relative likelihood  ...  112, 147,245,292,296, 303,444,453, 461,503,573,632,690,692, 1079, 1204, 1222,1339 reasoning abductive -684, 1175, 1222 logical -1124, 1217 machinery 58 1 management of evidential -328 mathematical -166,579  ... 
doi:10.1016/s0004-3702(97)80122-1 fatcat:6az7xycuifaerl7kmv7l3x6rpm
« Previous Showing results 1 — 15 out of 73 results