Sciweavers

FUIN
2007
123views more  FUIN 2007»
13 years 4 months ago
Analysis of Approximate Petri Nets by Means of Occurrence Graphs
Abstract. Approximate Petri nets (AP-nets) can be used for the knowledge representation and approximate reasoning. The AP-net model is deļ¬ned on the basis of the rough set approa...
Zbigniew Suraj, Barbara Fryc
FUIN
2006
160views more  FUIN 2006»
13 years 4 months ago
Behavioral Pattern Identification Through Rough Set Modeling
This paper introduces an approach to behavioral pattern identification as a part of a study of temporal patterns in complex dynamical systems. Rough set theory introduced by Zdzisl...
Jan G. Bazan
CORR
2010
Springer
67views Education» more  CORR 2010»
13 years 4 months ago
Similarity-based Reasoning in Qualified Logic Programming
Similarity-based Logic Programming (briefly, SLP) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval a...
Rafael Caballero, Mario Rodríguez-Artalejo,...
KR
2000
Springer
13 years 8 months ago
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
Alan Verberne, Frank van Harmelen, Annette ten Tei...
CSL
2001
Springer
13 years 9 months ago
A Logic for Approximate First-Order Reasoning
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ļ...
Frédéric Koriche
RSEISP
2007
Springer
13 years 10 months ago
Rough Sets and Approximation Schemes
Abstract. Approximate reasoning is used in a variety of reasoning tasks in Logicbased Artiļ¬cial Intelligence. In this abstract we compare a number of such reasoning schemes and s...
Victor W. Marek, Miroslaw Truszczynski