Abstrakt. Trosrevisionen har studerats ingående inom ramen för förslagslogiken, men nyligen har revideringen inom fragment av förslagslogiken fått uppmärksamhet. Härigenom är det inte bara den uppfattning och den revideringsformel som ges inom ett visst språkfragment, utan också resultatet av revideringen måste placeras i samma fragment. Hittills har forskning i denna riktning huvudsakligen ägnats åt hornfragmentet av klassisk logik. I detta arbete presenterar vi en allmän strategi för att definiera nya översynsoperatörer som härrör från standardoperatörer (t.ex. Satohs och Dalals översynsoperatörer), så att resultatet av översynen förblir i det fragment som övervägs. Vårt tillvägagångssätt är inte begränsat till Hornfallet utan tillämpligt på alla fragment av propositionslogik där modellerna av formlerna stängs under en Boolesk funktion. På så sätt kan vi likformigt behandla fall som dual-Horn, Krom och affine formler, också.
Genom att gå bortom Hornfragmentet studerade REF revideringen av Krom, afffin och det dubbla Hornfragmentet av propositionslogik.
Belief revision within fragments of propositional logic
{'venue': 'Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}