Rough set reasoning using answer set programs

DOI10.1016/J.IJAR.2020.12.010MaRDI QIDQ2237125zbMATH OpenOpenAlexFDO

Authors Patrick Doherty, Andrzej Szałas

Publication date 27 October 2021

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.ijar.2020.12.010

zbMATH Keywords

answer set programmingapproximate reasoningknowledge representationrough sets

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• A rough set approach to reasoning under uncertainty
• scientific article; zbMATH DE number 1983082
• scientific article; zbMATH DE number 1931926
• scientific article; zbMATH DE number 1927351
• Fuzzy answer sets approximations

Cites work

• A corresponding framework between three-valued logics and similarity-based approximate reasoning
• A logic for default reasoning
• ASSAT: computing answer sets of a logic program by SAT solvers
• Extending and implementing the stable model semantics
• scientific article; zbMATH DE number 1670573 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 53312 (Why is no real title available?)
• scientific article; zbMATH DE number 108581 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 1453071 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 972613 (Why is no real title available?)
• Incomplete information: Structure, inference, complexity
• Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
• Knowledge representation techniques. A rough set approach.
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Orthopairs: a simple and widely used way to model uncertainty
• Rough set approach to incomplete information systems
• Rough sets
• Rough Sets and Current Trends in Computing
• Rough sets. Mathematical foundations
• Rudiments of rough sets
• Sound and efficient closed-world reasoning for planning
• Stability, supportedness, minimality and Kleene answer set programs
• The DLV system for knowledge representation and reasoning
• Three-valued logics, uncertainty management and rough sets

Cited in

(7)

• Many-valued dynamic object-oriented inheritance and approximations
• scientific article; zbMATH DE number 1983082 (Why is no real title available?)
• scientific article; zbMATH DE number 1748451 (Why is no real title available?)
• A rough set approach to reasoning under uncertainty
• A Framework for Reasoning with Rough Sets
• scientific article; zbMATH DE number 2222702 (Why is no real title available?)
• A landscape and implementation framework for probabilistic rough sets using \textsc{ProbLog}

Describes a project that uses

Uses Software

• ASPTools
• ASSAT
• DLV
• clasp
• Cmodels

This page was built for publication: Rough set reasoning using answer set programs

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