Filters








663,880 Hits in 2.3 sec

Coordination Between Logical Agents [chapter]

Chiaki Sakama, Katsumi Inoue
2005 Lecture Notes in Computer Science  
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]

Dave Clarke
2008 Lecture Notes in Computer Science  
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

Mortimer Taube, Irma S. Wachtel
1953 American Documentation  
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]

Yunus Emre Sahin and Petter Nilsson and Necmiye Ozay
2018 arXiv   pre-print
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

ISMAÏL BISKRI, JEAN-PIERRE DESCLÉS, BOUCIF AMAR BENSABER
2006 International journal on artificial intelligence tools  
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

Bo Edvardsson, Michael Kleinaltenkamp, Bård Tronvoll, Patricia McHugh, Charlotta Windahl
2014 Marketing Theory  
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

Dave Clarke, José Proença
2009 Electronic Proceedings in Theoretical Computer Science  
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]

Andrea Omicini, Enrico Denti, Antonio Natali
1995 Lecture Notes in Computer Science  
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]

David Robertson
2004 Lecture Notes in Computer Science  
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

Choong-Koo Chang, Ahmed Mohamed Elmashtoly
2022 Energies  
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

Yu SHEN, Cheng-Bo YU
2010 Journal of Computers  
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

Meral Kılıçarslan, Volkan Ateş, Hüseyin Aydilek, Ertuğrul Çam
2018 Uluslararası Muhendislik Arastirma ve Gelistirme Dergisi  
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

Ade Silvia Handayani, Siti Nurmaini, Irsyadi Yani, Nyayu Latifah Husni
2019 Indonesian Journal of Electrical Engineering and Computer Science  
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]

Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
2019 arXiv   pre-print
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]

Paul Tarau, Veronica Dahl, Koen De Bosschere
1998 Lecture Notes in Computer Science  
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