1 / 20

Uses of Computational Logic at SICS/Sweden Seif Haridi & Thomas Sjöland

Uses of Computational Logic at SICS/Sweden Seif Haridi & Thomas Sjöland. Software for distributed systems Constraint based applications. Software for Distributed Systems. Distributed planning and optimization Agent based systems. SICStus Prolog global constraints agent platform.

jaguar
Download Presentation

Uses of Computational Logic at SICS/Sweden Seif Haridi & Thomas Sjöland

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Uses of Computational Logic at SICS/SwedenSeif Haridi & Thomas Sjöland Software for distributed systems Constraint based applications

  2. Software for Distributed Systems • Distributed planning and optimization • Agent based systems

  3. SICStus Prolog global constraints agent platform (distributed) Oz Oz for networked programs constraints CL systems from SICS

  4. Applications Using CL at SICS • Product configuration (spin-off) • SICStus Prolog • objects • constraints • model language for configuration

  5. Defense Application • ARGUS, • optimize ~200 radar systems for 1000 cells • OZ, FD-constraints • local search methods

  6. Agent-based Market Space • Prolog • objects • TCP • many tools for agent communication • http server in Prolog • web-aware (HTML) • Used for local advertisement market (Telia) • Automates bidding, selling and contracting

  7. Railway Application • Support tool for planning of goods transportation • OZ • FD-constraints • Agent model

  8. Steel Production Planning (with OVAKO Steel) • ESPRIT trial application project TACIT • Prolog, constraints, (PrologIA, other partner) • MISC, experimental OZ-application in the production modelling area

  9. Distributed OZ • Transparent distribution • mobile objects (and code) • http objects • distributed unification • distributed garbage collection • sites connect and disconnect dynamically

  10. Experimental OZ-applications • Tool that transforms a single-user application in OZ to an internet-aware multi-user collaborative application • Internet tools • distributed whiteboard for collaboration • distributed slide presentation • chess board

  11. Ericsson • Mnesia • logic database • part of Open Telecom Platform for Erlang

  12. Needs for Development • Distribution • Constraint based techniques • transform algebraic languages to executable constraint programs • Metaprogramming • specialisation of CLP/CCP programs • make program analysis and PE practical • Interoperability and GUI • a constant need to keep connected…

  13. Conclusion • Computational logic is an enabling technology in many of our application projects • Further development is pursued with funds for application platform development

More Related