Skip to content
conftrace_
2019 IJCAI IJCAI 2019

An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic

Abstract

Intuitionistic Propositional Logic is complete w.r.t. Kripke semantics: if a formula is not intuitionistically valid, then there exists a finite Kripke model falsifying it. The problem of obtaining concise models has been scarcely investigated in the literature. We present a procedure to generate minimal models in the number of worlds relying on Answer Set Programming (ASP).

Authors

Camillo Fiorentini

Topics

Machine Learning > Optimization & Theory > Optimization

Keywords

answer set programming model generation minimal model intuitionistic logic kripke semantics counterexample generation intuitionistic propositional logic minimal model generation countermodel generation
Download PDF

More from IJCAI 2019

All IJCAI 2019 papers →
Measuring the Likelihood of Numerical Constraints
From Statistical Transportability to Estimating the Effect of Stochastic Interventions
Answer Set Programming for Judgment Aggregation
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?
Aggressive Driving Saves More Time? Multi-task Learning for Customized Travel Time Estimation
Approximating Integer Solution Counting via Space Quantification for Linear Constraints