Openness of reasoning in intelligent systems: logical closure versus domain dependence
by Steven H. Kim
International Journal of Computer Applications in Technology (IJCAT), Vol. 2, No. 4, 1989

Abstract: An intelligent system should learn over time to improve its performance and to adapt to changes in the environment. This paper addresses the nature of learning and knowledge-generation. A rational reasoning strategy based on the popular approach to first-order predicate logic does not allow for changes in the specification of behaviour. According to the rules of inference, the nature of the deductions appears to be closed: in particular, the conclusions follow strictly from the initial knowledge base, regardless of external influences. This paper shows that reasoning is closed under the rules of predicate calculus, but that it must be open under any meaningful interpretation of a creative learning system. This is achieved by incorporating domain-dependent knowledge.

Online publication date: Wed, 11-Jun-2014

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Computer Applications in Technology (IJCAT):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com