加载中…
2008-08-22
Reactive preferential structures and nonmonotonic consequence
Dov GabbayKarl Schlechta
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本