Logical methods for computational intelligence

Grigoris Antoniou, Neil V. Murray

Research output: Contribution to journalArticlepeer-review


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.
Original languageEnglish
Pages (from-to)407-409
Number of pages3
JournalKnowledge Engineering Review
Issue number4
Publication statusPublished - 1 Dec 1997
Externally publishedYes


Dive into the research topics of 'Logical methods for computational intelligence'. Together they form a unique fingerprint.

Cite this