20,666 Hits in 8.7 sec

Towards a practical engineering tool for rostering

Edward Tsang, John Ford, Patrick Mills, Richard Bradwell, Richard Williams, Paul Scott
2007 Annals of Operations Research  
This effectively includes: Knowing how to formulate a given problem as a CSP/COP Knowing how to incorporate domain knowledge into the solver Knowing how to choose a good formulation for a given problem  ...  ZDC-Rostering demonstrates the feasibility of applying constraint satisfaction techniques to solving rostering problems, without having to acquire deep knowledge in constraint technology.  ...  Acknowledgements We wish to thank both Nathan Barnes and James Borrett for their contribution to the CACP project.  ... 
doi:10.1007/s10479-007-0217-x fatcat:m35ufd56z5fjvgnyge655u6e4y

Using Ontology Search Engines to support Users and Intelligent Systems solving a range of tasks [chapter]

D. Sleeman, E. Thomas, A. Aiken
2009 Applications and Innovations in Intelligent Systems XVI  
We describe how an ontology search engine has assisted in solving such problems, by summarizing the frequency of occurrence of descriptors found in a group of relevant ontologies, and by reporting which  ...  The paper describes several classes of tasks namely solving word problems, and classifying datasets using machine learning techniques, where the tasks may not be solvable because the information provided  ...  We acknowledge various discussions with Stuart Chalmers and Matthieu Villemont (University of Aberdeen) about this approach, and we wish to thank M. Villemont for implementing an early prototype. Dr.  ... 
doi:10.1007/978-1-84882-215-3_9 dblp:conf/sgai/SleemanTA08 fatcat:ykv2utpbcfagbjysfgluvqjo6u

Explaining Ourselves: Human-Aware Constraint Reasoning

Eugene Freuder
Constraint reasoning offers particular opportunities and challenges in this regard.  ...  A good foundation for human-awareness should enable ourselves and our "AIs" to "explain ourselves" naturally to each other.  ...  • Providing appropriate insight and guidance for human-machine collaboration • Acquiring, improving and utilizing "background knowledge" of user and problem domain constraints to facilitate future problem  ... 
doi:10.1609/aaai.v31i1.11147 fatcat:gym5odad4rffrnwpm3um6um5mq

Agent-Based Intelligent Support to Coalition Operations

Alexander Smirnov, Nikolai Chilov, Tatiana Levashova, Andrew Krizhanovsky, Michael Pashkin
2005 Information & Security An International Journal  
) design of adaptive agents for on-the-fly problem solving.  ...  The approach is based on such advanced information technologies as intelligent agents, ontology management, and constraint satisfaction/propagation.  ...  Intelligent Systems;" project #1.9 of the research program "Fundamental Basics of Information Technologies and Computer Systems" of the Russian Academy of Sciences; and grant #02-01-00284 of the Russian  ... 
doi:10.11610/isij.1605 fatcat:iudlppz3hfhibn432mtafk64ze

Exposing Design Mistakes During Requirements Engineering by Solving Constraint Satisfaction Problems to Obtain Minimum Correction Subsets

Alexander Diedrich, Björn Böttcher, Oliver Niggemann
2016 Proceedings of the 8th International Conference on Agents and Artificial Intelligence  
This work shows how utilizing Minimum Correction Subsets (MCS) of a Constraint Satisfaction Problem improves the collaboration of automation system designers and prevents inconsistent requirements and  ...  To meet the automation industry's requirement for standardised solutions that assure reliability, the calculation of MCS is formulated in such a way that most constraint solvers can be used without any  ...  A partial constraint satisfaction problem is equivalent to a MaxSAT problem (Freuder and Wallace, 1992) .  ... 
doi:10.5220/0005679102800287 dblp:conf/icaart/DiedrichBN16 fatcat:dng3beedefamvey7nhyd32grwa

Tools for Building Intelligent Tutoring Systems

V. Kodaganallur, R. Weitz, D. Rosenthal
2006 Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06)  
We have created two programs ("tutor generators") for assisting users in building ITSs conforming to two prominent intelligent tutoring paradigms: model-tracing and constraint-based.  ...  Intelligent Tutoring Systems (ITSs) have proved useful in a variety of domains, but are notoriously resource intensive to build.  ...  problem to be solved.  ... 
doi:10.1109/hicss.2006.490 dblp:conf/hicss/KodaganallurWR06 fatcat:otmkt6jvifdz7puj56htd6ha3y

Collaborative Learning for Constraint Solving [chapter]

Susan L. Epstein, Eugene C. Freuder
2001 Lecture Notes in Computer Science  
for constraint satisfaction and optimization.  ...  The necessary expertise is of two forms: constraint programming expertise and problem-domain expertise.  ...  Acknowledgements This work was supported in part by NSF grant IIS-9907385 and by NASA. We thank Richard Wallace for his assistance in generating test problems.  ... 
doi:10.1007/3-540-45578-7_4 fatcat:qdwfx7ltovddblev3kbvkk5dmu

Twenty-Five Years of Successful Application of Constraint Technologies at Siemens

Andreas Falkner, Gerhard Friedrich, Alois Haselböck, Gottfried Schenner, Herwig Schreiner
2017 The AI Magazine  
For more than 25 years the application of constraint-based methods has proven to be a key technology in order to realize configurators at Siemens.  ...  The development of problem solvers for configuration tasks is one of the most successful and mature application areas of artificial intelligence.  ...  of expert users) to manually mark constraints permitted to be violated.  ... 
doi:10.1609/aimag.v37i4.2688 fatcat:vkcioavswrbtxkfemljnrf3vdu

Multi-Agent Systems and Distributed Constraint Satisfaction for Decision Support in Marine Ecosystem Management

Ngisiange NN, Rimiru R, Okeyo G, Wambiji N
2016 Journal of computer science and systems biology  
MAS Abstract Real-world problems can be formulated as distributed constraint satisfaction problems.  ...  Key focus will be given to distributed constraint satisfaction to model the individual behaviour according to variables, domains and constraints.  ... 
doi:10.4172/jcsb.1000233 fatcat:vpt2poihbzau5akm4y5ucmyvmu

Using Case-Based Reasoning to Write Constraint Programs [chapter]

James Little, Cormac Gebruers, Derek Bridge, Eugene C. Freuder
2003 Lecture Notes in Computer Science  
Constraint programming offers powerful problem solving capabilities, but experienced and skilled developers are needed to maximise the benefits it offers.  ...  We describe how Case-Based Reasoning can be used to capture the expertise of skilled constraint programmers and then reuse that knowledge to write new programs.  ...  Borrett & Tsang [8] examine characteristics of problem formulations and search algorithms to determine the one with the lowest solving cost.  ... 
doi:10.1007/978-3-540-45193-8_107 fatcat:kgsotwpkpjggxpu3cee3umen7u

Semi-automatic Modeling by Constraint Acquisition [chapter]

Remi Coletta, Christian Bessière, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell, Joel Quinqueton
2003 Lecture Notes in Computer Science  
By restricting the language of constraints used to build the network, this could also assist an expert to develop an efficient model of a given problem. © [1] contains a long version of this paper.  ...  Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications.  ...  Otherwise, it can be regarded as an assistance to the expert for an automatic reformulation of her problem.  ... 
doi:10.1007/978-3-540-45193-8_58 fatcat:4w4k4fcalvexnnp3prqhvpj2mi

Synthesizing Expert Systems and Operations Research Techniques: system classification and review

H. Raghav Rao, B. P. Lingaraj, Maithili Rao
1994 Australasian Journal of Information Systems  
This paper surveys the synthesis of ES and OR and discusses and classifies various expert systems that synthesize the two for managerial problem solving.  ...  Expert system (ES) and operations research (OR) nave many fundamental characteristics that can be used to completnent and supplement each other.  ...  ACKNOWLEDGEMENT The authors would like to thank Ariyapadi Krishnaraj of SUNY at Buffalo for his excellent research assistance.  ... 
doi:10.3127/ajis.v1i2.421 fatcat:yiy24h5nxvaazeetcweimszk74

Modeling Commercial Knowledge to Develop Advanced Agent-Based Marketplaces for E-commerce [chapter]

Martin Molina
2001 Lecture Notes in Computer Science  
In particular, we describe the idea of model-based approach to develop a shopping agent that dynamically configures a product according to the needs and preferences of customers.  ...  Model-based development of knowledge-systems The model-based approach has been recently followed by different methodologies for system analysis and design.  ...  problem-solving competence.  ... 
doi:10.1007/3-540-44799-7_20 fatcat:e3zzecgcr5e3tglriwchdwgm2u

Incremental temporal reasoning in job shop scheduling repair

Y. Huang, L. Zheng, Brian C. Williams, L. Tang, H. Yang
2010 2010 IEEE International Conference on Industrial Engineering and Engineering Management  
Specifically, such a problem is formulated as a disjunctive temporal problem (DTP), framed as an optimal constraint satisfaction problem (OCSP) formally, and finally solved by performing an algorithm integrating  ...  Through involving human interactive mechanism, domain experts can make higher quality decisions by balancing makespan and deviations.  ...  ACKNOWLEDGMENT We thank Qing Xiang, Kaiquan Wei, Henri Badaro, Patrick Conrad and David Wang for their discussions and suggestions.  ... 
doi:10.1109/ieem.2010.5674383 fatcat:hgvk7fyeo5hc7bopduwiy2gwu4

Case-Based Reasoning Integrations

Cynthia R. Marling, Mohammed H. Sqalli, Edwina L. Rissland, Héctor Muñoz-Avila, David W. Aha
2002 The AI Magazine  
There has been a recent upsurge in the integration of CBR with other reasoning modalities and computing paradigms, especially rule-based reasoning (RBR) and constraint-satisfaction problem (CSP) solving  ...  Past progress, current trends, and issues for future research are discussed.  ...  The coauthors are grateful to the workshop participants for their insights and contributions.  ... 
doi:10.1609/aimag.v23i1.1610 dblp:journals/aim/MarlingSRMA02 fatcat:4do4oz7u6regdgz2jpfmogziam
« Previous Showing results 1 — 15 out of 20,666 results