Fenrong Liu

Fenrong Liu
Tsinghua University | TH · Department of Philosophy

PhD

About

76
Publications
5,308
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
860
Citations

Publications

Publications (76)
Article
The paper presents a ten-year history of social network logics in China. It tells the story of how this new research area was started, how its research agenda was extended, and, in particular, how a focus on graph games developed. Important ideas and research results are summarised, with an emphasis on the connections between them. An important asp...
Conference Paper
We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion and we add a new modal varian...
Article
Schemat wnioskowania mou w logice mohistycznej Biorąc za punkt wyjścia monotoniczność rozumowania, artykuł przedstawia systematyczny sposób interpretacji schematu wnioskowania mou w tekstach mohistycznych. Wzięliśmy pod uwagę zarówno perspektywę logiczną. jak i lingwistyczną, zwracając szczególną uwagę na specyfikę klasycznego języka chińskiego, ro...
Book
This three-volume set, LNAI 13031, LNAI 13032, and LNAI 13033 constitutes the thoroughly refereed proceedings of the 18th Pacific Rim Conference on Artificial Intelligence, PRICAI 2021, held in Hanoi, Vietnam, in November 2021. The 93 full papers and 28 short papers presented in these volumes were carefully reviewed and selected from 382 submission...
Book
This three-volume set, LNAI 13031, LNAI 13032, and LNAI 13033 constitutes the thoroughly refereed proceedings of the 18th Pacific Rim Conference on Artificial Intelligence, PRICAI 2021, held in Hanoi, Vietnam, in November 2021. The 93 full papers and 28 short papers presented in these volumes were carefully reviewed and selected from 382 submission...
Chapter
Monotonicity-based inference is a fundamental notion in the logical semantics of natural language, and also in logic in general. Starting in generalized quantifier theory, we distinguish three senses of the notion, study their relations, and use these to connect monotonicity to logics of model change. At the end we return to natural language and co...
Chapter
Graph games are interactive scenarios with a wide range of applications. This position paper discusses old and new graph games in tandem with matching logics and identifies general questions behind this match. Throughout, we pursue two strands: logic as a way of analyzing existing graph games, and logic as an inspiration for designing new graph gam...
Book
This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory, algebraic logic, game logics, and philosophical foundations of logic. They also reflect...
Book
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020. The 12 full papers together presented were fully reviewed and selected from 40 submissio...
Article
An unrealistic assumption in classical extensive game theory is that the complete game tree is fully perceivable by all players. To weaken this assumption, a class of games (called games with short sight) was proposed in literature, modelling the game scenarios where players have only limited foresight of the game tree due to bounded resources and...
Chapter
The notion of preference is important in philosophy, decision theory, and many other disciplines. It is the interplay of information and preferences that provides the driving force behind what we actually do. The chapter adds a new focus and argues that preference is not static, instead, it changes dynamically when triggered by various kinds of eve...
Conference Paper
We present a logic for reasoning about the interplay between belief, evidence and trust in a multi-agent setting. We call this logic DL-BET which stands for “Dynamic Logic of Belief, Evidence and Trust”. According to DL-BET, if the amount of evidence in support a given fact \(\varphi \) and the ratio of evidence in support of \(\varphi \) to the to...
Article
The notion of short sight, introduced by Grossi and Turrini, weakens the unrealistic assumption in traditional extensive games that every player is able to perceive the entire game structure. In this paper, we propose a more general model for extensive games with short sight. For reasoning about extensive games with short sight, we propose a new lo...
Conference Paper
An unrealistic assumption in classical extensive game theory is that the complete game tree is fully perceivable by all players. To weaken this assumption, a class of games (called games with short sight) was proposed in literature, modelling the game scenarios where players have only limited foresight of the game tree due to bounded resources and...
Article
Full-text available
In this article, we study a minimal change approach to preference dynamics. We treat a set of preferences as a special kind of theory, and define minimal change preference contraction and revision operations in the spirit of the Alchourrón, Gärdenfors, and Makinson theory of belief revision. We characterise minimal contraction of preference sets by...
Chapter
Full-text available
While the usual literature points in the direction of reducing dyadic value notions to monadic ones, this paper, inspired by van Benthem’s work, shows that we can achieve our goal in the other direction with context playing a crucial role. Two formal languages that describe the notion of context and our reasoning with it are proposed. In particular...
Article
We study preference dynamics in extensive games with short sight. To do so, first, we represent the priority structure as a partial-ordered priority graph instead of a linear-ordered sequence. By introducing priority graph to extensive games, we obtain the definition of prioritized games and graph-induced preference. Second, in order to deal with t...
Article
In this paper we explore the relationship between norms of belief revi- sion that may be adopted by members of a community and the resulting dynamic properties of the distribution of beliefs across that community. We show that at a qualitative level many aspects of social belief change can be obtained from a very simple model, which we call `thresh...
Chapter
The notion of preference is important in philosophy, decision theory, and many other disciplines. It is the interplay of information and preferences that provides the driving force behind what we actually do. The chapter adds a new focus and argues that preference is not static, instead, it changes dynamically when triggered by various kinds of eve...
Article
Dynamic epistemic logic (DEL) extends purely modal epistemic logic (S5) by adding dynamic operators that change the model structure. Propositional dynamic logic (PDL) extends basic modal logic with programs that allow the definition of complex modalities. We provide a common generalisation: a logic that is ‘dynamic’ in both senses, and one that is...
Article
Full-text available
This paper presents a two-dimensional modal logic for reasoning about the changing patterns of knowledge and social relationships in networks organised on the basis of a symmetric 'friendship' relation, providing a precise language for exploring 'logic in the community' [11]. Agents are placed in the model, allowing us to express such indexical fac...
Conference Paper
To characterize the structures and reason about strategies of extensivegames,much work has been done to provide the logical systems for such games. These logic systems focus on various perspectives of extensive games: (Harrenstein et al., 2003) concentrated on describing equilibrium concepts and strategic reasoning. (van Benthem, 2002) used dynamic...
Article
This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well-known Hansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two-level approac...
Article
Full-text available
The special issue of Minds & Machines explores interfaces of logic with artificial intelligence (AI) and other disciplines, providing information about the developing landscape of logic and AI in China. The contributors to this special issue are associated with computer science, AI, philosophy, and linguistics, and they are united by their interest...
Article
Full-text available
In this paper, we first propose a simple formal language to specify types of agents in terms of necessary conditions for their announcements. Based on this language, types of agents are treated as ‘first-class citizens’ and studied extensively in various dynamic epistemic frameworks which are suitable for reasoning about knowledge and agent types v...
Conference Paper
We propose a novel approach to preference change. We treat a set of preferences as a special kind of theory, and define minimal change contraction and revision operations in the spirit of minimal change as advocated by the Alchourron, Gardenfors, and Makinson (AGM) theory of belief revision. We characterise minimal contraction of preference sets by...
Article
This paper looks at deontic logic as resulting from both a betterness ordering on states (i.e., a `deontic preference') and a priority ordering on properties (i.e., a `law' explicitly representing a standard of behavior). The correspondence between these two orderings oers a rich perspective from which to look at deontic scenarios and puzzles, and...
Conference Paper
With the emerging microbloging and social networking platforms, interests become more and more important for user-driven Web applications. Nevertheless, there is no specific logical system that can be directly used to describe human interests and relevant inference rules. In this paper, we introduce the interest logic. We give a formal language to...
Conference Paper
Imperatives occur ubiquitously in our social communications. In real life we often get conflicting orders issued by different speakers whose authorities are ranked. We propose a new update semantics to interpret the meaning of imperatives with priorities and illustrate what changes they bring about in the addressee's cognitive state. The general pr...
Article
Full-text available
This paper proposes a two-level modeling perspective which combines intrinsic ‘betterness’ and reason-based extrinsic preference, and develops its static and dynamic logic in tandem. Our technical results extend, integrate, and re-interpret earlier theorems on preference representation and update in the literature on preference change. KeywordsPre...
Chapter
In this chapter, we will change the atmosphere of our topics and our logical methods a bit: Worlds will make place for objects, modal logic for first-order logic, and there will be differences in style as well. Eventually, however, all will fit back into one uniform paradigm for this book.
Article
Deontic logic is the logical study of normative concepts such as obligation, prohibition, permission and commitment. As we will see in this chapter, it is a very natural setting for with preference logic, both in its static versions (cf. [96, 183]) and in terms of the new dynamic systems of this book [48].
Article
In this chapter, we resume the issue of “entanglement” of preference and information-based notions like knowledge and belief, that we have studied already in Chapter 5. How does this play when preference comes with richer priority structure? To plunge right in, let us consider a variation of Example 7.1: Alice is going to buy a house. For her there...
Article
In the preceding two chapters, a rich notion of priority-based preference has been studied in stable situations. Various ways of deriving preferences from a priority sequence have been proposed, both under complete and under incomplete information. In this chapter we take up one of the main themes of this book, and address the dynamics of changes i...
Article
Our main focus in this book has been the representation of preferences of one agent, their entanglement with informational attitudes like beliefs, and the various events that dynamically change these informational and evaluative attitudes. But like all aspects of agency, such single steps are the building blocks for something larger, viz. interacti...
Article
The notion of preference arises from comparisons of alternatives. To formalize such comparisons and study them, there are two ways to go. We can represent preference in terms of qualitative binary relations, as we did in our modeling in Chapter 3, following a long logical tradition ([83, 100, 122] and [92]). Or we can introduce a utility or evaluat...
Article
Preferences arise from comparisons between alternatives, say, outcomes, actions, or situations. Such a comparison is typically associated with some ordering, indicating that one alternative is “better” than another. For instance, when playing chess or other games, choosing a move π1 instead of π2 is determined largely by a consideration concerning...
Article
Many of the meaningful scenarios where preference occurs have a mixed character. For instance, in making rational decisions, an agent does not just take her preferences into account, but also what she knows or believes about the outcomes of her actions. And in rational social decisions, she will also factor in what she knows about the preferences o...
Chapter
This book has presented a uniform logical theory of preference, drawing together ideas from several areas: modal logics of betterness relations, dynamic epistemic logics of information change, and priority-based systems of representing structured relations. Our chapters have added successive components of this theory, showing how it can be develope...
Chapter
In the preceding chapter, we have introduced a logical framework for static preference. Continuing on this platform, our main concern in this chapter is the dynamics of preference change. Our preferences are modified constantly through commands of moral authorities, suggestions from friends who give good advice, or just changes in our own evaluatio...
Conference Paper
Communities consist of individuals bounds together by social relationships and roles. Within communities, individuals reason about each other's beliefs, knowledge and preferences. Knowledge, belief, preferences and even the social relationships are constantly changing, and yet our ability to keep track of these changes is an important part of what...
Book
Preface.- Part I Introduction.- 1. Introduction.- Part II Dynamics of Information.- 2. Dynamic Epistemic Logic.- Part III Preference over Worlds.- 3. Preference over Worlds: Static Logic.- 4. Preference over Worlds: Dynamic Logic.- 5. Entanglement of Preference, Knowledge and Belief.- 6. Intermezzo: A Quantitative Approach.- Part IV Preference from...
Conference Paper
Full-text available
This paper looks at deontic logic as resulting from both a betterness ordering on states (i.e., a ‘deontic preference’) and a priority ordering on properties (i.e., a ‘law’ explicitly representing a standard of behavior). The correspondence between these two orderings offers a rich perspective from which to look at deontic scenarios and puzzles, an...
Conference Paper
This paper looks at deontic logic as resulting from both a betterness ordering on states (i.e., a 'deontic preference') and a priority ordering on properties (i.e., a 'law' explicitly representing a standard of behavior). The correspondence between these two orderings offers a rich perspective from which to look at deontic scenarios and puzzles, an...
Article
Full-text available
Preference is a key area where analytic philosophy meets philosophical logic. I start with two related issues: reasons for preference, and changes in prefer-ence, first mentioned in von Wright's book The Logic of Preference but not thoroughly explored there. I show how these two issues can be handled together in one dynamic logical framework, worki...
Article
This chapter generalizes the dynamic epistemic analy- sis of information flow to deontic logic and normative reasoning, an area where agents’ evaluation of worlds or outcomes is essential. The relevant dynamics is taken from current logics of preference structure and preference change. These logics are presented in two versions, one with a primitiv...
Article
Full-text available
SOCREAL 2010: 2nd International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2010-03-27/28. Keynote Lecture 2
Chapter
Full-text available
In this paper we consider preference over objects. We show how this preference can be derived from priorities, properties of these objects, a concept which is initially from optimality theory. We do this both in the case when an agent has complete information and in the case when an agent only has beliefs about the properties. After the single agen...
Article
Full-text available
Diversity of agents occurs naturally in epistemic logic, and dynamic logics of in- formation update and belief revision. We provide a systematic discussion of different sources of diversity, such as introspection ability, powers of observation, memory ca- pacity, and revision policies, and we show how these can be encoded in dynamic epistemic logic...
Article
Full-text available
In this paper we present a quantitative semantic of preference in terms of evalu-ation functions. A new language with propositional constants is proposed and it turns out to be both concise and expressive. Moreover, such a quantitative perspective suggests a different way to deal with preference changes when processing new information. We follow th...
Article
Full-text available
We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematic...
Article
Full-text available
The paper is an exploration of the old Chinese texts called the Mohist Canons from a modern logical perspective. We mainly explain what the Mohists have contributed to logic in the following aspects: Theory on names, structures of propositions, pat- terns of reasoning, and theories on disputation and paradoxes. A comparative perspective is taken th...
Article
Full-text available
The notion of preference occurs across many areas, including the philosophy of action, decision theory, optimality theory, and game theory. In these settings, individual preferences between worlds or actions can be used to predict behavior by rational agents. In a more abstract sense, the notion of preference also occurs in conditional logic, non-m...
Article
Full-text available
The paper is an exploration of the old Chinese texts called the the Mohist Canons from a modern logical perspective. We explain what the Mohists have contributed to logic, while we also provide some new interpretations of the issues discussed in the Canons.
Article
Full-text available
We define preference in terms of a constraint sequence, a concept from optimality theory. In case agents only have incomplete information, beliefs are introduced. We propose three definitions to describe different procedures agents may follow to get a preference relation using the incomplete information. Changes of preference are explored w.r.t the...
Article
Diversity of agents is investigated in the context of standa rd epistemic logic, dynamic information update, and belief revision. We provide a systematic discussion of different sources of diversities, such as introspection ability, powers of observation, memory capacity, and revision policies. In each case, we show how this diversity can be encode...
Article
Full-text available
Dynamic Variations: Update and Revision for Diverse Agents Fenrong Liu Abstract: This thesis is concerned with developing the plausibility logic, incorporating bounded rationality into it. We propose variations for updating belief plausibility that allow for diversity of agents, investigate the dramatic difference between agents with `the best memo...
Article
Full-text available
characterization of product update Consider a tree-like structure with possible events (or actions) and uncertainty relations among its nodes, which can also verify atomic propositions p, q, ... The only contrast with a real tree is that we allow a bottom level with multiple roots. Nodes X, Y, ... are at the same time finite sequences of events, an...
Article
Full-text available
Incoming information not only changes our knowledge but also our preferences. Decisions are made according to the preferences, which are eventually based on our evaluations of the options. In this paper, we will explore the ways new information affects our evaluations to see how this results in a preference change. A qualitative investigation was u...
Article
Full-text available
We make a proposal for formalizing simultaneous games at the abstraction level of player's powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of 'concurrent game logic' CDGL with respect to finite non-determined games. We also show how this system raises new mathe- mat...
Article
Full-text available
Imperatives occur ubiquitously in natural languages. They produce forces which change the addressee's cognitive state and regulate her actions accordingly. In real life we often receive conflicting orders, typically, issued by various authorities with different ranks. A new update se-mantics is proposed in this paper to for-malize this idea. The ge...

Network

Cited By

Projects

Project (1)
Project
study social relations from logical point of view, in the context of social networks where agents are connected and they revise their beliefs when recieving new information