Computability in Europe 2006
Logical Approaches to Computational Barriers

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

Speaker: Ekaterina Komendantskaya
Author(s): Ekaterina Komendantskaya and Anthony Seda
Slot: Array, 17:20-17:40, col. 2


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