An overview of transaction logic
AJ Bonner, M Kifer - Theoretical Computer Science, 1994 - Elsevier
This paper presents an overview of Transaction Logic—a new formalism recently introduced
in Bonner and Kifer (1992, 1993) and designed to deal with the phenomenon of state …
in Bonner and Kifer (1992, 1993) and designed to deal with the phenomenon of state …
[图书][B] Foundations of databases
S Abiteboul, R Hull, V Vianu - 1995 - sigmod.org
This database theory book provides a focused presentation of the core material on relational
databases, and presents a number of advanced topics in a unified framework. Some of the …
databases, and presents a number of advanced topics in a unified framework. Some of the …
[图书][B] Belief revision
P Gärdenfors - 2003 - books.google.com
Belief revision is a topic of much interest in theoretical computer science and logic, and it
forms a central problem in research into artificial intelligence. In simple terms: how do you …
forms a central problem in research into artificial intelligence. In simple terms: how do you …
[PDF][PDF] Revisions of knowledge systems using epistemic entrenchment
P Gärdenfors, D Makinson - Proceedings of the 2nd conference on …, 1988 - tark.org
ABSTRACT A major problem for knowledge representation is how to revise a knowledge
system in the light of new information that is inconsistent with what is already in the system …
system in the light of new information that is inconsistent with what is already in the system …
Dynamic logic for belief revision
J Van Benthem - Journal of applied non-classical logics, 2007 - Taylor & Francis
We show how belief revision can be treated systematically in the format of dynamicepistemic
logic, when operators of conditional belief are added. The core engine consists of definable …
logic, when operators of conditional belief are added. The core engine consists of definable …
[图书][B] Reasoning about action using a possible models approach
MS Winslett - 1988 - cdn.aaai.org
Ginsberg and Smith [6, 71 propose a new method for reasoning about action, which they
term a possible worlds approach (P WA). The PWA is au elegant, simple, and potentially …
term a possible worlds approach (P WA). The PWA is au elegant, simple, and potentially …
On the complexity of propositional knowledge base revision, updates, and counterfactuals
We study the complexity of several recently proposed methods for updating or revising
propositional knowledge bases. In particular, we derive complexity results for the following …
propositional knowledge bases. In particular, we derive complexity results for the following …
[图书][B] Change, choice and inference: A study of belief revision and nonmonotonic reasoning
H Rott - 2001 - books.google.com
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 …
understanding of adaptable human reasoning and for the design of intelligent systems. The …
[PDF][PDF] Reasoning and revision in hybrid representation systems
B Nebel - 1990 - publikationen.sulb.uni-saarland.de
¦ § C@'G9 $ 6E8© k 4 2! k&P 8 3D5 m9 $36 UQ 6@'zR#"! o# 6 V" $'&1 D&© Q34 $ VG V&#"
E¢ $ 6E8" U% G0) efXxDiuh0rop r4© Q& § Ï"!# A 2" $9&# 6@¥ m9 $36 UQ 6@ 9z4 v D …
E¢ $ 6E8" U% G0) efXxDiuh0rop r4© Q& § Ï"!# A 2" $9&# 6@¥ m9 $36 UQ 6@ 9z4 v D …
Combining multiple knowledge bases
Combining knowledge present in multiple knowledge base systems into a single knowledge
base is discussed. A knowledge based system can be considered an extension of a …
base is discussed. A knowledge based system can be considered an extension of a …