Logical methods for computational intelligence

Authors:
Grigoris Antoniou;Neil V. Murray
Affiliations:
School of Computing & Information Technology, Griffith University, QLD 4111, Australia, email:ga@cit.gu.edu.au;Department of Computer Science, University of Albany – SUNY, Albany, NY 1222, USA, email:nvm@cs.albany.edu
Venue:
The Knowledge Engineering Review
Year:
1997

Citing 5
Cited 0

Semantical considerations on nonmonotonic logic

Artificial Intelligence
Probabilistic logic

Artificial Intelligence
Is intractability of non-monotonic reasoning a real drawback?

AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Solution of the Robbins Problem

Journal of Automated Reasoning
Reconstruction Proofs at the Assertion Level

CADE-12 Proceedings of the 12th International Conference on Automated Deduction

Quantified Score

Hi-index	0.00

Visualization

Abstract

Over the past years, two main approaches to computational intelligence have emerged: the symbolic and the non-symbolic approach. The perhaps most prominent methods of the symbolic approach are based on logic. Logical methods exhibit a series of desirable properties:• Transparent representation of meaning• Precise understanding of the meaning of statements (semantics).• Sound reasoning methods.• Explanation capabilities.A special session on logical methods for computational intelligence was held at the 3rd Joint Conference on Information Sciences. The field of computational logic is so broad that it is impossible to review the main developments in an article. Therefore, in the following we will restrict attention to two areas that turned out to be the focus of the special session: automated reasoning, and reasoning with incomplete and changing information.