9,174 Hits in 5.7 sec

Page 8102 of Mathematical Reviews Vol. , Issue 98M [page]

1998 Mathematical Reviews  
classification in description logic systems.  ...  One such task is classification in description logic-based knowl- edge representation systems. Description logic systems provide a formalism for expressing knowledge based on concepts and roles.  ... 

Page 3879 of Mathematical Reviews Vol. , Issue 83i [page]

1983 Mathematical Reviews  
On the basis of the method proposed we have developed an automated system for constructing optimal classifications.  ...  Omodeo, Eugenio G. 83i:68142 The linked conjunct method for automatic deduction and related search techniques. Comput. Math. Appl. 8 (1982), no. 3, 185-203.  ... 

Intelligent Decision Support Algorithm Based on Self-Adaption Reasoning

Guomin Chen, Yingwei Jin, Huili Wang, Shuo Cao
2017 International Journal of Computers Communications & Control  
This paper analyzes the logic deduction and reasoning techniques usedin several intelligent decision support algorithms, and proposes a flexible planningmethod GARIv using fuzzy descriptive logic in media  ...  Combinedwith experiments, the above methods are illustrated in terms of effectivenessand feasibility.  ...  In various fusion transformations planning, the logical deduction and reasoning techniques are used, more or less. The planning of the first class predicate logic is the source of these phenomena.  ... 
doi:10.15837/ijccc.2017.6.2898 fatcat:akxn557reffwpai6uivmpj5l44

A Semantic Reasoning Method Towards Ontological Model for Automated Learning Analysis [chapter]

Kingsley Okoye, Abdel-Rahman H. Tawil, Usman Naeem, Elyes Lamine
2015 Advances in Intelligent Systems and Computing  
Inductive reasoning is practically applied in order to discover sets of inferred learner categories, while deductive approach is used to prove and enhance the discovered rules and logic expressions.  ...  The approach is grounded on inductive and deductive logic descriptions that allows the use of a Reasoner to check that all definitions within the learning model are consistent and can also recognise which  ...  Future work will focus on applying process mining techniques to provide better support for automated learning systems by means of semantic reasoning.  ... 
doi:10.1007/978-3-319-27400-3_5 fatcat:nitduqmuendotn4dccr7ymw3ni

The RatioLog Project: Rational Extensions of Logical Reasoning

Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
2015 Künstliche Intelligenz  
The RatioLog project addresses the problem of rational reasoning in deep question answering by methods from automated deduction and cognitive computing.  ...  In a second phase, an automated theorem prover tries to verify the answer candidates on the basis of their logical representations.  ...  Nowadays automated deduction techniques are successfully applied in hard-and software verification and many other areas (for an overview see [2] ).  ... 
doi:10.1007/s13218-015-0377-9 fatcat:w6mqqrmhmnerzjircnw4ktodwa

Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371)

Jasmin Christian Blanchette, Carsten Fuhs, Viorica Sofronie-Stokkermans, Cesare Tinelli, Marc Herbstritt
2018 Dagstuhl Reports  
Much research in the past two decades was dedicated to automating first-order logic with equality. However, applications often need reasoning beyond this logic.  ...  The aim of the seminar was to bring together first-order automated reasoning experts and researchers working on deduction methods and tools that go beyond first-order logic.  ...  We discussed different abstractions and refinement strategies for reasoning with large first-order theories.  ... 
doi:10.4230/dagrep.7.9.26 dblp:journals/dagstuhl-reports/BlanchetteFST17 fatcat:yfc3wk2fwngc3i2dmjwrz3gsgi

Page 5553 of Mathematical Reviews Vol. , Issue 95i [page]

1995 Mathematical Reviews  
ISBN 2-7261-0716-8 Automated deduction is a challenging subject even for classical (propositional or first-order) logics.  ...  The deduction techniques applied are paramodulation, back demodulation and weight functions on functors for search control.  ... 

Comparison of a Deductive Database with a Semantic Web reasoning engine

Simone A. Ludwig
2010 Knowledge-Based Systems  
For each system a knowledge base is implemented in such a way that a fair comparison can be achieved.  ...  problems in domains that ordinarily require human logical reasoning.  ...  Furthermore, gratefully acknowledged are Christoph Quix and Manfred Jeusfeld for their helpful comments Feasibility and expressiveness Allows for creation of subclasses and instances of classes, but also  ... 
doi:10.1016/j.knosys.2010.04.005 fatcat:f5snnhes2zdq5hlfyhhwvxihxq

PASER: a curricula synthesis system based on automated problem solving

Dimitris Vrakas, Grigorios Tsoumakas, Fotis Kokkoras, Nick Bassiliades, Ioannis Vlahavas, Dimosthenis Anagnostopoulos
2007 International Journal of Teaching and Case Studies  
This paper presents PASER, a system for automatically synthesizing curricula using AI Planning and Machine Learning techniques on an ontology of educational resources metadata.  ...  The system uses an automated planner, which given the initial state of the problem (learner's profile, preferences, needs and abilities), the available actions (study an educational resource, take an exam  ...  The learning resources are represented in the knowledge level, in terms of prerequisites and knowledge supplied, in order to enable the use of automated reasoning techniques.  ... 
doi:10.1504/ijtcs.2007.014217 fatcat:6pr7wtphr5fqnbuykkqiwjcnvu

Page 5706 of Mathematical Reviews Vol. , Issue 89J [page]

1989 Mathematical Reviews  
Nevertheless, it has been solved quite handily by several automated-deduction systems. We use the problem to illustrate  ...  Summary: “In 1978, Lenhart Schubert presented the following problem (which came to be known as Schubert’s Steamroller) as a challenge to automated-deduction systems: “Wolves, foxes, birds, caterpillars  ... 

Verifying Service Choreography Model Based on Description Logic

Minggang Yu, Zhixue Wang, Xiaoxing Niu
2016 Mathematical Problems in Engineering  
Based on the framework, a set of rules and constraints are defined in Description Logic for choreography model verification.  ...  The paper presents a new approach of choreography model verification based on Description Logic.  ...  He et al. [24] presented a method of UML behavioral model verification based on Description Logic system.  ... 
doi:10.1155/2016/8947157 fatcat:tz5jji7wdjhdtblpa6segvywqm

The Influence Factors of Inherent Structure in e-LearningProcess

2011 International Journal of e-Education, e-Business, e-Management and e-Learning  
Symbolic logic representation and analytical learning technique are used to diagnose design flaw problems in simple way and to extrapolate patterned rules for complex flaws.  ...  The methodology is validated by detecting design flaws in an open-source system. The results show expected precision and false positive.  ...  The process of unification is mechanized in programs which perform automated reasoning. PROLOG is used as an automated reasoning system in this paper.  ... 
doi:10.7763/ijeeee.2011.v1.34 fatcat:kp3cu2xs4vgtfoapawwdkl2j4a

Towards Automatic Synthesis of Educational Resources Through Automated Planning [chapter]

Dimitris Vrakas, Fotis Kokkoras, Nick Bassiliades, Ioannis Vlahavas
2006 Lecture Notes in Computer Science  
The system under development, called PASER (Planner for the Automatic Synthesis of Educational Resources), uses an automated planner, which given the initial state of the problem (learner's profile, preferences  ...  This paper reports on the results of an ongoing project for the development of a platform for e-Learning, which automatically constructs curricula based on available educational resources and the learners  ...  The learning resources are represented in the knowledge level, in terms of prerequisites and knowledge supplied, in order to enable the use of automated reasoning techniques.  ... 
doi:10.1007/11752912_42 fatcat:jemtmreey5gatmxz4hyc37i2v4

Expert system applications in marine technologies

Sebnem Helvacioglu, Mustafa Insel
2008 Ocean Engineering  
Hence, a number of expert system applications in marine vehicles are examined in detail to understand the sate of the art in this paper.  ...  Related tools, methods and subjects are discussed to evaluate the advantages and disadvantages in this discipline for the future developments.  ...  The knowledge-base for ship power system automation is extracted from classification societies, shipping companies and shipyards.  ... 
doi:10.1016/j.oceaneng.2008.05.004 fatcat:kcb3qtv3dnfk3daflesr4twyxy

Page 5276 of Mathematical Reviews Vol. , Issue 86k [page]

1986 Mathematical Reviews  
Author summary: “Unification in equational theories, that is, solving equations in varieties, is of special relevance to automated deduction.  ...  This paper describes a theorem-proving procedure for first-order logic with equality which combines the approach of locking reso- lution with that of term-rewriting systems.  ... 
« Previous Showing results 1 — 15 out of 9,174 results