A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Coordination Between Logical Agents
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
Purpose • The goal of this research is to provide a logical framework of coordination between agents. • Each agent has a knowledge base as a logic program and the set of beliefs under the answer set semantics ...
of two or more programs. • Future work includes investigation of other types of coordination and collaboration, and their characterization in terms of computational logic. ...
doi:10.1007/11533092_10
fatcat:ugqpttpwu5bqdfra7ygjygqi5a
Coordination: Reo, Nets, and Logic
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The second part re-examines the idea of using linear logic as a basis for coordination languages. ...
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). ...
Linear logic has been used as the basis for the coordination language LO (Linear Objects) [5] -though this can equally be seen as a way of combining logic and object-oriented programming-and, its successor ...
doi:10.1007/978-3-540-92188-2_10
fatcat:d54sshpy4fbnrn3q5tkrwhum64
The logical structure of coordinate indexing
1953
American Documentation
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
ere
F ress
THE LOGICAL STRUCTURE OF COORDINATE INDEXING"
MORTIMER TAUBE AND IRMA S. ...
The logic of coordinate indexing is the class calculus of modern symbolic logic, which, in turn, is based upon Boole’s algebra of logic* and Schréder’s development of the algebra to its present definitive ...
doi:10.1002/asi.5090040206
fatcat:kbr7kjeqcfeg5ew3rhru2en4sy
Multirobot Coordination with Counting Temporal Logics
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We first introduce a general logic called counting linear temporal logic plus (cLTL+), and propose an optimization-based method that generates individual trajectories such that satisfaction of a given ...
Motivated by this problem, we introduce counting temporal logics---formal languages that enable concise expression of multirobot task specifications over possibly infinite horizons. ...
SYNCHRONOUS COORDINATION PROBLEM AND ITS
SOLUTION This section provides the formal definition of the synchronous multirobot coordination problem and provides an optimization-based solution for cLTL+ ...
arXiv:1810.13087v1
fatcat:l673b37przb5fgvoda7wd2xqs4
COORDINATION AND APPLICATIVE CATEGORIAL TYPE LOGIC
2006
International journal on artificial intelligence tools
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Despite extensive theoretical work carried out on coordination during the last three decades, much research is still devoted to proving the merits of one model over another. ...
In our article, we will show how the coordination process in French (with using the conjunction et (and)) can be explained through Applicative and Combinatory Categorial Grammar (ACCG). ...
Categorial Type Logic 1015 2. ...
doi:10.1142/s0218213006003089
fatcat:ykfw2lx2iffz7fhz7lvjujvx4a
Institutional logics matter when coordinating resource integration
2014
Marketing Theory
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
When conceptualizing the systemic nature of resource integration, we include the regulative, normative, and cognitive institutions and institutional logics. ...
However, little is known about the systemic nature of resource integration and the ways the activities of resource integrators are coordinated and adjusted to each other. ...
Alongside the conceptual framework, the article derived four key propositions to explain how institutional logics matter when coordinating resource integration. ...
doi:10.1177/1470593114534343
fatcat:4jobg6zwvvh53kmijfwj3dndqy
Coordination via Interaction Constraints I: Local Logic
2009
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
This paper describes the underlying logic, which enables a notion of local solution, and relates this logic to the more global approach of our previous work based on classical logic. ...
Wegner describes coordination as constrained interaction. ...
Simple Logic Using partial logic as the basis of a coordination engine is not ideal, as constraint satisfaction for this logic could find solutions which do not satisfy the meta-flow axiom (due to Lemma ...
doi:10.4204/eptcs.12.2
fatcat:2vlap3h4orcxjbmafpmquvkbci
Agent coordination and control through logic theories
[chapter]
1995
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This work describes an agent interaction model ( ¡ ¢ £ , Agent Communicating through Logic Theories) rooted in the concept of logic theory. ¡ ¢ £ agents and their behaviour are conceived as inferential ...
The ¤ ¥ ¦ § (Agents Communicating through Logic Theories) model proposed in this paper is a first-order logic-based approach, rooted in the CPU programming model described in [3] . ...
Logic consequence and time-related changes 3.1 ¤ ¥ ¦ §
primitives for logic inference The main problem of using a logic-based language as a coordination language lays in side-effect nature of the communication ...
doi:10.1007/3-540-60437-5_43
fatcat:bhudyiri3rcqhplt4fuuvwkbv4
Multi-agent Coordination as Distributed Logic Programming
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. ...
One view of multi-agent system design is that coordination is achieved via an interaction model in which participating agents assume roles constrained by the social norms of their shared task; the state ...
One form of involvement is to invent a form of logic programming language that gives an overall architecture for coordination. The Go! ...
doi:10.1007/978-3-540-27775-0_29
fatcat:hxvg5efayzbgfeedp67m24ju6u
Protection Coordination Index Assessment Using Fuzzy Logic Controller
2022
Energies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The protection index of each protection component of the integrated digital relay is assessed by a fuzzy logic controller. ...
Thus, a method was proposed to evaluate the protection index of overcurrent systems using fuzzy logic. This is the unique research result of this paper. ...
The output of the pair-wise fuzzy logic controller is the pair-wise protection coordination index. ...
doi:10.3390/en15041377
fatcat:dk3yshd53bhutdc3phm5vbpxeq
To Design Logic Circuits by Using Symmetrical Coordinate
2010
Journal of Computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Experiments are given in this article to illustrate how to use the system of symmetrical coordinate to design the logic circuits. ...
The symmetrical coordinate system stated in this article can be constructed to represent various states of multi-dimensional logical variables. ...
SYMMETRICAL COORDINATE Symmetrical coordinate is a coordinate system indicating logic state with dual values. All variables in the coordinate have the logic value of either "1" or "0". ...
doi:10.4304/jcp.5.9.1402-1409
fatcat:yxnvauuytvg4dh6mo7eem6kifi
Electrical Vehicles Charging Coordination by Fuzzy Logical System
2018
Uluslararası Muhendislik Arastirma ve Gelistirme Dergisi
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this article a fuzzy logic system that is providing the cheapest charging prices, also reducing the impact on the load curve of Turkey's electrical network is provided. ...
In this article, the adverse effects of charging scenarios of electric vehicles' batteries on the electric power network are examined and fuzzy logic based solutions are proposed to prevent or reduce the ...
(Temiz & Guven, 2016) A novel pricing system using Fuzzy Logic was introduced in this study because of the shortcomings of the studies mentioned before. ...
doi:10.29137/umagd.426804
fatcat:td3os55qsfgjtb25fwfq3l3pya
Analysis on swarm robot coordination using fuzzy logic
2019
Indonesian Journal of Electrical Engineering and Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Fuzzy logic control in this paper allows uncertain input, and produces unlimited commands to control motion direction with speed settings according to environmental conditions. ...
Each robot coordinates their movements to avoid obstacles and moving simultaneously. ...
-
Analysis on swarm robot coordination using fuzzy logic (Ade SilviaHandayani) 57
Analysis on swarm robot coordination using fuzzy logic (Ade SilviaHandayani) Xbee
Personal Computer
Interface ...
doi:10.11591/ijeecs.v13.i1.pp48-57
fatcat:d26xwt462farxits2rz3hp55ya
Synthesis of coordination programs from linear temporal logic
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This is the first method to handle both sources of partial knowledge, and to do so for arbitrary linear temporal logic specifications. ...
the coordinator. ...
Logic, but only in a model with full knowledge. ...
arXiv:1911.03807v1
fatcat:2cgulsl6cvby5nq476abof7np4
Towards logic programming based coordination in virtual worlds
[chapter]
1998
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Moving beyond the Linda framework LogiMOO is based on, we describe a coordination logic for agent programming based on ideas from (affine) linear logic and Java's synchronized object system as well as ...
We propose a unified framework for coordination in multi-user Virtual Worlds, based on our experience with LogiMOO, a BinProlog+Linda based programmable shared Virtual World. ...
Logic based coordination constructs are pioneered by Brogi and Ciancarini [5] . ...
doi:10.1007/bfb0027099
fatcat:ohcoxtr2affnflyljgsugncfci
« Previous
Showing results 1 — 15 out of 663,880 results