Deductive and Inductive Stream Reasoning for Semantic Social Media Analytics
نویسندگان
چکیده
منابع مشابه
Relations between inductive reasoning and deductive reasoning.
One of the most important open questions in reasoning research is how inductive reasoning and deductive reasoning are related. In an effort to address this question, we applied methods and concepts from memory research. We used 2 experiments to examine the effects of logical validity and premise-conclusion similarity on evaluation of arguments. Experiment 1 showed 2 dissociations: For a common ...
متن کاملAbductive, Inductive and Deductive Reasoning about Resources
We describe a method for reasoning about programs that uses a mixture of abductive, inductive and deductive inference. It allows us to synthesize a pre/post spec for a program procedure, without requiring any information about the procedure’s calling context. The method can be used to obtain partial specifications for portions of large code bases in the millions of lines of code. The method beg...
متن کاملIntegrating Inductive and Deductive Reasoning for Database Mining
Database mining is the process of finding previously unknown rules and relations in large databases. Often, several database mining techniques must be used cooperatively in a single application. In this paper we present the Recon database mining framework, which integrates three database mining techniques: rule induction, rule deduction, and data visualization.
متن کاملDeductive and Inductive Reasoning on Spatio-Temporal Data
We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deductive and inductive capabilities. It can be exploited for a deductive rule-based approach to represent domain knowledge on data. Furthermore it is well suited to model trajectories of moving objects, which can be analysed by using ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Intelligent Systems
سال: 2010
ISSN: 1541-1672
DOI: 10.1109/mis.2010.142