ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Rich Cooper" <rich@xxxxxxxxxxxxxxxxxxxxxx>
Date: Wed, 25 Jun 2014 09:23:53 -0700
Message-id: <064101cf9091$ddfb5f10$99f21d30$@englishlogickernel.com>

Dear Ed,

 

You wrote:

 

One can argue that neural network algorithms and genetic algorithms are somehow ‘creative’ in their approach. 

 

I would prefer to use the word “productive” in the sense that these algorithms try new twists and turns that the creative human doesn’t have time to try.  But the word “creative” has always been more artsy, more squishy, not the kind of property I would attribute to neural nets at all. 

 

Genetic algorithms I would still call just “productive”; the word  “creative” doesn’t fit in the sense that only compositions of previously known genes are being embedded in the evolved creature simulation. 

 

“Creative” is different from “productive” in that the creative outcome can’t be predicted by the algorithms, as the outcomes of neural nets can be. 

 

-Rich

 

Sincerely,

Rich Cooper

EnglishLogicKernel.com

Rich AT EnglishLogicKernel DOT com

9 4 9 \ 5 2 5 - 5 7 1 2

From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Barkmeyer, Edward J
Sent: Wednesday, June 25, 2014 8:18 AM
To: [ontolog-forum]
Subject: Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology

 

Robert,

 

Assuming we take production rules engines to be ‘syllogistic reasoners’, many of them are hybrids, in the sense that they allow arbitrary Java (or LISP or other favorite programming language) functions in the ‘conditions’ in the body of a rule:  H  <- F1(x), F2(x,y)

 

As Ali mentioned, there are hybrid FOL reasoners that have built-in or plug-in function libraries for mathematical functions and geometric reasoning, and many of the Bayesian reasoners are intrinsically some kind of hybrid.  All of these approaches are, however, intrinsically deductive in their approach.  They reason from data to the consequences of the data.  The extent to which those consequences are synthetic is controlled entirely by the programmer, with a little help from the knowledge modeler (who may be one and the same).  That is to say:  the “creative” part is done by the human who creates the AI engine.

 

One can argue that neural network algorithms and genetic algorithms are somehow ‘creative’ in their approach.  Similarly systems of autonomous agents that demonstrate ‘emergent behavior’ mirror social systems of a sort – the results are not analytically predictable from the inputs.

 

Finally, there are special-purpose ‘synthesis’ technologies that generate random sentences in some “domain language” and then use statistical classification algorithms to determine the “goodness” of the generated sentences (based on expert ratings of a known sample created by humans in the domain).  I am at a total loss for references, but there were several 1980s projects in “computational music composition” that used this approach.

 

AI is a very large field.  OWL and FOL ontologies are a small garden patch.  It just happens to have a few highly visible sunflowers these days.

 

-Ed

 

From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of rrovetto@xxxxxxxxxxx
Sent: Wednesday, June 25, 2014 10:50 AM
To: [ontolog-forum]
Subject: Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology

 

@Ali: Thank you. You make good points, as the other have. Wrt artificial reasoning, a hybrid or complementary reasoning system that uses non-fol and fol sounds appropriate and perhaps promising toward creativity-like and free-thinking (as you say) reasoning. Also the previous point about finding a place for fol or syllogistic logic. An unstated concern was over exclusively using a particular logic that is not enough, e.g., deduction, fol, syllogistic, to get the answers and results that the mind and scientific thought achieve. For example, many ontologies i've been exposed to use fol and I haven't seen more expressive or non-syllogstic/non-fol logics used therein. So I wonder. But if hybrid systems are making progress, great. If you have url's or pointers to some publications, i'd be curious. Thanks.

 

On Wed, Jun 25, 2014 at 10:32 AM, Ali H <asaegyn@xxxxxxxxx> wrote:

Hi Robert,

A couple of quick reactions.

 

On Wed, Jun 25, 2014 at 9:32 AM, <rrovetto@xxxxxxxxxxx> wrote:

To clarify then, I did not mean artificial languages or "method[s] of reasoning humans invent". I did not mean artificial reasoning. I meant how the mind naturally reasons.

The psychology literature (psych of reasoning I think) and elsewhere if memory serves me, demonstrates (as does our familiarity with daily interactions and inner life) that human beings do not naturally reason according to deduction (or syllgostic logic). Deduction and syllogisms leave no room for creativity which is essential. A set of premises and what follows from that. Nothing outside the box. So my question was why then use it? Why not create an artificial language that more closely approaches the truth? Even if you don't agree that our minds don't naturally employ deduction, the question "What are non-fol/non-deduction/non-syllogistic logics for ontology?" is still valid

 

But there is also a question of how you choose those premises. Are they simply static? Can you generate them dynamically? What if there is ambiguity or freedom in how you select them? What's the underlying architecture?

Admittedly, the mechanism one uses to choose (or construct) a set of premises for deductive reasoning may itself not be deductive reasoning (though you can layer multiple levels, to have a dedicated layer of FOL-based reasoning select the appropriate set of premises), but therein lies an echo to what JohnS and EdB were saying - these reasoning systems are complementary.

As an example of trying to support a creativity-like / free-thinking module, imagine you are presented with a novel set of inputs. Assuming the inputs are not already in the language of your system (though even if they are), and assuming your internal FOL system comprises of a set of FOL theories connected in a modular architecture, then there is a requisite step of mapping the inputs to your internal set of premises. This mapping process can then choose to interpret or map your input to one or more (or novel combinations) of your internal modules. But to take this further ties into your next statements:

 

But if syllogistic is used for onto's "full stop" as you said, that's troubling because of the disparity and potential issues wrt ethics and psychology.
Besides wouldn't this mean that in order to get certain answers (that beyond what deduciton or syllogisms can yeild) work-arounds, additions or corrections are needed?

If "We create ontological models of some sets of concerns, precisely because we have tools that implement syllogistic inference reliably" [bold added], then what about creating tools that implement a more realistic and expressive (closer to how our minds work) reasoning/logic?

So the other question was, what are such alternative non-deductive/non-syllogism logics that can be used for ontologies?

 

I don't see it as an either/or proposition.

One can combine the various forms of reasoning into a hybrid system (though establishing correctness for statements generated by a combination of them is not trivial). As an example, I once implemented a statement that would translate (classes of) NL statements into a HOL form, then pass it off to a physics engine + graphics processor for statistical and calculus based reasoning, before sending the results back to the HOL system for further reasoning and translation back into NL.

Having an FOL-derived base is useful as its model theory is very well known, and allows one to use it as an underlying glue to stitch together the other reasoning paradigms into a coherent and (if you're careful, in some cases) a provably consistent whole.

That said, I've found a dearth of (public?) publications on these types of hybrid reasoning systems

Best,
Ali

 

 

On Tue, Jun 24, 2014 at 5:37 PM, John F Sowa <sowa@xxxxxxxxxxx> wrote:

Ed,

I'm glad that we agree on something:


> I have a problem with: “syllogistic logic is not how the mind reasons”.
> It is rather only one of several reasoning mechanisms used by human
> minds.  We also use induction, analogy, statistical reasoning, and a
> number of exotic mathematical methods.

Every method of reasoning that humans invented is supported by the
human mind.  We don't know how to design a computer that can reason
by all the methods humans do.  But any human who designs a digital
computer or a program that runs on it knows how to reason by the
same method as the computer.


> It takes many ingredients to make the soup of human consciousness;
>  we are just growing the leeks.

I certainly agree with the first line.  But I'm not sure about
the leeks.

John

 



_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
 




--

.

(•`'·.¸(`'·.¸(•)¸.·'´)¸.·'´•) .,.,



_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
 

 


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)

<Prev in Thread] Current Thread [Next in Thread>