Abstrakt. I detta dokument undersöker vi hur man ska företräda och resonera om legala upphävningar och annulleringar i Defeasible Logic. Vi undersöker några alternativ som inbäddas i denna miljö, och i liknande regelbaserade system, idéer från tro och basrevidering. I båda fallen är vår slutsats negativ, vilket tyder på att anta en annan logisk modell. Denna modell uttrycker tidsmässiga aspekter av rättsliga regler, och skiljer mellan två huvudsakliga tidslinjer, en intern till en given tidsmässig version av rättssystemet, och en annan i förhållande till hur rättssystemet utvecklas över tiden. Därför föreslår vi en tidsförlängning av Defeasible Logic som är lämplig för att uttrycka denna modell och för att fånga upp upphävande och ogiltigförklaring. Vi visar att den föreslagna ramen övervinner de svårigheter som diskuterats när det gäller tro och grundrevidering, och att den är tillräckligt flexibel för att representera många av de subtiliteter som kännetecknar rättsliga upphävanden och ogiltigförklaringar.
REF undersöker de rättsliga konsekvenserna av att tillämpa teorirevidering för att resonera om rättsliga upphävningar och annulleringar.
Changing legal systems: Legal abrogations and annulments in defeasible logic
{'venue': 'Logic Journal of the IGPL', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}