A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Von Wright's "The Logic of Preference" revisited
2009
Synthese
Preserved Fulltext
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
2019
Erkenntnis: An International Journal of Scientific Philosophy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Philosophy of Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2012
Logic Journal of the IGPL
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Journal of Logic, Language and Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2000
Studies in Fuzziness and Soft Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
IfColog journal of logics and their applications (FLAP)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2014
Logic Journal of the IGPL
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1996
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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"
2017
IfColog journal of logics and their applications (FLAP)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2014
IfColog journal of logics and their applications (FLAP)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Degrees of Belief
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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