Interference logic = conditional logic + frame axiom | Zendy

del Cerro Luis Fariñas | Zendy; Herzig Andreas | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

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.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here

Accelerating Research