Chemical signaling as a useful metaphor for resource management

Authors:
Evgeny Skvortsov;Nima Kaviani;Veronica Dahl
Affiliations:
Simon Fraser University, Canada;University of British Columbia, Canada;Simon Fraser University, Canada
Venue:
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part I
Year:
2011

Citing 9
Cited 0

Linear logic

Theoretical Computer Science
An integration of Prolog and neural networks to deal with sensibility in logic programs

ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
A practical use of Jackson's preemptive schedule for solving the job shop problem

Annals of Operations Research
A Prolog-like inference system based on neural logic—an attempt towards fuzzy neural logic programming

Fuzzy Sets and Systems - Special issue on connectionist and hybrid connectionist systems for approximate reasoning
Constraint Handling Rules

Selected Papers from Constraint Programming: Basics and Trends
Combining local search and look-ahead for scheduling and constraint satisfaction problems

IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
A theoretical and experimental comparison of constraint propagation techniques for disjunctive scheduling

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
HYPROLOG: a new logic programming language with assumptions and abduction

ICLP'05 Proceedings of the 21st international conference on Logic Programming
The university course timetabling problem with a three-phase approach

PATAT'04 Proceedings of the 5th international conference on Practice and Theory of Automated Timetabling

Quantified Score

Hi-index	0.00

Visualization

Abstract

Declarative logic programs have proved useful for resource management problems since the early 80's. However the complexity of such programs is in a direct exponential relationship with the growth in the number of resources and users. We provide a simple, easy to implement, methodology for mathematically representing requests over resources inspired by the chemical signaling model of neural networks. Our resource management model uses substructural logic in its novel incarnation, HYPROLOG, to provide a connectionist neural network representation in which requests for resources are mapped to signals triggered and consumed by resource requesters and resource consumers respectively. Through this connectionist representation model, we achieve high level of expressivity while making the model directly executable. We exemplify the power of our model through representing a concrete temporal resource scheduling information system and then apply it to some real world mathematical problems.