Conceptual Graphs as Algebras - with an Application to Analogical reasoning

Torben Braüner, Jørgen Fischer Nilsson, Anne Rasmussen

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Abstrakt

The first part of this paper presents a logico-algebraic reconstruction of conceptual graph fundamentals using an appropriately extended binary relation algebra. The algebraisation comprises axioms which in a straightforward and instructive fashion admit deductive reasoning by term rewriting. As an application of the described logico-algebraic framework, the second part of the paper addresses formalisation of analogical reasoning. It is suggested that analogical reasoning be carried out as clausal resolution inference using axioms of the binary relation algebra together with the application specific axioms corresponding to the domains under consideration. This makes the analogical reasoning amenable to implementation in logic programming languages.
OriginalsprogEngelsk
TitelIkke angivet
RedaktørerWilliam Tepfenhart, Walling Cyre
Antal sider13
ForlagSpringer Science+Business Media
Publikationsdato1999
Sider456-469
ISBN (Trykt)978-3-540-66223-5
StatusUdgivet - 1999
Udgivet eksterntJa
BegivenhedInternational Conference on Conceptual Structures, ICCS '99 - Blacksburg, USA
Varighed: 12. jul. 199915. jul. 1999
Konferencens nummer: 7

Konference

KonferenceInternational Conference on Conceptual Structures, ICCS '99
Nummer7
Land/OmrådeUSA
ByBlacksburg
Periode12/07/199915/07/1999
NavnLecture Notes in Computer Science
Vol/bindVolume 1640/1999
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Conceptual Graphs as Algebras - with an Application to Analogical reasoning'. Sammen danner de et unikt fingeraftryk.

Citationsformater