Sciweavers

1634 search results - page 16 / 327
» Reasoning about Knowledge Using Rough Sets
Sort
View
ATAL
2007
Springer
14 years 1 months ago
A framework for reasoning about rational agents
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
Wojciech Jamroga, Nils Bulling
APIN
2004
131views more  APIN 2004»
13 years 7 months ago
Rough Self Organizing Map
A rough self-organizing map (RSOM) with fuzzy discretization of feature space is described here. Discernibility reducts obtained using rough set theory are used to extract domain k...
Sankar K. Pal, Biswarup Dasgupta, Pabitra Mitra
COREGRID
2007
Springer
14 years 1 months ago
Adding metadata to Orc to support reasoning about grid programs
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
Marco Aldinucci, Marco Danelutto, Peter Kilpatrick
CPAIOR
2010
Springer
14 years 15 days ago
Constraint Reasoning with Uncertain Data Using CDF-Intervals
Interval coefficients have been introduced in OR and CP to specify uncertain data in order to provide reliable solutions to convex models. The output is generally a solution set, ...
Aya Saad, Carmen Gervet, Slim Abdennadher
IJAR
2006
241views more  IJAR 2006»
13 years 7 months ago
Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...
Isabelle Bloch