REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE

DOI10.1017/S1755020309090248MaRDI QIDQ3395334zbMATH OpenFDO

Authors Dov Gabbay, K. Schlechta

Publication date 26 August 2009

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0808.3075

zbMATH Keywords

nonmonotonic reasoningdefeasible inferencereactive structurespreferential consequence

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Abstract: We introduce information bearing systems (IBRS) as an abstraction of many logical systems. We define a general semantics for IBRS, and show that IBRS generalize in a natural way preferential semantics and solve open representation problems.

Recommendations

• Introducing reactive modal tableaux
• Reactive Kripke semantics
• Nonmonotonic reasoning, preferential models and cumulative logics
• Two theories of nonmonotonic reasoning
• Defeasible inheritance systems and reactive diagrams

Cites work

• Nonmonotonic reasoning, preferential models and cumulative logics
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday
• Reactive Kripke Models and Contrary to Duty Obligations
• Roadmap for preferential logics
• Saturation, nonmonotonic reasoning and the closed-world assumption

Cited in

(9)

• Independence -- revision and defaults
• Reactive automata
• Defeasible inheritance systems and reactive diagrams
• Modal logics of reactive frames
• Cumulativity without closure of the domain under finite unions
• Human rationality challenges universal logic
• Completeness theorems for reactive modal logics
• Global view on reactivity: switch graphs and their logics
• Introducing reactive modal tableaux

This page was built for publication: REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3395334)