flora-users Mailing List for Flora-2

Brought to you by: kifer

flora-users — General discussions about FLORA

You can subscribe to this list here.

2002	Jan	Feb	Mar	Apr (2)	May	Jun (1)	Jul (7)	Aug	Sep (2)	Oct (2)	Nov	Dec (2)
2003	Jan (1)	Feb (2)	Mar (4)	Apr (4)	May (10)	Jun (10)	Jul	Aug	Sep	Oct (1)	Nov (2)	Dec (9)
2004	Jan (7)	Feb (25)	Mar (23)	Apr (4)	May (11)	Jun (10)	Jul (12)	Aug	Sep (19)	Oct (23)	Nov (7)	Dec (7)
2005	Jan (4)	Feb (10)	Mar (12)	Apr (10)	May (23)	Jun (18)	Jul (9)	Aug (9)	Sep (25)	Oct (15)	Nov (27)	Dec (11)
2006	Jan (3)	Feb (5)	Mar (8)	Apr (9)	May (26)	Jun (9)	Jul (3)	Aug (4)	Sep (19)	Oct (12)	Nov (6)	Dec (13)
2007	Jan (16)	Feb (17)	Mar (9)	Apr (35)	May (9)	Jun (5)	Jul (10)	Aug (32)	Sep (18)	Oct (47)	Nov (70)	Dec (27)
2008	Jan (3)	Feb (14)	Mar (33)	Apr (22)	May (20)	Jun (18)	Jul (21)	Aug	Sep	Oct	Nov	Dec (1)
2009	Jan	Feb (2)	Mar (1)	Apr	May	Jun (1)	Jul	Aug	Sep	Oct	Nov (4)	Dec (19)
2010	Jan	Feb (1)	Mar	Apr	May	Jun	Jul	Aug	Sep	Oct	Nov	Dec
2011	Jan	Feb	Mar	Apr	May	Jun (2)	Jul	Aug (7)	Sep (1)	Oct	Nov	Dec
2012	Jan	Feb	Mar (4)	Apr	May (7)	Jun (8)	Jul (7)	Aug (20)	Sep (1)	Oct (1)	Nov	Dec
2013	Jan	Feb	Mar	Apr (7)	May (2)	Jun (20)	Jul (1)	Aug	Sep	Oct (3)	Nov (2)	Dec (1)
2014	Jan (5)	Feb (4)	Mar (2)	Apr	May	Jun	Jul (7)	Aug (2)	Sep	Oct (5)	Nov	Dec (17)
2015	Jan	Feb	Mar (2)	Apr	May	Jun (8)	Jul (8)	Aug (1)	Sep (2)	Oct (1)	Nov	Dec
2016	Jan	Feb	Mar (2)	Apr	May	Jun (2)	Jul (1)	Aug	Sep	Oct	Nov	Dec
2017	Jan (16)	Feb (1)	Mar (22)	Apr (7)	May (13)	Jun (7)	Jul (6)	Aug (15)	Sep (1)	Oct	Nov	Dec
2018	Jan	Feb (5)	Mar	Apr (14)	May	Jun (2)	Jul	Aug	Sep	Oct (5)	Nov (15)	Dec
2021	Jan (1)	Feb	Mar	Apr	May	Jun	Jul	Aug	Sep	Oct	Nov	Dec
2023	Jan	Feb	Mar	Apr	May (2)	Jun	Jul	Aug	Sep	Oct	Nov	Dec

Flat | Threaded

1 2 3 .. 36 > >> (Page 1 of 36)

Re: [Flora-users] Open source release of ErgoAI

From: Marc H. <ma...@vi...> - 2023-05-02 18:50:51

Huzzah!

================
Marc C. Hadfield
ma...@vi...



On Tue, May 2, 2023 at 2:43 PM Michael Kifer via Flora-users <
flo...@li...> wrote:

> Coherent Knowledge Systems (http://coherentknowledge.com/)  is happy to
> announce the first open-source release of its
>
> flagship ErgoAI (https://github.com/ErgoAI) software, an advanced  tool
> for enterprise knowledge representation and reasoning (KRR).
>
> ErgoAI greatly extends the well-known open-source Flora-2 system
> (https://flora.sourceforge.net/) and, with this release,
>
> Flora-2 as a distinct system is being retired. ErgoAI is a best-of-breed
> system for logical AI, that is based on fundamental research advances.
>
> It has been used to develop applications in a number of commercial and
> government organizations. It shines at decision analytics & automation
>
> tasks in financial, legal, defense, and other domains, such as
> compliance with policies, regulations, contracts, and guidance,
>
> where knowledge is complex, high accuracy is crucial, and good
> explainability is required.
>
> ErgoAI is highly composable with other AI and non-AI systems, and has
> connectors to major programming languages and data formats,
>
> including Python, knowledge graphs, and many others.
> One can install ErgoAI most simply by using its automatic installers for
> the latest official stable release
> (https://github.com/ErgoAI/.github/releases). Or install the system and
> its source code by cloning the Github repositories and compiling the
> sources https://github.com/ErgoAI#installing-ergoai-from-the-sources).
> ErgoAI comes with extensive documentation, tutorials, and examples.
> Please see https://github.com/ErgoAI for more details.
>
> Please join our discussion forum at
> https://groups.google.com/a/coherentknowledge.com/g/ergoai-xsb-forum and
>
> give ErgoAI a Github star (at https://github.com/ErgoAI/ErgoEngine).
>
>
>
> _______________________________________________
> Flora-users mailing list
> Flo...@li...
> https://lists.sourceforge.net/lists/listinfo/flora-users
>

[Flora-users] Open source release of ErgoAI

From: Michael K. <ki...@cs...> - 2023-05-02 18:43:17

Coherent Knowledge Systems (http://coherentknowledge.com/)  is happy to 
announce the first open-source release of its

flagship ErgoAI (https://github.com/ErgoAI) software, an advanced  tool 
for enterprise knowledge representation and reasoning (KRR).

ErgoAI greatly extends the well-known open-source Flora-2 system 
(https://flora.sourceforge.net/) and, with this release,

Flora-2 as a distinct system is being retired. ErgoAI is a best-of-breed 
system for logical AI, that is based on fundamental research advances.

It has been used to develop applications in a number of commercial and 
government organizations. It shines at decision analytics & automation

tasks in financial, legal, defense, and other domains, such as 
compliance with policies, regulations, contracts, and guidance,

where knowledge is complex, high accuracy is crucial, and good 
explainability is required.

ErgoAI is highly composable with other AI and non-AI systems, and has 
connectors to major programming languages and data formats,

including Python, knowledge graphs, and many others.
One can install ErgoAI most simply by using its automatic installers for 
the latest official stable release 
(https://github.com/ErgoAI/.github/releases). Or install the system and 
its source code by cloning the Github repositories and compiling the 
sources https://github.com/ErgoAI#installing-ergoai-from-the-sources). 
ErgoAI comes with extensive documentation, tutorials, and examples. 
Please see https://github.com/ErgoAI for more details.

Please join our discussion forum at 
https://groups.google.com/a/coherentknowledge.com/g/ergoai-xsb-forum and

give ErgoAI a Github star (at https://github.com/ErgoAI/ErgoEngine).

[Flora-users] Flora-2 and ErgoAI 2.1-RC1 (Release Candidate 1)

From: Michael K. <ki...@cs...> - 2021-01-01 02:13:15

<html style="direction: ltr;">
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
    <style id="bidiui-paragraph-margins" type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style>
  </head>
  <body bidimailui-charset-is-forced="true" style="direction: ltr;">
    <p>Dear Flora-2 users:</p>
    <p><br>
    </p>
    <p>After a long development cycle, we are approaching the
      anticipated release of Flora-2 and ErgoAI 2.1.  Meanwhile, to give
      you an early experience of the improvements and enhancements in
      the forthcoming version, we decided to first roll out a Release
      Candidate, 2.1-RC1.<br>
      <br>
      Among the new features, ErgoAI has interfaces to C and MiniZinc, a
      powerful constraint solving framework, plus other smaller
      extensions and many bug fixes. Flora-2 has a subset of these new
      features. See
      <a class="moz-txt-link-freetext" href="http://flora.sourceforge.net/release_notes.html#release">http://flora.sourceforge.net/release_notes.html#release</a>.<br>
      <br>
      The updated manuals can be found at Coherent.com and
      flora.sourceforge.net, respectively.</p>
    <p>For software downloads, please see</p>
    <blockquote>
      <p><a class="moz-txt-link-freetext" href="http://flora.sourceforge.net/">http://flora.sourceforge.net/</a><br>
      </p>
      <p><a class="moz-txt-link-freetext" href="http://coherentknowledge.com/free-trial/">http://coherentknowledge.com/free-trial/</a><br>
      </p>
    </blockquote>
    <p><br>
    </p>
    <p>If you are using Flora-2 and like it, consider writing a review
      and giving it a few stars at the Sourceforge portal:
      <a class="moz-txt-link-freetext" href="https://sourceforge.net/projects/flora/">https://sourceforge.net/projects/flora/</a>.</p>
    <p><br>
    </p>
    <p><br>
      Enjoy and have a happy, healthy, and productive new year. </p>
    <p><br>
    </p>
    <p><br>
      --<br>
      <br>
      Michael Kifer</p>
    <p><br>
    </p>
  </body>
</html>

[Flora-users] Can Flora-2 be an effective core technology for CAS-like systems?

From: Dmitry P. <dpo...@gm...> - 2018-11-15 05:25:08

Good Day

Can Flora-2 be an effective core technology for implementing computer
algebra system?
Maybe not productive and high efficiency, but more universal and rigid.

https://www.quora.com/Does-any-tutorial-exist-on-the-basics-of-writing-computer-algebra-system-in-Python-not-libraries-only-hardcore-coding-from-scratch

------------------------------
With best regards, Dmitry Ponyatov, Icbcom, IoT/embedded engineer, tel. +7
917 10 10 818

[Flora-users] new user forum for Flora-2, Ergo, XSB

From: Michael K. <ki...@cs...> - 2018-11-14 05:24:12

<html style="direction: ltr;">
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
    <style type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style>
  </head>
  <body bidimailui-charset-is-forced="true" style="direction: ltr;"
    text="#000000" bgcolor="#FFFFFF">
    <p>Dear Flora-2 user:</p>
    <p><br>
    </p>
    <p>We are happy to announce a new user forum to replace the aging
      <a class="moz-txt-link-abbreviated" href="mailto:flo...@li...">flo...@li...</a> mailing list:<br>
    </p>
    <p><a class="moz-txt-link-freetext" href="https://groups.google.com/a/coherentknowledge.com/forum/#!forum/ergoai-flora2-xsb-forum">https://groups.google.com/a/coherentknowledge.com/forum/#!forum/ergoai-flora2-xsb-forum</a></p>
    <p><br>
    </p>
    <p>This forum is intended to unify discussions on Flora-2, Ergo and,
      to an extent, XSB, as many issues concerning one are related to
      the others.</p>
    <p><br>
    </p>
    <p>The old flora-users list, hosted by Sourceforge, was just too
      inadequate. Its archives are  not capable of handling HTML
      messages, they are not easily searchable, poorly organized, and
      the overall setup was too clumsy.  We will be phasing it out.</p>
    <p><br>
    </p>
    <p>As with the old list, anybody can browse the archives of the new
      forum, but to post one has to register (to prevent spam). You can
      post via the above web site or by email.</p>
    <p><br>
    </p>
    <p>Enjoy the new forum and please register! <br>
      <br>
      --<br>
      <br>
             best,<br>
                 --- michael<br>
      <br>
      <br>
    </p>
  </body>
</html>

Re: [Flora-users] Syntax/Feature issue?

From: Michael K. <ki...@cs...> - 2018-11-11 01:36:45

<html style="direction: ltr;">
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
    <style type="text/css">body p { margin-bottom: 0cm; margin-top: 0pt; } </style>
  </head>
  <body bidimailui-charset-is-forced="true" style="direction: ltr;"
    text="#000000" bgcolor="#FFFFFF">
    <p><br>
    </p>
    <div class="moz-cite-prefix">On 11/10/18 6:01 PM, Rangarajan
      Krishnamoorthy wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:779...@mm...">
      <pre class="moz-quote-pre" wrap="">Michael,

Continuing this example, I have the following statements in the file “Reification.flr”:

John[believes -&gt; ${Mary[likes -&gt; Sally]}].
John[believes -&gt; ${Bob[likes -&gt; ?X] :- Mary[likes -&gt; ?X]}].
John[believes -&gt; ?A] :- John[believes -&gt; {${?Head :- ?Body}, ?Body}].


// Query: John[believes -&gt; ${Bob[likes -&gt; Sally]}]. — (1)
// Query: John[believes -&gt; ${Bob[likes -&gt; Nancy]}]. — (2)


When I load this file into Flora-2 session, I get some warnings about “unsafe” / “singleton” variables. I ignore them. </pre>
    </blockquote>
    <p><br>
    </p>
    <p>In general, one should not ignore them and use _Var to silence
      the warnings after examining them. In this particular case, one of
      these warnings actually caught a typo:  ?A should have been
      ?Head!!<br>
    </p>
    <p><br>
    </p>
    <blockquote type="cite"
      cite="mid:779...@mm...">
      <pre class="moz-quote-pre" wrap="">Based on the discussion in the paper that I had referenced in my earlier email, I assumed that the query marked (1) should return “Yes”, whereas (2) should return “No”. However, Flora-2 returns “Yes” for both the queries. How is that?</pre>
    </blockquote>
    <p><br>
    </p>
    <p>That's because of the above typo in the last rule.</p>
    <p><br>
    </p>
    <blockquote type="cite"
      cite="mid:779...@mm...">
      <pre class="moz-quote-pre" wrap="">Also, I don’t understand the use of the variable “?A” in the third rule.</pre>
    </blockquote>
    <p><br>
    </p>
    <p>See above.</p>
    <p><br>
    </p>
    <p>That said, the rules should have been like this:<br>
    </p>
    <p><br>
    </p>
    <p>John[believes-&gt; ${Bob[likes-&gt;?_X] :- Mary[likes-&gt;?_X]}].<br>
      John[believes-&gt; ${Mary[likes-&gt;Sally]}].<br>
      <br>
      John[believes-&gt; ?A] :-<br>
          <font color="#993300">// block John[believes-&gt; ${A :- B}]
        from matching the head of this rule</font><br>
          <font color="#3333ff">?A != ${?_H :- ?_B},</font><br>
          John[believes-&gt; {${?A :- ?B}, ?B}].<br>
    </p>
    <p><br>
    </p>
    <p>The highlighted part is important: it prevents an infinite
      structural recursion, as mentioned in the comment. <br>
      <br>
      --<br>
      <br>
             --- michael<br>
      <br>
      <br>
    </p>
    <p><br>
    </p>
    <p><br>
    </p>
    <blockquote type="cite"
      cite="mid:779...@mm...">
      <pre class="moz-quote-pre" wrap="">

 — Rangarajan

</pre>
      <blockquote type="cite">
        <pre class="moz-quote-pre" wrap="">On 09-Nov-2018, at 10:31 AM, Michael Kifer <a class="moz-txt-link-rfc2396E" href="mailto:ki...@cs...">&lt;ki...@cs...&gt;</a> wrote:

Do you mean this?

John[believes-&gt;?A]  :- John[believes-&gt;{${?Head:-?Body},?Body}].

It is a rule, but you are apparently using this sentence as a query (on command prompt?).

Otherwise it is allowed (when used as a rule).

--

       --- michael




On 11/8/18 11:44 PM, Rangarajan Krishnamoorthy wrote:
</pre>
        <blockquote type="cite">
          <pre class="moz-quote-pre" wrap="">Hi,
In the paper “Nonmonotonic Reasoning in Flora-2” by Michael Kifer that appeared in LNCS 2005, there is a nice example of Reification (Page 4). However, the item numbered (3) is not accepted in my current Flora-2 (Windows version). I get a Parser error: “embedded :- is not allowed in rule head or body”.

Am I missing anything?

Regards,
Rangarajan

_______________________________________________
Flora-users mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Flo...@li...">Flo...@li...</a>
<a class="moz-txt-link-freetext" href="https://lists.sourceforge.net/lists/listinfo/flora-users">https://lists.sourceforge.net/lists/listinfo/flora-users</a>
</pre>
        </blockquote>
        <pre class="moz-quote-pre" wrap="">

_______________________________________________
Flora-users mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Flo...@li...">Flo...@li...</a>
<a class="moz-txt-link-freetext" href="https://lists.sourceforge.net/lists/listinfo/flora-users">https://lists.sourceforge.net/lists/listinfo/flora-users</a>
</pre>
      </blockquote>
      <pre class="moz-quote-pre" wrap="">


_______________________________________________
Flora-users mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Flo...@li...">Flo...@li...</a>
<a class="moz-txt-link-freetext" href="https://lists.sourceforge.net/lists/listinfo/flora-users">https://lists.sourceforge.net/lists/listinfo/flora-users</a>
</pre>
    </blockquote>
  </body>
</html>

Re: [Flora-users] Syntax/Feature issue?

From: Rangarajan K. <ra...@mm...> - 2018-11-10 23:02:20

Michael,

Continuing this example, I have the following statements in the file “Reification.flr”:

John[believes -> ${Mary[likes -> Sally]}].
John[believes -> ${Bob[likes -> ?X] :- Mary[likes -> ?X]}].
John[believes -> ?A] :- John[believes -> {${?Head :- ?Body}, ?Body}].


// Query: John[believes -> ${Bob[likes -> Sally]}]. — (1)
// Query: John[believes -> ${Bob[likes -> Nancy]}]. — (2)


When I load this file into Flora-2 session, I get some warnings about “unsafe” / “singleton” variables. I ignore them. 

Based on the discussion in the paper that I had referenced in my earlier email, I assumed that the query marked (1) should return “Yes”, whereas (2) should return “No”. However, Flora-2 returns “Yes” for both the queries. How is that?

Also, I don’t understand the use of the variable “?A” in the third rule.

 — Rangarajan

> On 09-Nov-2018, at 10:31 AM, Michael Kifer <ki...@cs...> wrote:
> 
> Do you mean this?
> 
> John[believes->?A]  :- John[believes->{${?Head:-?Body},?Body}].
> 
> It is a rule, but you are apparently using this sentence as a query (on command prompt?).
> 
> Otherwise it is allowed (when used as a rule).
> 
> --
> 
>        --- michael
> 
> 
> 
> 
> On 11/8/18 11:44 PM, Rangarajan Krishnamoorthy wrote:
>> Hi,
>> In the paper “Nonmonotonic Reasoning in Flora-2” by Michael Kifer that appeared in LNCS 2005, there is a nice example of Reification (Page 4). However, the item numbered (3) is not accepted in my current Flora-2 (Windows version). I get a Parser error: “embedded :- is not allowed in rule head or body”.
>> 
>> Am I missing anything?
>> 
>> Regards,
>> Rangarajan
>> 
>> _______________________________________________
>> Flora-users mailing list
>> Flo...@li...
>> https://lists.sourceforge.net/lists/listinfo/flora-users
> 
> 
> _______________________________________________
> Flora-users mailing list
> Flo...@li...
> https://lists.sourceforge.net/lists/listinfo/flora-users