Uses of Computational Logic at SICSSweden Seif Haridi

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
CL systems from SICS

• SICStus Prolog
• global constraints
• agent platform

• (distributed) Oz
• Oz for networked programs
• constraints

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
(No Transcript)
9
(No Transcript)
10
(No Transcript)
11
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

12
(No Transcript)
13
(No Transcript)
14
Distributed OZ

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

15
(No Transcript)
16
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

17
(No Transcript)
18
Ericsson

• Mnesia
• logic database
• part of Open Telecom Platform for Erlang

19
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

20
Conclusion

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