Results 1-16 of 16.
((uid:50003328))
![]() Kaliski, Adam ![]() ![]() Scientific Conference (2022, August 18) Detailed reference viewed: 42 (1 UL)![]() Weydert, Emil ![]() Presentation (2021) Detailed reference viewed: 27 (0 UL)![]() Weydert, Emil ![]() Presentation (2021) Detailed reference viewed: 25 (1 UL)![]() Weydert, Emil ![]() Presentation (2019, February 27) Detailed reference viewed: 81 (2 UL)![]() Weydert, Emil ![]() Presentation (2019, February 12) Detailed reference viewed: 65 (0 UL)![]() Weydert, Emil ![]() Presentation (2019, January 15) Detailed reference viewed: 50 (1 UL)![]() Weydert, Emil ![]() Scientific Conference (2018) Detailed reference viewed: 74 (4 UL)![]() Weydert, Emil ![]() Scientific Conference (2018) Detailed reference viewed: 67 (4 UL)![]() Weydert, Emil ![]() Scientific Conference (2018) Detailed reference viewed: 66 (6 UL)![]() Weydert, Emil ![]() Scientific Conference (2018) Detailed reference viewed: 66 (3 UL)![]() Weydert, Emil ![]() in Symposium on the Theoretical Foundations of Mathematics III (2015, September 23) A MULTIVERSE AXIOM INDUCTION FRAMEWORK The multiverse paradigm in set theory does not only reflect philosophical preferences, or set up a new playground for mathematical investigation, but it also offers ... [more ▼] A MULTIVERSE AXIOM INDUCTION FRAMEWORK The multiverse paradigm in set theory does not only reflect philosophical preferences, or set up a new playground for mathematical investigation, but it also offers a powerful methodological tool for investigating the conceptual foundations of set theory by guiding the search for and the evaluation of new set-theoretic axioms or facts. The prototypical example is Friedman's Hyperuniverse Program (HUP). Our goal is to develop an abstract inferential framework generalizing the HUP whose (defeasible, inductive) inference methods are meant to identify or validate new axioms. We consider nonmonotonic consequence relations |~, parametrized by specifications of the multiverse and set-theoretic desiderata, which associate with any suitable ZFC + X new - not necessarily classically derivable - candidate truths. The desiderata could, for instance, consist of consistency conditions or maximization demands w.r.t. preorders over universes. There are a number of possible inductive strategies, but it doesn't seem that conceptual considerations at the level of set theory are sufficient to decide among them. The idea is therefore to also assess the inferential level and to use rationality postulates for nonmonotonic inference, heavily investigated within AI for modeling commonsense reasoning, to classify and evaluate such procedures. This is however a non-trivial task because of the special characteristics of axiom induction. [less ▲] Detailed reference viewed: 131 (22 UL)![]() Weydert, Emil ![]() in Konieczny, Sébastien; Tompits, Hans (Eds.) Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) (2014) We propose and investigate a simple ranking-measure-based extension semantics for abstract argumentation frameworks based on their generic instantiation by default knowledge bases and the ranking ... [more ▼] We propose and investigate a simple ranking-measure-based extension semantics for abstract argumentation frameworks based on their generic instantiation by default knowledge bases and the ranking construction semantics for default reasoning. In this context, we consider the path from structured to logical to shallow semantic instantiations. The resulting well-justified JZ-extension semantics diverges from more traditional approaches. [less ▲] Detailed reference viewed: 88 (12 UL)![]() ![]() Weydert, Emil ![]() in van der Gaag, Linda (Ed.) Symbolic and Quantitative Approaches to Reasoning with Uncertainty (2013) Detailed reference viewed: 141 (25 UL)![]() Weydert, Emil ![]() in Journal of Philosophical Logic (2012), 41(1), 237-271 In the context of a general framework for belief dynamics which interprets revision as doxastic constraint satisfaction, we discuss a proposal for revising quasi-probabilistic belief measures with finite ... [more ▼] In the context of a general framework for belief dynamics which interprets revision as doxastic constraint satisfaction, we discuss a proposal for revising quasi-probabilistic belief measures with finite sets of graded conditionals. The belief states are ranking measures with divisible values (generalizing Spohn's epistemology), and the conditionals are interpreted as ranking constraints. The approach is inspired by the minimal information paradigm and based on the principle-guided canonical construction of a ranking model of the input conditionals. This is achieved by extending techniques known from conditional default reasoning. We give an overview of how it handles different principles for conditional and parallel revision and compare it with similar accounts. [less ▲] Detailed reference viewed: 89 (5 UL)![]() ![]() Kaci, Souhila ![]() ![]() ![]() in Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 – November 2, 2007, Proceedings (2007) In this paper we study the acceptability of incompatible arguments within Dung’s abstract argumentation framework. As an example we introduce an instance of Dung’s framework where arguments are ... [more ▼] In this paper we study the acceptability of incompatible arguments within Dung’s abstract argumentation framework. As an example we introduce an instance of Dung’s framework where arguments are represented by propositional formulas and an argument attacks another one when the conjunction of their representations is inconsistent, which we characterize as a kind of symmetric attack. Since symmetric attack is known to have the drawback to collapse the various argumentation semantics, we consider also two variations. First, we consider propositional arguments distinguishing support and conclusion. Second, we introduce a preference ordering over the arguments and we define the attack relation in terms of a symmetric incompatibility relation and the preference relation. We show how to characterize preference-based argumentation using a kind of acyclic attack relation. [less ▲] Detailed reference viewed: 135 (3 UL)![]() ![]() ; van der Torre, Leon ![]() ![]() in Acyclic Argumentation: Attack = Conflict + Preference (2006) Detailed reference viewed: 79 (1 UL) |
||