The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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. ...
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. ...
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
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 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  ). ...doi:10.1007/s13218-015-0377-9 fatcat:w6mqqrmhmnerzjircnw4ktodwa
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
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. ...
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
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
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 ...
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.  presented a method of UML behavioral model verification based on Description Logic system. ...doi:10.1155/2016/8947157 fatcat:tz5jji7wdjhdtblpa6segvywqm
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
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
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
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