• Publications
  • Influence
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
The authors investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated, and basic properties of these functions are established. Expand
Conceptual spaces - the geometry of thought
Peter Gardenfors's theory of conceptual spaces presents a framework for representing information on the conceptual level and shows how conceptual spaces can serve as an explanatory framework for a number of empirical theories, in particular those concerning concept formation, induction, and semantics. Expand
Revisions of Knowledge Systems Using Epistemic Entrenchment
A representation theorem is proved which says that a revision method for a knowledge system satisfies the set of rationality postulates, if and only if, there exists an ordering of epistemic entrenchment satisfying the appropriate constraints such that this ordering determines the retraction priority of the facts of the knowledge system. Expand
The Geometry of Meaning: Semantics Based on Conceptual Spaces
In The Geometry of Meaning, Peter Gardenfors proposes a theory of semantics that bridges cognitive science and linguistics and shows how theories of cognitive processes, in particular conceptExpand
Nonmonotonic Inference Based on Expectations
It is shown how nonmonotonic inferences may elegantly be interpreted in terms of underlying expectations, and it is shown that by using the notion of expectation, one can unify the treatment of the theory of belief revision and that of nonMonotonic inference relations. Expand
On the logic of theory change: Partial meet contraction and revision functions
This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course ofExpand
Knowledge in Flux: Modeling the Dynamics of Epistemic States
Knowledge in Flux presents a theory of rational changes of belief, focusing particularly on revisions that occur when the agent receives new information that is inconsistent with the presentExpand
Match making: Assignments based on bilateral preferences
The stable marriage problem, i.e., the problem of assigning the members of two disjoint sets to one another is extended to the case in which individual preferences are represented by weak orderingsExpand