42,934 research outputs found
Scaling readiness: Concepts, practices, and implementation.
Scaling Readiness is an approach that can support organizations, projects, and programs in achieving their ambitions to scale innovations and achieve impact. Scaling Readiness encourages critical reflection on how ready innovations are for scaling, and what appropriate actions could accelerate or enhance scaling
On Repairing Reasoning Reversals via Representational Refinements
Representation is a fluent. A mismatch between the real world and an agentâs representation of it can be signalled by unexpected failures (or successes) of the agentâs reasoning. The âreal world â may include the ontologies of other agents. Such mismatches can be repaired by refining or abstracting an agentâs ontology. These refinements or abstractions may not be limited to changes of belief, but may also change the signature of the agentâs ontology. We describe the implementation and successful evaluation of these ideas in the ORS system. ORS diagnoses failures in plan execution and then repairs the faulty ontologies. Our automated approach to dynamic ontology repair has been designed specifically to address real issues in multi-agent systems, for instance, as envisaged in the Semantic Web
Towards engineering ontologies for cognitive profiling of agents on the semantic web
Research shows that most agent-based collaborations
suffer from lack of flexibility. This is due to the fact that
most agent-based applications assume pre-defined
knowledge of agentsâ capabilities and/or neglect basic
cognitive and interactional requirements in multi-agent
collaboration. The highlight of this paper is that it brings
cognitive models (inspired from cognitive sciences and HCI)
proposing architectural and knowledge-based requirements
for agents to structure ontological models for cognitive
profiling in order to increase cognitive awareness between
themselves, which in turn promotes flexibility, reusability
and predictability of agent behavior; thus contributing
towards minimizing cognitive overload incurred on humans.
The semantic web is used as an action mediating space,
where shared knowledge base in the form of ontological
models provides affordances for improving cognitive
awareness
A Hierachical Infrastrucutre for SOC Test Management
HD2BIST - a complete hierarchical framework for BIST scheduling, data-patterns delivery, and diagnosis of complex systems - maximizes and simplifies the reuse of built-in test architectures. HD2BIST optimizes the flexibility for chip designers in planning an overall SoC test strategy by defining a test access method that provides direct virtual access to each core of the system
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
We address the problem of diagnosing and repairing specifications for hybrid
systems formalized in signal temporal logic (STL). Our focus is on the setting
of automatic synthesis of controllers in a model predictive control (MPC)
framework. We build on recent approaches that reduce the controller synthesis
problem to solving one or more mixed integer linear programs (MILPs), where
infeasibility of a MILP usually indicates unrealizability of the controller
synthesis problem. Given an infeasible STL synthesis problem, we present
algorithms that provide feedback on the reasons for unrealizability, and
suggestions for making it realizable. Our algorithms are sound and complete,
i.e., they provide a correct diagnosis, and always terminate with a non-trivial
specification that is feasible using the chosen synthesis method, when such a
solution exists. We demonstrate the effectiveness of our approach on the
synthesis of controllers for various cyber-physical systems, including an
autonomous driving application and an aircraft electric power system
- âŠ