We investigate the notion of relevance as it pertains to ‘commonsense’, subjunctive conditionals. Relevance is taken here as a relation between a property (such as having a broken wing) and a conditional (such as birds typically fly). Specifically, we explore a notion of ‘causative’ relevance, distinct from ‘evidential’ relevance found, for example, in probabilistic approaches. A series of postulates characterising a minimal, parsimonious concept of relevance is developed. Along the way we argue that no purely logical account of relevance (even (...) at the metalevel) is possible. Finally, and with minimal restrictions, an explicit definition that agrees with the postulates is given. (shrink)

The contributions to the Special Issue on Multiple Belief Change, Iterated Belief Change and Preference Aggregation are divided into three parts. Four contributions are grouped under the heading "multiple belief change" (Part I, with authors M. Falappa, E. Fermé, G. Kern-Isberner, P. Peppas, M. Reis, and G. Simari), five contributions under the heading "iterated belief change" (Part II, with authors G. Bonanno, S.O. Hansson, A. Nayak, M. Orgun, R. Ramachandran, H. Rott, and E. Weydert). These papers do not only pick (...) up the particular questions raised, but also extend and modify the framework of Alchourrón, Gärdenfors and Makinson. Part III deals with preference aggregation and consists of one contribution (by F. Herzberg and D. Eckert). (shrink)

This paper describes an approach for reasoning in a dynamic domain with nondeterministic actions in which an agent’s beliefs correspond to the simplest, or most plausible, course of events consistent with the agent’s observations and beliefs. The account is based on an epistemic extension of the situation calculus, a first-order theory of reasoning about action that accommodates sensing actions. In particular, the account is based on a qualitative theory of nondeterminism. Our position is that for commonsense reasoning, the world is (...) most usefully regarded as deterministic, and that nondeterminism is an epistemic phenomenon, arising from an agent’s limited awareness and perception. The account offers several advantages: an agent has a set of categorical beliefs, yet can deal with equally-likely outcomes or with outcomes of differing plausibility. The agent maintains as its set of contingent beliefs the most plausible, or simplest, picture of the world, consistent with its beliefs and actions it believes it executed; yet it may modify these in light of later information. (shrink)

In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to provide an update operator that is intuitive, in that its definition is based on a recursive decomposition of the update sentence’s structure, and that may be reasonably implemented. In addressing update, we first provide a definition phrased in terms of the models of a knowledge base. While this operator (...) satisfies a core group of the benchmark Katsuno Mendelzon update postulates, not all of the postulates are satisfied. Other Katsuno Mendelzon postulates can be obtained by suitably restricting the syntactic form of the sentence for update, as we show. In restricting the syntactic form of the sentence for update, we also obtain a hierarchy of update operators with Winslett’s standard semantics as the most basic interesting approach captured. We subsequently give an algorithm which captures this approach; in the general case the algorithm is exponential, but with some not unreasonable assumptions we obtain an algorithm that is linear in the size of the knowledge base. Hence the resulting approach has much better complexity characteristics than other operators in some situations. We also explore other compositional belief change operators: erasure is developed as a dual operator to update; we show that a forget operator is definable in terms of update; and we give a definition of the compositional revision operator. We obtain that compositional revision, under the most natural definition, yields the Satoh revision operator. (shrink)

One of the standard principles of rationality guiding traditional accounts of belief change is the principle of minimal change: a reasoner's belief corpus should be modified in a minimal fashion when assimilating new information. This rationality principle has stood belief change in good stead. However, it does not deal properly with all belief change scenarios. We introduce a novel account of belief change motivated by one of Grice's maxims of conversational implicature: the reasoner's belief corpus is modified in a minimal (...) fashion to assimilate exactly the new information. In this form of belief change, when the reasoner revises by new information p ∨ q their belief corpus is modified so that p∨q is believed but stronger propositions like p∧q are not, no matter what beliefs are in the reasoner's initial corpus. We term this conservative belief change since the revised belief corpus is a conservative extension of the original belief corpus given the new information. (shrink)

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 papers of the (...) 1988 special issue give a good indication of major themes of research at the time: reasoning about belief and knowledge [5], tractable logical reasoning [10], nonmonotonicity [11], and reasoning about action [13]. These topics can be considered to be centrally in KR; the current issue then also serves to indicate how the field has broadened and evolved over the last 25 years.Traditionally the area of Knowledge Representation has been seen as “the field of study concerned w .. (shrink)

Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such extensions is carried out at the meta-level. In this paper, we show how such reasoning may be carried out at the object level for a large class of default theories. Essentially we show how one can translate a default theory Δ, obtaining a second Δ', such that Δ has a single extension that encodes every extension of _. (...) Moreover, our translated theory is only a constant factor larger than the original. We prove that our translation behaves correctly. In the approach we can now encode the notion of extension from within the framework of standard default logic. Hence one can encode notions such as skeptical and credulous conclusions, and can reason about such conclusions within a single extension. This result has some theoretical interest, in that it shows how multiple extensions of semi-monotonic default theories are encodable with manageable overhead in a single extension. (shrink)