Dynamic tractable reasoning: a modular approach to belief revision
Auteur :
Andreas, Holger
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030362355
Date de publication :
28 mars 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
By means of a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Andreas then builds on these analyses to construct a novel logic of tractable reasoning he calls frame logic, together with a novel belief revision scheme that is tractable for frame logic.