List homomorphisms are functions that are parallelizable using the divide-and-conquer paradigm. We study the problem of finding a homomorphic representation of a given function, based on the Bird-Meertens theory of li...
详细信息
there is a great number of applications used today to support decision-making in socio-economic sphere. Various approaches and tools are used to implement the applications. the article provides the overview of scienti...
详细信息
Modern software is often developed with advanced mechanisms for code reuse. A software module may build on other software modules or libraries where the source code is not available. And even if the source code is kno...
详细信息
Induction of the effects of actions considered here consists in learning an action description of a dynamic system from evidence on its behavior. General logic-based induction methods can deal withthis problem but, u...
详细信息
ISBN:
(纸本)9783540399179
Induction of the effects of actions considered here consists in learning an action description of a dynamic system from evidence on its behavior. General logic-based induction methods can deal withthis problem but, unfortunately, most of the solutions provided have the frame problem. To cope withthe frame problem induction under suitable nonmonotonic formalisms has to be used, though this kind of induction is not well understood yet. We propose an alternative method that relies on the identification of a monotonic induction problem whose solutions correspond one-to-one to those of the original problem without the frame problem. From this result induction of the effects of actions can be characterized under current monotonic induction methods.
In this paper we present an approach for modelling functional procedures (as they occur in imperative programming languages) in a weakest precondition framework. Functional procedures are called inside expressions, bu...
详细信息
We applied the constraint-based approach to develop a web-based diagnosis system for Prolog. this paper introduces the evaluation results which reflects the current efficacy of our system. We gathered 261 log files wh...
详细信息
Automated planning has been the subject of intensive research and is at the core of several areas of AI, including intelligent agents and robotics. In this thesis proposal, we argue that Concurrent Transaction logic (...
详细信息
In 2011, simple and concise axioms for feature compositions, interactions and products have been proposed by Batory et al. they were mainly inspired by Kästner's Colored IDE (CIDE) as well as by experience in...
详细信息
the proceedings contain 38 papers. the special focus in this conference is on Artificial General Intelligence. the topics include: the hierarchical memory based on compartmental spiking neuron model;the dynamics of gr...
ISBN:
(纸本)9783030521516
the proceedings contain 38 papers. the special focus in this conference is on Artificial General Intelligence. the topics include: the hierarchical memory based on compartmental spiking neuron model;the dynamics of growing symbols: a ludics approach to language design by autonomous agents;approach for development of engineering tools based on knowledge graphs and context separation;towards dynamic process composition in the dso cognitive architecture;sage: task-environment platform for evaluating a broad range of ai learners;post-turing methodology: breaking the wall on the way to artificial general intelligence;preface;AGI and the Knight-Darwin Law: Why Idealized AGI Reproduction requires collaboration;self-explaining ai as an alternative to interpretable ai;agi needs the humanities;report on "ai and human thought and emotion";cognitive machinery and behaviours;combinatorial decision dags: a natural computational model for general intelligence;what kind of programming language best suits integrative agi?;guiding symbolic natural language grammar induction via transformer-based sequence probabilities;embedding vector differences can be aligned with uncertain intensional logic differences;delta schema network in model-based reinforcement learning;information digital twin—enabling agents to anticipate changes in their tasks;error-correction for ai safety;‘opennars for applications’: architecture and control;towards agi agent safety by iteratively improving the utility function;learning to model another agent’s beliefs: a preliminary approach;an attentional control mechanism for reasoning and learning;hyperdimensional representations in semiotic approach to agi;the conditions of artificial general intelligence: logic, autonomy, resilience, integrity, morality, emotion, embodiment, and embeddedness;how do you test the strength of ai?;artificial creativity augmentation.
this book constitutes the refereed proceedings of the 13thinternational Haifa Verification conference, HVC 2017, held in Haifa, Israel in November 2017.;the 13 revised full papers presented together with 4 ...
详细信息
ISBN:
(数字)9783319703893
ISBN:
(纸本)9783319703886
this book constitutes the refereed proceedings of the 13thinternational Haifa Verification conference, HVC 2017, held in Haifa, Israel in November 2017.;the 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. they are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.
暂无评论