The approach described in my thesis could be considered a hybrid - it permits reasoning with formal logic, as well as with concepts represented using natural language syntax, though it does not require translating natural language into formal logic. The thesis discusses support for imagination, meta-reasoning, analogical, causal and purposive reasoning, etc.
Date: Wed, 25 Jun 2014 10:50:23 -0400
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.
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
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