Welcome to the Java Programming Forums

The professional, friendly Java community. 21,500 members and growing!

The Java Programming Forums are a community of Java programmers from all around the World. Our members have a wide range of skills and they all have one thing in common: A passion to learn and code Java. We invite beginner Java programmers right through to Java professionals to post here and share your knowledge. Become a part of the community, help others, expand your knowledge of Java and enjoy talking with like minded people. Registration is quick and best of all free. We look forward to meeting you.


Members have full access to the forums. Advertisements are removed for registered users.

Results 1 to 2 of 2

Thread: How I implement a reasoner for a logical knowledge base?

  1. #1
    Junior Member
    Join Date
    Feb 2019
    Thanked 0 Times in 0 Posts

    Default How I implement a reasoner for a logical knowledge base?

    Hello. I have as theme for a project to implement a reasoning algorithm that perform operations over a knowledge base constituted of facts, rules and negative constraints. The main goal of the system is to apply the set of rules on the facts to perform the deduction of all implicit knowledge. How do I implement this in an OO language? I thought of the idea to represent the logical KR formalisms (facts, rules, constraints) as classes in my system, and he knowledge base is constituted of 3 collections of objects of these classes. Then I must create the necessary algorithm to process these collections in order to perform the desired inference process. Is this idea correct? I personally do not see other way to make these operations over a logical knowledge base, other than this what I thought of. Or is there a special framework in Java for working with rules that I can use for my system, in order not to implement my structure of classes and collections? But I personally doubt about that. The only framework I know is Jess, but it is for other purposes. Many thanks!

  2. #2
    Super Moderator Norm's Avatar
    Join Date
    May 2010
    Eastern Florida
    Thanked 2,407 Times in 2,360 Posts

    Default Re: How I implement a reasoner for a logical knowledge base?

    Also posted at: https://www.dreamincode.net/forums/t...nowlwdge-base/
    If you don't understand my answer, don't ignore it, ask a question.

Similar Threads

  1. Replies: 4
    Last Post: July 18th, 2014, 02:04 AM
  2. Replies: 1
    Last Post: July 16th, 2014, 04:16 AM
  3. How much knowledge should I have to create a 2d game
    By SauronWatchesYou in forum Java Theory & Questions
    Replies: 2
    Last Post: April 14th, 2014, 04:53 PM
  4. Replies: 2
    Last Post: May 28th, 2012, 01:49 PM