some_text SHERLOCK — Neural Network Software for Automated Problem Solving | CDS2011


SHERLOCK — Neural Network Software for Automated Problem Solving

Qiming Zhang

My final year project is a research on neural-symbolic systems. It contains one software, one test and two small researches. First, one software has been created to translate a general definite logic program to either a Tp-neural network or a CILP- neural network automatically. Both two types of neural-symbolic systems can perform deductive reasoning by massively parallel computing. Based on it, a research has been done on a knowledge refining system, since such neural networks are embedded with knowledge and can also be trained by the standard BP algorithm. In a trained neural network, the original logic knowledge is refined by inductive learning. Third, we tested the software on Einstein’s Riddle because the riddle is famous for its hardness. Finally, a research has been on a new type of neural networks which enables classical negation. In traditional logic programming, an atomic formula has two states ®C positive or default negative, which means if some knowledge does not exist in the data base, its negation will be thought as true. If people use the classical negation, people have to use extended logic programs which deploy two atoms to express the information. I proposed a new type of neural networks which enables classical negation. We all tested it using the Einstein°Øs Riddle.

Contact details:

My email is . Alternative email is .

Personal Information

I am a curious and energetic learner and a diligent worker.I am very addicted to Computer Science, especially AI.

Other projects

Wang Junying

Personal Narratives

Create a mobile application/interactive information point for Blood Donors

Computer Based Exam

SnapSearch: An Android Image-Based Search Engine for a Museum Environment

Towards a System of Data Management at a Gym

PET (Professionalism and Employability Toolkit)

Using subtitles and captions to support second language learning

A tool to investigate the quality of web accessibility evaluation measures

Quality Control Analytics for Colombian Coffee Growers

Software Control: Software Configuration Management for Rig Control and Automation Systems

The Effects of Stereoscopic 3D on Gaming Immersion: A Comparative Study of Single Image Rendering versus Stereoscopic Rendering.

Graphical Visualisation of Conversation for AAC

Constraint Programming Research

Concept Mapping and Drupal Integration for OurDigitalCulture

Electronic Circuit design laboratory tutorial for first year students

The Memory Box

Lunar Lander Game

The Development of a Mobile Phone based Audio Interview Tool

Rover Route Planner

The coffee table of the future

SpaceWire Plug and Play

Modelling of Multi-touch computer interactions

Multitouch Application

The MWG (Multi-Touch War Game)

Watching genes in living cells using computer vision

Own project – Social Networking

Web-based Project allocation software

Asteroid Sample-Return Mission Simulator

Time Line Interface to Represent Personal Life Histories – Data Input

Ship Tracking

Social Networking and Older People

Extension of cryptography tutor

Web based tool to support successful submission to the Ethics Committee

Home Intelligence

Multitouch Music Application

RESTandra/ – A RESTful HTTP API for the distributed structured data store Cassandra

Business Intelligence for Biological Data Sets

Grok Tool

Automatic Detection of Cell Boundaries in Immunoelectron Microscopy Images

Reducing email overload

Multi-touch Argument Analysis

Increasing the Sociability & Accessibility of Online Social Networking

Map Story of Dundee Characters

LabTracker: Development of an iPad-based Laboratory Management System