An active security system assures that interacting robots don't collide or that a robot operating independently doesn't hit any obstacle that is encountered in the robots workspace. In this paper, an active se...
详细信息
ISBN:
(纸本)9789898111319
An active security system assures that interacting robots don't collide or that a robot operating independently doesn't hit any obstacle that is encountered in the robots workspace. In this paper, an active security system for a FANUC industrial robot is introduced. the active security problem where one robot needs to avoid a moving obstacle in its workspace is considered. An obstacle detection and localization mechanism based on stereoscopic vision methods was successfully developed. To connect the vision system, an operator's pc and the robot environment a real-time communication is set up over Ethernet using socket messaging. We used fuzzy logic for intelligent trajectory planning. A multitask oriented robot application in the KAREL programming language of FANUC Robotics was implemented and tested.
this paper describes a system named "Glue logic", which is a infrastructural system designed for factory automation control system, and a sample implementation of a layer structured control system architectu...
详细信息
ISBN:
(纸本)0387238514
this paper describes a system named "Glue logic", which is a infrastructural system designed for factory automation control system, and a sample implementation of a layer structured control system architecture, which is named "Scalable Intelligent Control Architecture" reported in the DIISM2000. the "Glue logic" supports the real-time controlling and monitoring system, by means of realizing communication and synchronizing among multiple agents. Using the active database technique, this system includes event notification message sending and condition monitoring features to eliminate data polling. this system also supports efficient programming environment, by increasing modularity and reusability of the software assets. Using the Glue logic, we are now designing a real-time data gathering system in practical manufacturing lines according to the Scalable Intelligent Control Architecture, which permits expansion of control systems not only in spatial dimension but also in intelligence.
Originally proposed in the mid-90s, design patterns for software development played a key role in object-oriented programming not only in increasing software quality, but also by giving a better understanding of the p...
详细信息
ISBN:
(纸本)9783662465493;9783662465486
Originally proposed in the mid-90s, design patterns for software development played a key role in object-oriented programming not only in increasing software quality, but also by giving a better understanding of the power and limitations of this paradigm. Since then, several authors have endorsed a similar task for other programming paradigms, in the hope of achieving similar benefits. In this paper we present a set of design patterns for Mdl-programs, a hybrid formalism combining several description logic knowledge bases via a logic program. these patterns are extensively applied in a natural way in a large-scale example that illustrates how their usage greatly simplifies some programming tasks, at the level of both development and extension. We also discuss some limitations of this formalism, examining some usual patterns in other programming paradigms that have no parallel in Mdl-programs.
Field Programmable Gate Arrays (FPGAs) are continually improving their computing capabilities and energy efficiency. Yet, programming FPGAs remains a time-consuming task and requires expert knowledge to obtain good pe...
详细信息
the logicprogramming approach to the intelligent monitoring of anomalous human activity is considered. the main idea of this approach is to use first order logic for describing abstract concepts of anomalous human ac...
详细信息
ISBN:
(纸本)9783319261294;9783319261287
the logicprogramming approach to the intelligent monitoring of anomalous human activity is considered. the main idea of this approach is to use first order logic for describing abstract concepts of anomalous human activity, i.e. brawl, sudden attack, armed attack, leaving object, loitering, pickpocketing, personal theft, immobile person, etc. We have created a research led software platform based on the Actor Prolog concurrent object-oriented logic language and a state-of-the-art Prolog-to-Java translator for examining the intelligent visual surveillance. A method of logical rules creation is considered in relation to the analysis of anomalous human behavior. the problem of creation of special built-in classes of Actor Prolog for the low-level video processing is discussed.
this book constitutes the refereed proceedings of the 9th International conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th Inte...
详细信息
ISBN:
(数字)9783642022739
ISBN:
(纸本)9783642022722
this book constitutes the refereed proceedings of the 9th International conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International conference on Rewriting, Deduction, and programming. the 27 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 53 submissions. the papers present original research results that are broadly relevant to the theory and applications of typed calculi and address a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.
Although object-oriented languages are nowadays the mainstream of application development, several research contexts suggest that a multi-paradigm approach is worth pursuing. In particular, a declarative, logic-based ...
详细信息
ISBN:
(纸本)9781595936721
Although object-oriented languages are nowadays the mainstream of application development, several research contexts suggest that a multi-paradigm approach is worth pursuing. In particular, a declarative, logic-based paradigm could fruitfully add functionalities related to automatic reasoning, adaptivity, and conciseness in expressing algorithms. In this paper we present P@J, a framework for enhancing interoperability between Java and Prolog based on the tuProlog open-source Prolog engine for Java. P@J supports smooth language-interoperability by first introducing an API for modeling first-order logic terms by Java generics and wildcards, promoting expressiveness and safety. On top of it, an annotation layer is then introduced that extends Java withthe ability of implementing parts of the application code using Prolog. Copyright 2007 ACM.
the aim of this paper is to offer an argumentation-based defeasible logicthat enables temporal forward reasoning. We extend the DeLP logical framework by associating temporal parameters to literals. A temporal logic ...
详细信息
ISBN:
(纸本)9783642239625;9783642239632
the aim of this paper is to offer an argumentation-based defeasible logicthat enables temporal forward reasoning. We extend the DeLP logical framework by associating temporal parameters to literals. A temporal logic program is a set of temporal literals and durative rules. these temporal facts and rules combine into durative arguments representing temporal processes, that permit us to reason defeasibly about future states. the corresponding notion of logical consequence, or warrant, is defined slightly different from that of DeLP, due to the temporal aspects. As usual, this notion takes care of inconsistencies, and in particular we prove the consistency of any logical program whose strict part is consistent. Finally, we define and study a sub-class of arguments that seem appropriate to reason with natural processes, and suggest a modification to the framework that is equivalent to restricting the logic to this class of arguments.
In this paper we describe a series of optimizations brought to a discourse structuring module for answer generation in dialogue systems. Starting from a baseline rhetorical structure updating algorithm, based on a fir...
详细信息
ISBN:
(纸本)9789732718087
In this paper we describe a series of optimizations brought to a discourse structuring module for answer generation in dialogue systems. Starting from a baseline rhetorical structure updating algorithm, based on a first-order logic simulation of SDRT ("Segmented Discourse Representation theory"), several improved versions are obtained, applying a series of pragmatically-driven, psychologically-motivated or purely computational optimizations. these optimizations stem from a reduction in the complexity of the baseline algorithm, as well as from a better conformance of the rhetorical structures obtained to linguistic predictions.
We consider abstract interpretation, and in particular the basic operators of reduced product and complementation of abstract domains, as a tool to systematically derive denotational semantics by composition and decom...
详细信息
暂无评论