INTERFERENCE LOGI NUMBER CONDITIONAL LOGIC PLUS FRAME AXIOM

Authors
DELCERRO LF HERZIG A
Citation
Lf. Delcerro et A. Herzig, INTERFERENCE LOGI NUMBER CONDITIONAL LOGIC PLUS FRAME AXIOM, International journal of intelligent systems, 9(1), 1994, pp. 119-130
Citations number
18
Categorie Soggetti
System Science","Controlo Theory & Cybernetics","Computer Sciences, Special Topics","Computer Science Artificial Intelligence
Journal title
International journal of intelligent systems → ACNP
ISSN journal
08848173
Volume
9
Issue
1
Year of publication
1994
Pages
119 - 130
Database
ISI
SICI code
0884-8173(1994)9:1<119:ILNCLP>2.0.ZU;2-Z
Abstract
We investigate the notion of interference between formulas as a basis for change operations. Such a notion permits us to enrich conditional logics with a frame axiom. This new logic allows us to solve in a natu ral way some of the problems appearing in the model based approach to change. (C) 1994 John Wiley & Sons, Inc.