Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Regular Talk:
Bilattice-based Logic Programs: Automated Reasoning and Neural Computation

Speaker: Ekaterina Komendantskaya
Author(s): Ekaterina Komendantskaya and Anthony Seda
Presentation: CiEPresentation.pdf
Slot: Sat, 17:20-17:40, Faraday C (col. 2)

Abstract

Bilattice-based annotated logic programs (BAPs) form a very general
class of programs which can handle uncertainty and conflicting
information. We use BAPs to integrate two alternative paradigms of
comutation: specifically, we introduce sound and copmlete
SLD-resolution for BAPs and build learning artificial neural networks
which can model iterations of the semantic operator associated with
each BAP. 


websites: Arnold Beckmann 2006-06-23 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net