REASONING AND LOGIC
Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty
... spatial reasoning tasks. The combination of a temporal logic and qualitative spatial reasoning for run- time verification tasks is also related to the recent work by Nenzi et ...
8
Combining Natural Logic and Shallow Reasoning for Question Answering
... This requires a relatively large amount of infer- ence: the most natural atomic fact in the sentence is that ovaries produce eggs. These inferences are feasible in a limited domain, but become difficult the more ...
11
The complexity of reasoning for fragments of default logic
... default logic is one of the best known and most successful formalisms for modeling common-sense ...Default logic extends the usual logical (first-order or propositional) derivations by patterns for default ...
20
Reasoning about Knowledge in Linear Logic: Modalities and Complexity
... the logic of ’awareness’ ...structural logic: a sort of superstructure -one is tempted to say: epicycle- is then added to it within which one could talk about agents reasoning about knowledge without ...
24
fuzzy logic reasoning with uncertain information IT Magazine Jan 2002
... meaning as the original formula. Table 2 shows some of the equivalence laws, which hold in PL. It is easy to prove these laws, especially if you use the truth table. For our reasoning example, we need to prove ...
5
Reasoning about Dynamic Epistemic Logic
... Epistemic Logic (DEL) is a PDL-style logic [14] to reason about epistemic actions and updates in a multi-agent ...and reasoning about information- flow and information exchange between ...
10
Fuzzy Logic Reasoning System for Line Following Robot
... fuzzy logic has been used by many researchers for line tracing in mobile ...fuzzy logic controlled line following robot is described by Reuss and Lee ...fuzzy logic algorithm is used to move the ...
5
Reasoning in non-probabilistic uncertainty: logic programming and neural-symbolic computing as examples
... I/O logic proposed by Makinson and van der Torre [2000] with artificial neural networks (ANNs), applied to normative rea- soning tasks involving uncertainty introduced by changing norms over ...I/O logic ...
45
Diabetes Diagnosis by Case-Based Reasoning and Fuzzy Logic
... Case-based reasoning is a problem-solving paradigm which is based on past ...case-based reasoning. In this article, we integrate fuzzy logic and data mining to improve the response time and the ...
9
temporal logic representing and reasoning about change unpublished
... this reasoning in PL – we have somehow used a richer representation and reasoning mechanism that “works” with facts that change over ...this reasoning example, we do not know what the time is “now” ...
8
Diagrammatic reasoning and propositional logic
... which logic can be put in ...constructive reasoning using EG, then the “whole graph” approach will be adopted; there is simply no need to iterate the additional subgraphs, which add clutter without ...the ...
98
Rationality and the Reflective Mind by Keith E. Stanovich
... More useful still is the analysis of more than 60 of the various tests and measures of the major sub-concepts and of a variety of other medium-to-large-scale “dimen- sions of rationality” in Chapter 10 (co-written with ...
8
PP 2007 03: Logic and Reasoning: Do the Facts Matter?
... psychology, witness the chapter by Steedman in van Benthem & ter Meulen, eds., 1997 a handbook on Logic and Natural Language which borders on psychology at many places, or the work on 'n[r] ...
17
A Modal Temporal Logic for Reasoning about Change
... An equivalent firstorder theory to M in which each temporal proposition Ti is a first-order constant tl and Q is a monadic predicate, Q tl &...& Q tn, has the flrst-order completion axio[r] ...
6
Diagnostics as a Reasoning Process: From Logic Structure to Software Design
... to reasoning (inspired by the original work of Johnson et ...diagnostic reasoning has been studied to support the idea that a test has some intrinsic probability of revealing the property it has been ...
15
Problems in Testing Informal Logic Critical Thinking Reasoning Ability
... motivation is the perceived difficulties with the other types of validity, in particular the lack of a pre-established outside criterion with which to correlate the results of[r] ...
7
A logic for reasoning about knowledge of unawareness
... a logic in which such statements about knowledge of unawareness can be ...The logic extends the traditional framework with quantification over formulae, and is thus very ...decidable logic which can ...
22
Errors of Reasoning, Naturalizing the Logic of Inference
... should reasoning be excluded? There are heuristic procedures that, if followed, yield approximately correct results, results which may be the best we can ask of human ...such reasoning as inferior? Where is ...
32
Decidability, complexity and automated reasoning in relevant logic
... Meyer's original work on improved decision procedures for Relevant Logic which provides, at the same time, a commutative monoid semantics for some relevant systems and some unmatched ins[r] ...
187
Conference Reports
... syllogistic reasoning, which is often taught in non-symbolic logic courses can form a bridge between informal and for~l logic.. GettL~g them used to manipulating s[r] ...
7