23,549 Hits in 5.1 sec

Actions You Can Handle: Dependent Types for AI Plans [article]

Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick
2021 arXiv   pre-print
This paper proposes a methodology for embedding plans produced by AI planners into dependently-typed language Agda, which enables users to reason about and verify more general and abstract properties of  ...  Verification of AI is a challenge that has engineering, algorithmic and programming language components. For example, AI planners are deployed to model actions of autonomous agents.  ...  The authors also thank the TyDe'21 reviewers for their valuable input, which lead to substantial clarification and simplifaction of some of the code accompanying this paper.  ... 
arXiv:2105.11267v2 fatcat:4dyoouzo6rci3glbbyfw35d5wi

Preference Handling - An Introductory Tutorial

Ronen Brafman, Carmel Domshlak
2009 The AI Magazine  
The main goal of this tutorial is to provide a framework, or perspective, within which current work on preference handling -representation, reasoning, and elicitation - can be understood.  ...  We present a tutorial introduction to the area of preference handling - one of the core issues in the design of any system that automates or supports decision making.  ...  The actions can be divided into two types: queries, which model the queries we can ask the agent, and actions, which can be used to model the actions we will eventually take on behalf of that agent.  ... 
doi:10.1609/aimag.v30i1.2114 fatcat:km3lc34dz5bxhbfpiwpkhifypy

Handling specification knowledge evolution using context lattices [chapter]

Aldo de Moor, Guy Mineau
1998 Lecture Notes in Computer Science  
This definitional framework organizes such graphs in context lattices, allowing for their efficient handling. We show how context lattices can be used for structuring composition norms.  ...  Consequently, this paper shows how conceptual graphs can play an important role in the development of this key Internet-based activity.  ...  The format of the extension graph depends on the type of this definition (i.e. TYPE, PERM ACTION, or STATE). Examples of these definitions were given in the previous section.  ... 
doi:10.1007/bfb0054932 fatcat:7elmhzbg5zajbbvht4526mpmma

Handling of production disturbances in the manufacturing industry

Jon Bokrantz, Anders Skoogh, Torbjörn Ylipää, Johan Stahre
2016 Journal of Manufacturing Technology Management  
If you would like to write for this, or any other Emerald publication, then please use our Emerald for Authors service information about how to choose which publication to write for and submission guidelines  ...  This diverging view has been consistent for over a decade, and hinders companies to develop systematic and effective strategies for handling of PDs.  ...  data, and preparing for data analysis.  ... 
doi:10.1108/jmtm-02-2016-0023 fatcat:qm6wtwtau5dylnhgz3qzkfdusq

Handling qualities and pilot evaluation

1986 Journal of Guidance Control and Dynamics  
Inadequacy for the required operations has already been stated; how dependent are we now on the correct pilot actions to stay in control?  ...  To choose among the three ratings, there are different considerations depending upon where the decision tree answers led you.  ... 
doi:10.2514/3.20142 fatcat:c7h5qo4aj5c6lkdh3rzxcqwani

Uncertainty Handling in Surrogate Assisted Optimisation of Games

Vanessa Volz
2019 Künstliche Intelligenz  
A detailed illustrative example of how modelling human players using AIs can bias the obtained outcomes based on published data for the game StarCraft II (Blizzard 2010).  ...  The example conclusively shows the need for uncertainty handling in simulation-based game-related optimisation.  ...  Depending of what type of data is used for a game evaluation model, for instance, additional issues might occur.  ... 
doi:10.1007/s13218-019-00613-1 fatcat:kmaa4m35xfcbbhmyvy4zgcfoae

Handling Diagnosis of Schizophrenia by a Hybrid Method

Luciano Comin Nunes, Plácido Rogério Pinheiro, Tarcísio Pequeno Cavalcante, Mirian Calíope Dantas Pinheiro
2015 Computational and Mathematical Methods in Medicine  
integrated to structured methodologies in decision support (multicriteria decision analysis: MCDA) and knowledge structured representations into production rules and probabilities (artificial intelligence: AI  ...  This approach allows you to assign scores to each alternative through a paired comparison.  ...  Expert systems are associated with the term artificial intelligence (AI).  ... 
doi:10.1155/2015/987298 pmid:25821512 pmcid:PMC4363642 fatcat:v5bi2vzftjaidfpypzpfxjiqlm

A generic model to handle complexity in collaborative networks

Maike Scherrer-Rathje, Jens Arnoscht, Peter Egri, Eric Braun, Balazs C Csaji, Gunther Schuh
2009 PICMET '09 - 2009 Portland International Conference on Management of Engineering & Technology  
Furthermore we examine a setting in which the limited liability constraints can depend on the licensee's type and demonstrate that countervailing incentives can arise.  ...  You can fill it out as a daily calendar for the sessions you would like to follow, events to attend, and people to meet with.  ...  At the heart of the said industry strategic plan is the proposal for the establishment of a National Center of Excellence that will help achieve the goals set forth.  ... 
doi:10.1109/picmet.2009.5262237 fatcat:qj6qsep2wzckvefpxq7soiy6q4

The Handling of Juveniles from Offense to Disposition (Vol. I)

E. Eldefonso, J. T. Carey, J. Goldfarb, M. J. Rowe
1969 The Journal of Criminal Law Criminology and Police Science  
Many times he can handle -1-Characters Sgt. Mike Keats Juvenile Bureau Brant Mottar Arresting Officer Jack Fowler Rew Officer Arthur Waters Complainant W. B.  ...  He has a basic knowledge of the remedies available and knows the extent to which he can apply them, or whether he must call in a specialist.  ...  Action can be generated spontaneously and it may never be clear as to who suggests what. You may be certain of one thing.  ... 
doi:10.2307/1142246 fatcat:skazvohdfzf6nmn7nrlinhjpma

Handling conflict between domain descriptions with computer-supported negotiation

Steve Easterbrook
1991 Knowledge Acquistion  
For small programs, the domain can be restricted until the conflict is excluded. For any large scale software, this is not practical.  ...  Each of these problem areas is a source of conflict, and each depends crucially -3 -on communication between participants as a basis for any solution.  ...  It is useful for quick decisive action, or where unpopular actions are perceived as necessary for important issues.  ... 
doi:10.1016/1042-8143(91)90007-a fatcat:qrchljecsrfmrnwenrqgps2eqi

Resolving Relative Time Expressions in Dutch Text with Constraint Handling Rules [chapter]

Matje van de Camp, Henning Christiansen
2013 Lecture Notes in Computer Science  
We discuss the semantics of NL coordination in modern type theories (MTTs) with coercive subtyping. The issue of conjoinable types is handled by means of a type universe of linguistic types.  ...  This paper aims to show metagrammars are not only suited for large grammars development, but can also deal with other types of descriptions.  ...  expressed in types to reason about the outcomes of actions before committing to a particular one (mental simulations used for planning).  ... 
doi:10.1007/978-3-642-41578-4_10 fatcat:rvzj2l4fnvg77aepokghncuhui

HAVOSS: A Maturity Model for Handling Vulnerabilities in Third Party OSS Components [chapter]

Pegah Nikbakht Bideh, Martin Höst, Martin Hell
2018 Lecture Notes in Computer Science  
This paper presents and evaluates a maturity model (HAVOSS) for handling vulnerabilities in third party OSS and COTS components.  ...  It is shown that the practices are seen as highly important, indicating that the model can be seen as a valuable tool when assessing strengths and weaknesses in an organization's ability to handle firmware  ...  Acknowledgements This work was supported partly by the Wallenberg AI, Autonomous Systems and Software Program (WASP) and partly by Swedish Governmental Agency for Innovation Systems (Vinnova), grant 2016  ... 
doi:10.1007/978-3-030-03673-7_6 fatcat:g5uhpia3tvfozlzavgo64jv254

Handling of advanced persistent threats and complex incidents in healthcare, transportation and energy ICT infrastructures

Spyridon Papastergiou, Haralambos Mouratidis, Eleni-Maria Kalogeraki
2020 Evolving Systems  
The main novelty of the CyberSANE system is the fact that it enables the combination of active incident handling approaches with reactive approaches to support incidents of compound, highly dependent Critical  ...  Despite the availability of various advanced incident handling techniques and tools, there is still no easy, structured, standardized and trusted way to manage and forecast interrelated cybersecurity incidents  ...  incident planning; (5) undermine the value of forensic evidence possibly required for subsequent legal action; (6) do not consider the risk-related results produced by existing risk assessment methodologies  ... 
doi:10.1007/s12530-020-09335-4 fatcat:fx76tetjofdkjapu6ymdrabtdq

Cognitive Evaluations and Intuitive Appraisals: Can Emotion Models Handle Them Both? [chapter]

Fiorella de Rosis†, Cristiano Castelfranchi, Peter Goldie, Valeria Carofiglio
2010 Cognitive Technologies  
• Third, A can specifically react to those beliefs, desires, intentions or feelings. For example, if B shows some pain A can react either empathically or not, by saying: "Are you suffering a lot?"  ...  At the same time, emotions activate goals and action plans that are functional to re-establishing or preserving the well being of the individual that was challenged by the events that produced them (Poggi  ... 
doi:10.1007/978-3-642-15184-2_24 fatcat:wn6wtbaovremlhrdf45zbg364y

Preventive Optimization Framework for Unexpected Equipment Failures in the Utility System with Quantitative Emergency Handling Constraints

Jeong Hwan Kim, Sangjun Ju, Heui-Seok Yi, In-Su Han, Chonghun Han
2002 Industrial & Engineering Chemistry Research  
This idea can be generally applied to other processes by adopting appropriate emergency handling constraints into the optimization formulations.  ...  plant shutdown by performing predetermined emergency response actions are incorporated into the conventional optimization model.  ...  Ltd.) and Sang Hyun You (Hyundai Petrochemical Co. Ltd.).  ... 
doi:10.1021/ie020059+ fatcat:ftkt2gliinemhg2rzdenqmoppq
« Previous Showing results 1 — 15 out of 23,549 results