This paper presents a parameterized reasoning approach with uncertainty based on a lattice-valued logic system. In this uncertain reasoning approach, some parameters are used to represent uncertainty arising from different sources, which is a common phenomenon in rule-based systems. In our system, reasoning with different parameter values means reasoning with different levels of belief and cons...

Generalisation is a key feature of learning algebra, requiring all four proficiency strands the Australian Curriculum: Mathematics (AC:M): Understanding, Fluency, Problem Solving and Reasoning. From review literature, we propose progression for algebraic generalisation consisting five levels. Our then elaborated validated by reference to large range assessment tasks acquired from previous proje...

in his recognition of being and achievement of truth, man has two instruments in his constitution and two ways before him: intellect and heart; reasoning and intuition. some have opted the way of reasoning and underestimated intuition because of its lack of reasoning, and some have preferred intuition over reasoning because of its being presential (intuitive). with their research on philosophy ...

In this paper we consider Description Logics (DLs), which are logics for managing structured knowledge, with a well-known fuzzy extension to deal with vague information. While for fuzzy DLs ad-hoc, tableaux-like reasoning procedures have been given in the literature, the topic of this paper is to present a reasoning preserving transformation of fuzzy DLs into classical DLs. This has the conside...

Practical scalability of reasoning is an important premise for the adoption of semantic technologies in a real-world setting. Many highly effective optimizations for reasoning with expressive OWL ontologies have been invented and implemented over the last decades. This paper describes our approach for concurrent computation of the nondeterministic choices inherent to the OWL tableau reasoning p...

In this paper we discuss an often neglected component of robot reasoning and decision making, which is temporal reasoning. We provide a practical system for temporal reasoning within the framework of production systems and show its application to robot problems. illustrate the use of the temporal production system for that purpose. 2 Temporal Production System In the proposed system the product...

—In this talk we describe the OWL reasoning landscape and its obstacles. We overview the three tractable OWL fragments and discuss dramatic speed improvements achieved by corresponding specialized reasoners. Furthermore, various combinations of OWL constructors and their impact on practical reasoning performance are analyzed. In the last part we give a brief overview of promising approaches to ...

Reasoning Algebräıcally with Description Logics Jocelyne Faddoul, Ph.D. Concordia University, 2011 Semantic Web applications based on the Web Ontology Language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or even classes. Some of these cardinalities are specified explicitly, but quite a few are entailed and need to be discove...

Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a unique, underlying engine to be reused for multiple automated reasoning tasks in intelligent agents and systems. We identify six key requirements for such platform: expressive task modeling language, rapid solving method...