Toggle Main Menu Toggle Search

Open Access padlockePrints

Geometric Theory of Machine Awareness for Legal Information Retrieval and Reasoning

Lookup NU author(s): Dr Brian Rossiter

Downloads


Abstract

This report considers that links in hypertext are representable as links in thought by covariant arrows between categories. Taken in dynamic context, the right-exactness of the Heyting implication A ? B corresponds to inference and the next document in a non-linear trail through hypermedia. Awareness is provided by the dual contravariant arrows with the important special case of the intension-extension relationship. The corresponding left-exactness is the closure limit that invokes consciousness.


Publication metadata

Author(s): Heather MA, Rossiter BN

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1995

Pages: 28

Print publication date: 01/07/1995

Source Publication Date: July 1995

Report Number: 531

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/531.pdf


Share