A Simple Parallel Reasoning System for the $\mathcal{ALC}$ Description Logic

2009 ◽  
pp. 413-424 ◽  
Author(s):  
Adam Meissner
Keyword(s):  
Description Logic ◽  
Reasoning System ◽  
Parallel Reasoning

scholarly journals Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic

2011 ◽  
Vol 21 (1) ◽  
pp. 83-95 ◽  
Author(s):  
Adam Meissner
Keyword(s):  
Parallel Processing ◽  
Experimental Analysis ◽  
Description Logic ◽  
Programming Model ◽  
Test Bed ◽  
Inference Process ◽  
Reasoning System ◽  
Inference Algorithms ◽  
Soundness And Completeness ◽  
Parallel Reasoning

Experimental analysis of some computation rules in a simple parallel reasoning system for theALCdescription logicA computation rule determines the order of selecting premises during an inference process. In this paper we empirically analyse three particular computation rules in a tableau-based, parallel reasoning system for theALCdescription logic, which is built in the relational programming model in the Oz language. The system is constructed in the lean deduction style, namely, it has the form of a small program containing only basic mechanisms, which assure soundness and completeness of reasoning. In consequence, the system can act as a convenient test-bed for comparing various inference algorithms and their elements. We take advantage of this property and evaluate the studied methods of selecting premises with regard to their efficiency and speedup, which can be obtained by parallel processing.

scholarly journals Development of an Ontology for the Automatic Reconfiguration of a Vise-Type Fixture Device

2011 ◽  
Author(s):  
Thomas Gmeiner ◽  
Kristina Shea
Keyword(s):  
Manufacturing Systems ◽  
Description Logic ◽  
Fixture Design ◽  
Reconfigurable Manufacturing ◽  
Cnc Milling ◽  
Reasoning System ◽  
Cnc Milling Machine ◽  
Key Factor ◽  
Formal Level ◽  
Future Work

The need for reconfigurable manufacturing systems has long been recognized as a key factor to gain the necessary flexibility for economically producing customized products. Automation of the reconfiguration processes is a challenge both on the hardware and the software level. Addressing this issue in the field of fixture design, a new reconfigurable fixture device for a CNC milling machine has been developed. The developed vise contains interchangeable jaws enabling the secure fixture of a wide variety of workpiece geometries. To enable automated reconfiguration, a reasoning system is needed that can determine feasible fixture configurations based on the given workpiece and part as well as the available fixture components. In this paper, an ontology for representing fixture design and reconfiguration knowledge for a specific reconfigurable vise-type fixture is introduced. The creation of the ontology is based on a systematic building methodology to identify necessary concepts, attributes and relations within the domain. Using Description Logic as the representation formalism, core concept definitions and relations are formalized to evaluate the correctness and consistency of the ontology. The ontology is validated both on the informal and on the formal level by its ability to find feasible fixture configurations, i.e. appropriate jaw pairs to fix example workpieces. The paper concludes with a discussion of the results and future work.

Dual systems for all: Higher-order, role-based relational reasoning as a uniquely derived feature of human cognition

2019 ◽  
Vol 42 ◽  
Author(s):  
Daniel J. Povinelli ◽  
Gabrielle C. Glorioso ◽  
Shannon L. Kuznar ◽  
Mateja Pavlic
Keyword(s):  
Temporal Reasoning ◽  
Higher Order ◽  
Important Case ◽  
Human Cognition ◽  
Relational Reasoning ◽  
Dual Systems ◽  
First Order ◽  
Reasoning System ◽  
Role Based

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

DECISION-MAKING ON INVESTMENT OF IT-INNOVATION BASED ON FUZZY EXPERT INFORMATION

2018 ◽  
pp. 103-111
Author(s):  
Olga Olegovna Eremenko ◽  
Lyubov Borisovna Aminul ◽  
Elena Vitalievna Chertina
Keyword(s):  
Decision Making ◽  
Individual Characteristics ◽  
Production Model ◽  
Investment Management ◽  
It Projects ◽  
Product Model ◽  
Project Cost ◽  
Reasoning System ◽  
Managerial Decisions ◽  
The Individual

The subject of the research is the process of making managerial decisions for innovative IT projects investing. The paper focuses on the new approach to decision making on investing innovative IT projects using expert survey in a fuzzy reasoning system. As input information, expert estimates of projects have been aggregated into six indicators having a linguistic description of the individual characteristics of the project type "high", "medium", and "low". The task of decision making investing has been formalized and the term-set of the output variable Des has been defined: to invest 50-75% of the project cost; to invest 20-50% of the project cost; to invest 10-20% of the project cost; to send the project for revision; to turn down investing project. The fuzzy product model of making investment management decisions has been developed; it adequately describes the process of investment management. The expediency of using constructed production model on a practical example is shown.

Deciding Query Entailment for Fuzzy Description Logic Knowledge Bases：The f-SH Family

2012 ◽  
Vol 35 (4) ◽  
pp. 767-785
Author(s):  
Jing-Wei CHENG ◽  
Zong-Min MA ◽  
Li YAN ◽  
Fu ZHANG
Keyword(s):  
Description Logic ◽  
Fuzzy Description
Sign in / Sign up

Export Citation Format

Share Document