-
2Art has the capacity to shape and alter our identities. It can influence who and what we are. Those who have had aesthetic experiences know this intimately, and yet the study of art’s impact on the mind struggles to be recognized as a centrally important field within the discipline of psychology. The main thesis of Art and Identity is that aesthetic experience represents a prototype for meaningful experience, warranting intense philosophical and psychological investigation. Currently psychology …Read more
-
33Guest Editors’ IntroductionJournal of Philosophical Logic 44 (2): 111-115. 2015.This special issue presents a selection of papers in Knowledge Representation in Artificial Intelligence , intended to illustrate the depth and breadth of current research in the area. It comes just over 25 years since a similar special issue of the Journal of Philosophical Logic appeared on the topic Philosophical Logic and Artificial Intelligence [15]. This latter special issue covered work addressing the use of logic, in one form or another, for representing and reasoning with knowledge. The …Read more
-
Semantic evaluation in possibilistic logicIn B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases, Springer. pp. 90--260. 1991.
-
7Semantic evaluation in possibilistic logic application to min-max discrete optimisation problemsIn B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases, Springer. pp. 260--268. 1991.
-
17Braucht die Welt eine Schweizer Armee? Pazifistische Politik im 21. JahrhundertIn Barbara Bleisch & Jean-Daniel Strub (eds.), Pazifismus: Ideengeschichte, Theorie Und Praxis, Haupt. pp. 331. 2006.
-
149Introspective forgettingSynthese 169 (2): 405-423. 2009.We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others’ or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.
-
84Effectivity functions and efficient coalitions in Boolean gamesSynthese 187 (S1): 73-103. 2012.Boolean games are a logical setting for representing strategic games in a succinct way, taking advantage of the expressive power and conciseness of propositional logic. A Boolean game consists of a set of players, each of which controls a set of propositional variables and has a specific goal expressed by a propositional formula. We show here that Boolean games are a very simple setting, yet sophisticated enough, for analysing the formation of coalitions. Due to the fact that players have dichot…Read more
-
39Removing inconsistencies in assumption-based theories through knowledge-gathering actionsStudia Logica 67 (2): 179-214. 2001.In this paper, the problem of purifying an assumption-based theory KB, i.e., identifying the right extension of KB using knowledge-gathering actions (tests), is addressed. Assumptions are just normal defaults without prerequisite. Each assumption represents all the information conveyed by an agent, and every agent is associated with a (possibly empty) set of tests. Through the execution of tests, the epistemic status of assumptions can change from "plausible" to "certainly true", "certainly fals…Read more