InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions

InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions

Steven Kutsch, Christoph Beierle

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence
Demo Track. Pages 4996-4999. https://doi.org/10.24963/ijcai.2021/711

InfOCF-Web provides implementations of system P and system Z inference, and of inference relations based on c-representation with respect to various inference modes and different classes of minimal models. It has an easy-to-use online interface for computing ranking models of a conditional knowledge R, and for answering queries and comparing inference results of nonmonotonic inference relations induced by R.
Keywords:
Constraint Programming: General
Knowledge Representation and Reasoning: General
Uncertainty in AI: General