Software Development using virtual scientific communities of constructively egoistic agents Karl Lieberherr 1SCG-SP20103/19/2016.

Slides:



Advertisements
Similar presentations
Grids for Complex Problem Solving, 29 January 2003 Grid based collaborative working in large distributed organisations
Advertisements

Scientific Community Game Karl Lieberherr 4/29/20151SCG.
Alexei A. Gaivoronski IIASA, Workshop on Coping with Uncertainty, Stochastic optimization and modeling of network risk and uncertainty:
Contributions of SCG Karl Lieberherr Northeastern University College of Computer and Information Science Boston, MA joint work with Ahmed Abdelmeged and.
Algorithms and Data Review Fall 2010 Karl Lieberherr 1CS 4800 Fall /7/2010.
Specker Challenge Game (SCG): A Novel Tool for Computer Science Karl Lieberherr.
SESSION 10 MANAGING KNOWLEDGE FOR THE DIGITAL FIRM.
Writing a Science or Engineering Paper: It is just a story Frank Shipman Department of Computer Science Texas A&M University.
Automated Changes of Problem Representation Eugene Fink LTI Retreat 2007.
MarkSAT W. E. Walsh and M. P. Wellman. Objectives Offer a decentralized computation model ; Study the computational properties of decentralized systems;
Supporting Decision Making Chapter 10 McGraw-Hill/IrwinCopyright © 2011 by The McGraw-Hill Companies, Inc. All rights reserved.
1 Knowledge Management for Teaching and Learning: an Example in Computer Science Education Oleg Tilchin The main requirement for knowledge management of.
Intelligent Agents: an Overview. 2 Definitions Rational behavior: to achieve a goal minimizing the cost and maximizing the satisfaction. Rational agent:
McGraw-Hill/Irwin ©2005 The McGraw-Hill Companies, All rights reserved ©2005 The McGraw-Hill Companies, All rights reserved McGraw-Hill/Irwin.
The Academy of Public administration under the President of the Republic of Uzbekistan APPLICATION MODERN INFORMATION AND COMMUNICATION TECHNOLOGY IN DECISION.
The Scientific Community Game as A Crowdsourcing Platform to Distinguish Good from Bad Presentation to Clients by Software Development Organization 4/24/20111.
Biointelligence Laboratory School of Computer Science and Engineering Seoul National University Cognitive Robots © 2014, SNU CSE Biointelligence Lab.,
Urban Planning Grade 12 Geography. What you should be learning ► Illustrate strategies to improve urban environments ► Evaluate models of urban structure.
Chapter 11 Managing Knowledge. Dimensions of Knowledge.
T Ball (1 Relation) What Your Robots Do Karl Lieberherr CSU 670 Spring 2009.
KNOWLEDGE PRODUCTION: THE NEW ROLE OF UNIVERSITIES Two experts group have prepared reports on the future of university/research relations They have proposed.
SCG Domain Specification Karl. Overview What needs to be provided – What GameProvider needs to provide to define a competition. – What each Scholar needs.
Poster Design & Printing by Genigraphics ® The Scientific Community Game Education and Innovation Through Survival in a Virtual World of.
Virtual Scientific Communities for Innovation Karl Lieberherr Northeastern University College of Computer and Information Science Boston, MA joint work.
Virtual Scientific Communities for Innovation Karl Lieberherr Northeastern University College of Computer and Information Science Boston, MA joint work.
European Network of Excellence in AI Planning Intelligent Planning & Scheduling An Innovative Software Technology Susanne Biundo.
Software Development using artificial markets of constructively egoistic agents Karl Lieberherr 1SD-F09.
The Scientific Community Game for STEM Innovation and Education (STEM: Science, Technology, Engineering and Mathematics) Karl Lieberherr Ahmed Abdelmeged.
TESTING PRINCIPLES BY K.KARTHIKEYAN. PRINCIPLES Principle 1. Testing is the process of exercising a software component using a selected set of test cases,
Software Testing. What is Testing? The process consisting of all life cycle activities, both static and dynamic, concerned with planning, preparation.
Automated Assistant for Crisis Management Reflective Agent with Distributed Adaptive Reasoning RADAR.
Software Development using artificial markets of constructively egoistic agents Karl Lieberherr 1SD-F09.
Game Driven Software Development for NPOs the Scientific Community Game (SCG)
Introduction to Science Informatics Lecture 1. What Is Science? a dependence on external verification; an expectation of reproducible results; a focus.
Joe Giannelli. Virtual World Is a genre of online community that often takes the form of a computer-based simulated environment, through which users can.
HRM Human Resource management. HRM Class Emphasis Show “best-in-class” HRM practices Understand how HRM practices support business strategy How to use,
MSD 2011 Midterm Karl Lieberherr 3/28/20111MSD midterm.
A Popperian Platform for Programming and Teaching the Global Brain Karl Lieberherr Ahmed Abdelmeged Northeastern University, CCIS, PRL, Boston 11/20/20151.
Title Your Name University Name Date Instructor Name.
Decision Making Chapter 7. Definition of Decision Making Characteristics of decision making: a. Selecting a choice from a number of options b. Some information.
NU ACM Talk Virtual Scientific Communities for Driving Innovation and Learning Karl Lieberherr joint work with Ahmed Abdelmeged and Bryan Chadwick 11/28/20151SCG.
Theme 2: Data & Models One of the central processes of science is the interplay between models and data Data informs model generation and selection Models.
Dynamic Benchmarking Software development though competition Alex Dubreuil Northeastern University
Algorithmic, Game-theoretic and Logical Foundations
Boolean Satisfiability Present and Future
Group member: Kai Hu Weili Yin Xingyu Wu Yinhao Nie Xiaoxue Liu Date:2015/10/
Contributions of SCG to SDG Karl Lieberherr Northeastern University College of Computer and Information Science Boston, MA joint work with Ahmed Abdelmeged.
NU ACM Talk Virtual Scientific Communities for Driving Innovation and Learning Karl Lieberherr joint work with Ahmed Abdelmeged and Bryan Chadwick 12/21/20151SCG.
Managing Software Development Karl Lieberherr. Manage a significant program from requirements to implementation We wrote requirements. We wrote several.
The Algorithms we use to learn about Algorithms Karl Lieberherr Ahmed Abdelmeged 3/16/20111Open House 2011.
Key Points Karl Lieberherr. Challenge: old high-level description Price Set of problems 1/5/20162Summary.
Chpt 9 TECHNOLOGICAL CHANGES FOR THE FUTURE. Introduction The competition environment in the future: Situation of business always change from time to.
Advanced Software Development applied to (Symbolic) Systems Biology Karl Lieberherr.
Multimedia Analytics Jianping Fan Department of Computer Science University of North Carolina at Charlotte.
Overview of Socio-cognitive Engineering General requirements Theory of Use Design Concept Contextual Studies Task model Design space System specification.
A Popperian Platform for Programming and Teaching the Global Brain Karl Lieberherr Ahmed Abdelmeged Northeastern University, CCIS, PRL, Boston 6/26/20161.
 In Ned law are a company that provides strategic consulting and management, composed of a team of high academic and social esteem, focused on optimization,
Contributions of SCG to SDG Karl Lieberherr Northeastern University College of Computer and Information Science Boston, MA joint work with Ahmed Abdelmeged.
How Artificial Intelligence is Changing the Supply Chain
Resource Management IB Computer Science.
Towards Scalable Traffic Management in Cloud Data Centers
Some tools and a discussion.
Analysis of Computing Options at ISU
Dr. Rachel Ben-Eliyahu – Zohary
NP-Completeness Proofs
Overview of Machine Learning
Inside Microsoft Research
KNOWLEDGE MANAGEMENT (KM) Session # 36
Coventry University, UK
Presentation transcript:

Software Development using virtual scientific communities of constructively egoistic agents Karl Lieberherr 1SCG-SP20103/19/2016

Problem Solving Software for computationally hard problems: examples Given a transportation task, find the optimal way of carrying it out. Given an employment market, find the optimal assignment of workers to companies. Given a Boolean formula, is it satisfiable? Given a Boolean formula in conjunctive normal form, find an assignment that maximizes the fraction of satisfied clauses. 2SCG-SP20103/19/2016

A new use of computers Design a virtual scientific community SCG(X) of artificial organisms (agents) that are developed by humans. X is a problem solving domain (optimization problems, decision problems). Purpose of SCG(X): Develop good algorithms and useful knowledge about a problem solving domain X. The best virtual scientist has the best algorithm and the best knowledge compared to all the other agents. 3SCG-SP20103/19/2016

Traditional Approach Human Developers Develop new software for problem solving domain X Static Evaluation. No competition. human1human2 Testing unit testing integration testing Benchmark is used to evaluate software human3human4 Users Requirements for X 4SCG-SP20103/19/2016

Why Software Development through a virtual scientific community? Human Developers Develop new software for problem solving domain X SCG(X) Erika-Patrick-agent winning-agent Evaluates fairly, frequently, constructively and dynamically. Drives innovation. Challenges humans. Agents point humans to what needs attention in the software. human1human2 ErikaPatrick Benchmark is used to evaluate software Users Requirements for X 5SCG-SP20103/19/2016

Erika-Patrick Agent Surrogate of combined knowledge of Erika and Patrick successfully transferred to agent. Transfer knowledge by programming. 6SCG-SP20103/19/2016

Agent design How to design an artificial organism? – Has a basic need: maximize reputation. – Has a rhythm. Every round the same activity happens. – Interacts with other agents by opposing and proposing hypotheses. Opposing a hypothesis might create a big win in reputation but it also makes the agent vulnerable to a loss. There is uncertainty when opposing or proposing hypotheses. 7SCG-SP20103/19/2016