Karl Schlechta, Jürgen Dix  Home/Search
Context
Related
| umd.edu/users/dix/tcs2.ps unikoblenz.de/~dix/Papers/tcs2.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: umd.edu/users/dix/pub_journals (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Human reasoning about developments of the world involves always an assumption of inertia. We discuss two approaches for formalizing such an assumption, based on the concept of an explanation: (1) there is a general preference relation given on the set of all explanations, (2) there is a notion of a distance between models and explanations are preferred if their sum of distances is minimal. We show exactly under which conditions the converse is true as well and therefore both approaches are... (Update)
Similar documents (at the sentence level):
37.5%: Explaining Updates by Minimal Sums - Schlechta, Dix (2000) (Correct)
Active bibliography (related documents): More All
0.1: Nonmonotonic Logics and Semantics - Lehmann (2000) (Correct)
0.1: Filters and Partial Orders - Schlechta (1997) (Correct)
0.1: Preferred History Semantics for Iterated Updates - Berger, Lehmann, Schlechta (1999) (Correct)
Similar documents based on text: More All
0.3: A Classification Theory of Semantics of Normal Logic Programs: II.. - Dix (1995) (Correct)
0.2: Characterizations of the Disjunctive Stable. . . - Brass, Dix (1997) (Correct)
0.2: Towards Well-Behaved Semantics Suitable for Aggregation - Dix, Osorio (1997) (Correct)
BibTeX entry: (Update)
@article{ schlechta01explaining,
author = "Karl Schlechta and J{\"u}rgen Dix",
title = "Explaining updates by minimal sums",
journal = "Theoretical Computer Science",
volume = "266",
number = "1--2",
pages = "819--838",
year = "2001",
url = "citeseer.ist.psu.edu/article/schlechta99explaining.html" }
Citations (may not include all citations):256 Representing Actions and Change by Logic Programs - Gelfond, Lifschitz - 1993
224 Preferential Models and Cumulative Logics (context) - Kraus, Lehmann et al. - 1990
199 Reasoning about action using a possible models approach (context) - Winslett - 1988
175 Nonmonotonic Logic and Temporal Projection (context) - Hanks, McDermott - 1987
120 Investigations into a theory of knowledge bases revisions - Dalal - 1988
42 Nonmonotonic Reasoning: An Overview (context) - Brewka, Dix et al. - 1997
23 Reasoning about persistence: A theory of actions (context) - Zhang, Foo - 1993
17 Sometimes updates are circumscription (context) - Winslett - 1989
11 Theorie der einfachen Ungleichungen (context) - Farkas - 1902
7 Preferential choice representation theorems for branching ti.. (context) - Schlechta - 1995
3 Distance semantics for belief revision (context) - Daniel, Karl - 1999
3 topology and integration (context) - Schlechta - 1995
2 Institut des Sciences Cognitives (context) - Schlechta, for et al. - 1997
Documents on the same site (http://www.cs.umd.edu/users/dix/pub_journals.html):
Computation of the Semantics of Autoepistemic Belief.. - Stefan Brass, Jürgen.. (1999) (Correct)
On the Equivalence of the Static and Disjunctive.. - Stefan Brass.. (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC