A review of the relations between logical argumentation and reasoning with maximal consistency
Annals of Mathematics and Artificial Intelligence, 2019•Springer
This is a survey of some recent results relating Dung-style semantics for different types of
logical argumentation frameworks and several forms of reasoning with maximally consistent
sets (MCS) of premises. The related formalsims are also examined with respect to some
rationality postulates and are carried on to corresponding proof systems for non-monotonic
reasoning.
logical argumentation frameworks and several forms of reasoning with maximally consistent
sets (MCS) of premises. The related formalsims are also examined with respect to some
rationality postulates and are carried on to corresponding proof systems for non-monotonic
reasoning.
Abstract
This is a survey of some recent results relating Dung-style semantics for different types of logical argumentation frameworks and several forms of reasoning with maximally consistent sets (MCS) of premises. The related formalsims are also examined with respect to some rationality postulates and are carried on to corresponding proof systems for non-monotonic reasoning.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果