Edinburgh Research Archive

View Item 
  •   DSpace Home
  • Informatics, School of
  • Informatics thesis and dissertation collection
  • View Item
  •   DSpace Home
  • Informatics, School of
  • Informatics thesis and dissertation collection
  • View Item
    • Login
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Investigation of design and execution alternatives for the committed choice non-deterministic logic languages

    Download
    Trehan1989.pdf (2.880Mb)
    Date
    1989
    Author
    Trehan, Rajiv
    Metadata
    Show full item record
    Abstract
    The general area of developing, applying and studying new and parallel models of computation is motivated by a need to overcome the limits of current Von Neumann based architectures. A key area of research in understanding how new technology can be applied to Al problem solving is through using logic languages. Logic programming languages provide a procedural interpretation for sentences of first order logic, mainly using a class of sentence called Horn clauses. Horn clauses are open to a wide variety of parallel evaluation models, giving possible speed-ups and alternative parallel models of execution. The research in this thesis is concerned with investigating one class of parallel logic language known as Committed Choice Non-Deterministic languages. The investigation considers the inherent parallel behaviour of Al programs implemented in the CCND languages and the effect of various alternatives open to language implementors and designers. This is achieved by considering how various Al programming techniques map to alternative language designs and the behaviour of these Al programs on alternative implementations of these languages. The aim of this work is to investigate how Al programming techniques are affected (qualitatively and quantitatively) by particular language features. The qualitative evaluation is a consideration of how Al programs can be mapped to the various CCND languages. The applications considered are general search algorithms (which focuses on the committed choice nature of the languages); chart parsing (which focuses on the differences between safe and unsafe languages); and meta-level inference (which focuses on the difference between deep and flat languages). The quantitative evaluation considers the inherent parallel behaviour of the resulting programs and the effect of possible implementation alternatives on this inherent behaviour. To carry out this quantitative evaluation we have implemented a system which improves on the current interpreter based evaluation systems. The new system has an improved model of execution and allows several
    URI
    http://hdl.handle.net/1842/6598
    Collections
    • Informatics thesis and dissertation collection

    Related items

    Showing items related by title, author, creator and subject.

    • Adult learner strategies in foreign language grammar learning : A task-based study of approaches to the learning of grammatical structure in a micro-language, with a discussion of their implications for language teaching and materials. 

      Ryan, A. (University of Edinburgh, 1986)
    • Investigation into the differential effects of subtitles (first language, second language, and bilingual) on second language vocabulary acquisition 

      Li, Mingyue (The University of Edinburgh, 2016-07-01)
      Video recordings can be subtitled in three ways: with first language (L1) subtitles, with second language (L2) subtitles, or with first language plus second language (bilingual or L1+L2) subtitles. The first two types ...
    • Feedback in Intelligent Computer-Assisted Language Learning and Second Language Acquisition: A study of its effect on the acquisition of French past tense aspect using an Intelligent Language Tutoring System 

      Hanson, Ruth Mary (2008)
      Questions surrounding the impact of feedback in response to learner error are of interest in the fields of both Second Language Acquisition (SLA) and Intelligent Computer-Assisted Language Learning (ICALL). Current ...

    Privacy & Cookies | Takedown Policy | Accessibility | Contact
    Privacy & Cookies
    Takedown Policy
    Accessibility
    Contact
     

     

    Browse

    All of DSpaceCommunities & CollectionsIssue DateAuthorsTitlesSubjectsPublication TypeSponsorThis CollectionIssue DateAuthorsTitlesSubjectsPublication TypeSponsor

    My Account

    LoginRegister

    Privacy & Cookies | Takedown Policy | Accessibility | Contact
    Privacy & Cookies
    Takedown Policy
    Accessibility
    Contact