The Library
An intelligent theory of cost for partial metric spaces
Tools
Matthews, Stephen G. and Bukatin, Michael (2012) An intelligent theory of cost for partial metric spaces. In: 5th International Conference on Artificial General Intelligence (AGI), Oxford, UK, 8-11 Dec 2012. Published in: Lecture Notes in Computer Science, 7716 pp. 168-176. ISBN 9783642355059. doi:10.1007/978-3-642-35506-6_18 ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1007/978-3-642-35506-6_18
Abstract
Partial metric spaces generalise metric spaces, allowing non zero self distance. This is needed to model computable partial information, but falls short in an important respect. The present cost of computing information, such as processor time or memory used, is rarely expressible in domain theory, but contemporary theories of algorithms incorporate precise control over cost of computing resources. Complexity theory in Computer Science has dramatically advanced through an intelligent understanding of algorithms over discrete totally defined data structures such as directed graphs, without using partially defined information. So we have an unfortunate longstanding separation of partial metric spaces for modelling partially defined computable information from the complexity theory of algorithms for costing totally defined computable information. To bridge that separation we seek an intelligent theory of cost for partial metric spaces. As examples we consider the cost of computing a double negation ¬¬p in two-valued propositional logic, the cost of computing negation as failure in logic programming, and a cost model for the hiaton time delay.
Item Type: | Conference Item (Paper) | ||||
---|---|---|---|---|---|
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Journal or Publication Title: | Lecture Notes in Computer Science | ||||
Publisher: | Springer | ||||
ISBN: | 9783642355059 | ||||
ISSN: | 0302-9743 | ||||
Book Title: | Artificial General Intelligence | ||||
Official Date: | 2012 | ||||
Dates: |
|
||||
Volume: | 7716 | ||||
Page Range: | pp. 168-176 | ||||
DOI: | 10.1007/978-3-642-35506-6_18 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Conference Paper Type: | Paper | ||||
Title of Event: | 5th International Conference on Artificial General Intelligence (AGI) | ||||
Type of Event: | Conference | ||||
Location of Event: | Oxford, UK | ||||
Date(s) of Event: | 8-11 Dec 2012 | ||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |