Premium
Interference logic = conditional logic + frame axiom
Author(s) -
del Cerro Luis Fariñas,
Herzig Andreas
Publication year - 1994
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.4550090107
Subject(s) - axiom , frame (networking) , computer science , basis (linear algebra) , mathematics , rule of inference , interference (communication) , algorithm , calculus (dental) , mathematical economics , theoretical computer science , artificial intelligence , telecommunications , geometry , medicine , computer network , channel (broadcasting) , dentistry
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 natural way some of the problems appearing in the model based approach to change. © 1994 John Wiley & Sons, Inc.