Re: knowledge representation - rule based, first order logic

persres@xxxxxxxxxxxxxx wrote:
Hello everyone,
I am looking for a very powerful system for representing
knowledge using first order logic rules. Basically, a concept would be
represented by a set of rules (represented in first order logic).
There will be a rule based engine which would be able to do reasoning
on the knowledge base. I hope I am able to explain myself clearly
enough.

Are there any commercially/freely available systems out there that can
capture first order logic and also reasoning. I would prefer freely
available ones. Its for student projects.

I would like to give the system a set of first order triplets as
axioms and a set of deduction rules.
Given a theorem it should give a proof.

I need to do a prototype for some small domain like say, basic high
school algebra. I am hoping there are theorem proving systems or some
packages based on prolog etc which can help me do this in a few months
time.

Thanks for your help.

Here are some candidates...

http://sitemaker.umich.edu/soar/home

http://www.jessrules.com/jess/index.shtml

http://www.gnu.org/software/gprolog/gprolog.html

[ comp.ai is moderated ... your article may take a while to appear. ]
.

Relevant Pages

  • knowledge representation - rule based, first order logic
    ... I am looking for a very powerful system for representing ... represented by a set of rules (represented in first order logic). ... There will be a rule based engine which would be able to do reasoning ... I am hoping there are theorem proving systems or some ...
    (comp.ai)
  • adjective noun first order logic
    ... is the correct way of representing "old man John" in first order ... predicate calculus, later on this logic will be converted into Prolog ...
    (sci.logic)
  • Re: adjective noun predicate
    ... what is the correct way of representing these in first order ... current is a one place function symbol. ... time, year, and month are constant symbols ...
    (sci.logic)
  • Re: How to prove a categorical fallacy using predicate logic?
    ... Using first order predicate logic, how can you prove the invalidity of ... this line of reasoning: ... although I don't know if it is first order ...
    (sci.logic)
  • Re: How to prove a categorical fallacy using predicate logic?
    ... this line of reasoning: ... these two premises, but how do you prove it formally? ... a single counter-example is enough: ... although I don't know if it is first order ...
    (sci.logic)
Loading