Learning bisimulation
| dc.contributor.author | Shenkenfelder, Warren | |
| dc.contributor.supervisor | Kapron, Bruce | |
| dc.contributor.supervisor | King, Valerie | |
| dc.date.accessioned | 2008-11-19T21:07:17Z | |
| dc.date.available | 2008-11-19T21:07:17Z | |
| dc.date.copyright | 2008 | en_US |
| dc.date.issued | 2008-11-19T21:07:17Z | |
| dc.degree.department | Department of Computer Science | |
| dc.degree.level | Master of Science M.Sc. | en_US |
| dc.description.abstract | Computational learning theory is a branch of theoretical computer science that re-imagines the role of an algorithm from an agent of computation to an agent of learning. The operations of computers become those of the human mind; an important step towards illuminating the limitations of artificial intelligence. The central difference between a learning algorithm and a traditional algorithm is that the learner has access to an oracle who, in constant time, can answer queries about that to be learned. Normally an algorithm would have to discover such information on its own accord. This subtle change in how we model problem solving results in changes in the computational complexity of some classic problems; allowing us to re-examine them in a new light. Specifically two known result are examined: one positive, one negative. It is know that one can efficiently learn Deterministic Finite Automatons with queries, not so of Non-Deterministic Finite Automatons. We generalize these Automatons into Labeled Transition Systems and attempt to learn them using a stronger query. | en_US |
| dc.identifier.uri | http://hdl.handle.net/1828/1262 | |
| dc.language | English | eng |
| dc.language.iso | en | en_US |
| dc.rights | Available to the World Wide Web | en_US |
| dc.subject | Learning Theory | en_US |
| dc.subject | Angluin's Algorithm | en_US |
| dc.subject | Labelled Transition Systems | en_US |
| dc.subject | hennessy milner logic | en_US |
| dc.subject | Reconstructing graphs | en_US |
| dc.subject | learning algorithm | en_US |
| dc.subject.lcsh | UVic Subject Index::Sciences and Engineering::Applied Sciences::Computer science | en_US |
| dc.title | Learning bisimulation | en_US |
| dc.type | Thesis | en_US |