Expressing machine-interpretable statements in the form of subject-predicate-object triples
is a well-established practice for capturing semantics of structured data. However, the …

Abstract The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David
Makinson (AGM),“On the Logic of Theory Change: Partial Meet Contraction and Revision …

A concise and lucid exposition of the major topics in knowledge representation, from two of
the leading authorities in the field.-Stuart Russell, UC Berkeley The information is valuable …

The semantics of revising knowledge bases represented by sets of propositional sentences
is analyzed from a model-theoretic point of view. A characterization of all revision schemes …

This book argues that definite descriptions ('the table','the King of France') refer to
individuals, as Gottlob Frege claimed. This apparently simple conclusion flies in the face of …

Belief Revision Page 1 Belief Revision Peter Gärdenfors and Hans Rott Contents 1
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.1 The problem of belief revision: An example …

Ontologies play a key role in the advent of the Semantic Web. An important problem when
dealing with ontologies is the modification of an existing ontology in response to a certain …

Change, Choice and Inference develops logical theories that are necessary both for the
understanding of adaptable human reasoning and for the design of intelligent systems. The …

The paper analyses which features of an agent architecture determine its Autonomy. I claim
that Autonomy is a relational concept. First, Autonomy from environment (stimuli) is …

(Conversely, if we define Cn (X){={A: XA), then Cn satisfies Cl to C3, given that F satisfies TI
to T3.) I shall write X/A (" X expanded by A") as an abbreviation for Cn (X v {A}). A second …