Logical methods for computational intelligence

Grigoris Antoniou, Neil V. Murray

Research output: Contribution to journalArticle

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.
LanguageEnglish
Pages407-409
Number of pages3
JournalKnowledge Engineering Review
Volume12
Issue number4
DOIs
Publication statusPublished - 1 Dec 1997
Externally publishedYes

Fingerprint

Artificial intelligence
Information science
Semantics
Acoustic waves

Cite this

Antoniou, Grigoris ; Murray, Neil V. / Logical methods for computational intelligence. In: Knowledge Engineering Review. 1997 ; Vol. 12, No. 4. pp. 407-409.
@article{03df432622d445359c76f340c4487da6,
title = "Logical methods for computational intelligence",
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 meaningPrecise 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.",
author = "Grigoris Antoniou and Murray, {Neil V.}",
year = "1997",
month = "12",
day = "1",
doi = "10.1017/S0269888997003056",
language = "English",
volume = "12",
pages = "407--409",
journal = "Knowledge Engineering Review",
issn = "0269-8889",
publisher = "Cambridge University Press",
number = "4",

}

Logical methods for computational intelligence. / Antoniou, Grigoris; Murray, Neil V.

In: Knowledge Engineering Review, Vol. 12, No. 4, 01.12.1997, p. 407-409.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Logical methods for computational intelligence

AU - Antoniou, Grigoris

AU - Murray, Neil V.

PY - 1997/12/1

Y1 - 1997/12/1

N2 - 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 meaningPrecise 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.

AB - 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 meaningPrecise 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.

UR - http://www.scopus.com/inward/record.url?scp=0031358049&partnerID=8YFLogxK

U2 - 10.1017/S0269888997003056

DO - 10.1017/S0269888997003056

M3 - Article

VL - 12

SP - 407

EP - 409

JO - Knowledge Engineering Review

T2 - Knowledge Engineering Review

JF - Knowledge Engineering Review

SN - 0269-8889

IS - 4

ER -