56,801 Hits in 6.8 sec

Knowledge graph refinement: A survey of approaches and evaluation methods

Heiko Paulheim, Philipp Cimiano
2016 Semantic Web Journal  
In this article, we provide a survey of such knowledge graph refinement approaches, with a dual look at both the methods being proposed as well as the evaluation methodologies used.  ...  In order to further increase the utility of such knowledge graphs, various refinement methods have been proposed, which try to infer and add missing knowledge to the graph, or identify erroneous pieces  ...  The idea of feeding intelligent systems and agents with general, formalized knowledge of the world dates back to classic Artificial Intelligence research in the 1980s [89] .  ... 
doi:10.3233/sw-160218 fatcat:uiicnh2nbnev5j4ixum23hzila

Refining Value Sensitive Design: A (Capability-Based) Procedural Ethics Approach to Technological Design for Well-Being

Alessandra Cenci, Dylan Cawthorne
2020 Science and Engineering Ethics  
Conclusions suggest that refining VSD with a capability-based procedural approach to ethics fosters the concern for democracy and social justice while preserving vital scientific-technical standards.  ...  Accordingly, it is argued that VSD's ethical-democratic import would substantially be enhanced by the espousal of a procedural ethics stance and the deliberative approach to value and welfare entailed  ...  In order to cope with the critical issues above and providing a superior moral foundation, the following sections propose to supplement/refine VSD by adopting a procedural ethics stance and consistently  ... 
doi:10.1007/s11948-020-00223-3 pmid:32424724 pmcid:PMC7550296 fatcat:o5tdk3ld4jgbbmlb7rtzguhqzq

Implementation and refinement of a community health nurse model of support for people experiencing homelessness in Australia: a collaborative approach

Dianne Goeman, Jane Howard, Rajna Ogrin
2019 BMJ Open  
A collaborative approach using demographic data collected from client records to identify need and measure the time clients took to engage and access services, qualitative data gathered during Stakeholder  ...  ObjectiveTo implement, refine and evaluate an assertive community health nurse (CHN) model of support for people experiencing or at risk of homelessness that aims to improve their access to health and  ...  All authors contributed to analysing the data and undertook the final drafting of the article, revised it critically for important intellectual content, read and approved the final version of the report  ... 
doi:10.1136/bmjopen-2019-030982 pmid:31748297 pmcid:PMC6887079 fatcat:enslf2khyffanomyrnjj6pdsae

Formalisms for multi-agent systems

1997 Knowledge engineering review (Print)  
This panel was concerned with several fundamental issues relating to formalisms for the description and development of multi-agent systems. What role do formal theories play?  ...  In the field of multi-agent systems, our goal is to build systems capable of flexible autonomous decision making, with societies of such systems cooperating with one-another.  ...  What should a multi-agent theory or formalism look like? Multi-agent systems add another dimension to agent-oriented systems. Can single-agent formalisms be extended for multi-agent systems?  ... 
doi:10.1017/s0269888997003068 fatcat:gqe22pkxubeavhccegxblwbtku

Formal development of cooperative exception handling for mobile agent systems

Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky
2008 Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems - SERENE '08  
Our approach provides developers with formal generic patterns for incorporating fault-tolerance mechanisms into mobile agent systems.  ...  Our approach provides developers with formal generic patterns for incorporating fault-tolerance mechanisms into mobile agent systems.  ...  Our chosen formal framework is the B Method -a formal approach to the industrial development of highly dependable software.  ... 
doi:10.1145/1479772.1479779 dblp:conf/serene/LaibinisTIR08 fatcat:jbkiefbr3ra63fv2ypfvows7fy

Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System [article]

Nadeem Akhtar, Malik M. Saad Missen
2015 arXiv   pre-print
We have considered a case-study of a multi-agent robotic system for the transport of stock between storehouses to exemplify our formal approach.  ...  The challenge is to develop a safe multi-agent robotic system, more specifically to ensure the correctness properties of safety and liveness.  ...  This work has been possible due to the support of The Department of Computer Science & IT, The Islamia University of Bahawalpur, Pakistan.  ... 
arXiv:1604.05577v1 fatcat:hwg3qh2o2nc6xepka5pfwjq6hu

Modelling resilient collaborative multi-agent systems

Inna Vistbakka, Elena Troubitsyna
2020 Computing  
We demonstrate the application of the proposed approach by a case study—a smart warehouse system.  ...  In this paper, we propose a generic resilience-explicit formalisation of the main concepts of multi-agent systems.  ...  Overall, the formal development in Event-B has resulted in building a clean and well-structured architecture of a multi-agent system.  ... 
doi:10.1007/s00607-020-00861-2 fatcat:sblfs5pyyvhhbpb3hvwikvq6dq

A Study of Resilient Architecture for Critical Software-Intensive System-of-Systems (Sisos)

Nadeem Akhtar, Malik Muhammad, Nadeem Salamat, Amnah Firdous, Mujtaba Husnain
2016 International Journal of Advanced Computer Science and Applications  
An approach has been proposed for the analysis, design, formal specification and verification of critical Software-intensive System-of-Systems.  ...  The role of critical system-of-systems have become considerably software-intensive. A critical system-of-system has to satisfy correctness properties of liveness and safety.  ...  In this research project, multi-agent system architecture is formally verified and developed to endow an automatic transportation system with advanced selfmanaging capabilities.  ... 
doi:10.14569/ijacsa.2016.070834 fatcat:g4kdhh7r7vg63k2dfsebkzjtx4

A Framework for Open Distributed System Design

Alexei Iliasov, Alexander Romanovsky, Budi Arief
2007 Computer Software and Applications Conference (COMPSAC) Proceedings of the IEEE International  
The approach we are putting forward relies on using a combination of formal methods applied for rigorous development of the critical parts of the system and a set of design abstractions proposed specifically  ...  We demonstrate our approach using a case study, in which we show the whole process of developing an ambient campus application -an example of open distributed systems -including its formal specification  ...  In our approach, the application development starts with a abstract specification of a scope -a mathematical model of the required behaviour of a multi-agent application.  ... 
doi:10.1109/compsac.2007.23 dblp:conf/compsac/IliasovRA07 fatcat:ki5rdtqpafearkdgmythh2zg6m

Temporal Development Methods for Agent-Based

Michael Fisher
2005 Autonomous Agents and Multi-Agent Systems  
In this paper we overview one specific approach to the formal development of multi-agent systems.  ...  This approach is based on the use of temporal logics to represent both the behaviour of individual agents, and the macro-level behaviour of multi-agent systems.  ...  I also wish to acknowledge the support of EPSRC in previous years.  ... 
doi:10.1007/s10458-004-3140-4 fatcat:5jq5gsi42fhtvgcli7waj6auge

Formal Agent Development: Framework to System [chapter]

Mark d'Inverno, Michael Luck
2001 Lecture Notes in Computer Science  
Our own view is that work on formal models of agent-based systems are valuable inasmuch as they contribute to a fundamental goal of computing of practical agent development.  ...  Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophisticated logics for reasoning  ...  Further work aims to use this to produce a full development framework from a single high-level agent to a cooperating multi-agent system. In a similar vein, Parsons et al.  ... 
doi:10.1007/3-540-45484-5_11 fatcat:3q3zvmjqsngdpmmm7medmnk2vi

Formalising control in robust spoken dialogue systems

H. Shi, R.J. Ross, J. Bateman
2005 Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)  
Moreover, to support this approach, we introduce FDMSC -the Formal Dialogue Management for Shared Control toolkit -and illustrate its use in the construction of formal methods based spoken dialogue systems  ...  In this paper we report on our efforts to improve the safety and overall usability of dialogue enabled applications through the employment of formal methods in SDS development and testing.  ...  Acknowledgements - We gratefully acknowledge the support of the Deutschen Forschungsgemeinschaft (DFG) through the SFB/TR8 Spatial Cognition -Subproject I3-SharC.  ... 
doi:10.1109/sefm.2005.21 dblp:conf/sefm/ShiRB05 fatcat:x4bpwtc3bvbsri7bxuxc3zdpvm

On Rigorous Design and Implementation of Fault Tolerant Ambient Systems

Alexei Iliasov, Alexander Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna
2007 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)  
We then outline our experience in developing an ambient lecture system using the combination of formal approach and our middleware.  ...  It is therefore necessary to construct the critical parts of fault tolerant ambient systems in a rigorous manner.  ...  A. Iliasov is partially supported by the ORS award (UK).  ... 
doi:10.1109/isorc.2007.46 dblp:conf/isorc/IliasovRALT07 fatcat:fwb6gvfoxjc5jfllktz6cosnvm

Methodological foundations for agent-based systems

1997 Knowledge engineering review (Print)  
In spite of the rapid spread of agent technology, there is, as yet, little evidence of an engineering approach to the development of agent-based systems.  ...  One of the key reasons for this is the inadequacy of standard software development approaches for these new, and fundamentally different, agent-based systems.  ...  Aaron Sloman ( and Brian Logan (, both members of the School of Computer Science at the University of Birmingham, were also panel members and were invited  ... 
doi:10.1017/s026988899700307x fatcat:52adwnekmjduxjhmc7ulq7q6kq

The ontology-based methodology phases to develop multi-agent system (OmMAS)

Arda Yunianta, Omar M. Barukah, Norazah Yusof, Aina Musdholifah, Herlina Jayadiyanti, Nataniel Dengen, Haviluddin, Mohd Shahizan Othman
2017 2017 4th International Conference on Electrical Engineering, Computer Science and Informatics (EECSI)  
There are a lot of methodologies to develop multi-agent system, but the current problem is how to choose the best methodology phase to develop current multi-agent system.  ...  Semantic aspect on methodology phase is a significant issue to develop multi-agent system in the current days.  ...  The authors would like to thank the Deanship of Scientific Research Management (DSR) King Abdulaziz University for the support and incentive extended in making this study a success.  ... 
doi:10.1109/eecsi.2017.8239128 fatcat:2s4bdok2xvbado6an5gkzmd234
« Previous Showing results 1 — 15 out of 56,801 results