发布求助
文献互助 智能选刊 最新文献

[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems最新文献

筛选
英文 中文
The acceptance relation and the specification of communicating agents 通信代理的接受关系与规范
[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems Pub Date : 1993-05-12 DOI: 10.1109/ICICIS.1993.291764
R. Vieira, A. C. R. Costa
{"title":"The acceptance relation and the specification of communicating agents","authors":"R. Vieira, A. C. R. Costa","doi":"10.1109/ICICIS.1993.291764","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291764","url":null,"abstract":"This work presents the formalization of pragmatical notions based on the relation between agents and sentences of the language which they use to communicate to each other. The approach is based on R. Martin's \"Toward a Systematic Pragmatics\" (1959). A pragmatical metalanguage expresses agent's acceptance relation with an object language. Some set constructions are used to illustrate the definitions and make the ideas intuitive. Semantical and pragmatical notions are constructed based on this acceptance relation. Martin defends that some of these notions are closely similar to notions of subjective intension or connotation, having the advantage of being extensionals. The subjective accent of this approach to language and communication is appropriate to the problem of the specification of diversified communicating agents.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128571262","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Intelligent modifications in a distributed knowledge-representation architecture 分布式知识表示体系结构中的智能修改
[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems Pub Date : 1993-05-12 DOI: 10.1109/ICICIS.1993.291738
S. Jacobi, W. Hower
{"title":"Intelligent modifications in a distributed knowledge-representation architecture","authors":"S. Jacobi, W. Hower","doi":"10.1109/ICICIS.1993.291738","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291738","url":null,"abstract":"Introduces a novel mechanism for the updating process in a distributed knowledge base to allow flexible responses to cooperative interaction. The paper focuses upon the intelligent change of a given problem description according to some interaction. This feature is important because one often does not have handy the complete problem specification right from the beginning. Another motivation is the necessity to cope with the detection of inconsistent situations (where no traditional solution is possible). Our approach realizes the philosophy just to change those parts which are really influenced directly by the modifications; so, an entire recomputation can often be suppressed. An advanced modelling of this feature is indispensable, due to the exponential complexity of global constraint satisfaction. We first recapitulate related work. We illustrate the constraint processing paradigm. We introduce the basic alterations to the constraint satisfaction algorithm which are proposed for intelligent updating. The actual procedure is depicted subsequently. Finally, we exemplify the reasoning technique.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114319904","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Physical ownership and task reallocation for multiple robots with heterogeneous goals 具有异构目标的多机器人物理所有权和任务再分配
[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems Pub Date : 1993-05-12 DOI: 10.1109/ICICIS.1993.291767
T. Yakoh, Y. Anzai
{"title":"Physical ownership and task reallocation for multiple robots with heterogeneous goals","authors":"T. Yakoh, Y. Anzai","doi":"10.1109/ICICIS.1993.291767","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291767","url":null,"abstract":"A model of physical ownership for multiple robots is formulated, and implemented on a reactive operating system for autonomous mobile robots available in an intelligent robot-supported software system or groupware. The model is particularly useful in implementing algorithms with which multiple robots with heterogeneous goals working under the groupware can reallocate tasks by themselves. The paper describes the physical ownership model and how it can be implemented, as well as the robots, reactive operating system, robot supported groupware and task reallocation algorithm, now running in our laboratory.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125136648","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Reasoning about goals to resolve conflicts 对解决冲突的目标进行推理
[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems Pub Date : 1993-05-12 DOI: 10.1109/ICICIS.1993.291747
N. Griffeth, H. Velthuijsen
{"title":"Reasoning about goals to resolve conflicts","authors":"N. Griffeth, H. Velthuijsen","doi":"10.1109/ICICIS.1993.291747","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291747","url":null,"abstract":"A mechanism is presented for negotiating to resolve conflicts that arise when autonomous agents need to agree on a collection of operations in order to achieve a goal. These conflicts arise when the agents have different policies as to which operations are acceptable. The authors' mechanism protects the privacy of the agents because they are not required to exchange information freely about their goals. Instead, each agent can infer the goals of the other agents. This characteristic is obtained by incorporating plan recognition in the negotiation process. Their mechanism requires agents to find alternative activities that achieve the goals of all involved agents, rather than allowing them to rely on modification of their own or other agents' goals. This approach is reasonable in contexts such as telecommunications systems, where agreement about end goals is usual, and the difficulty is in achieving agreement on the means to achieve the end goals. The negotiation mechanism is illustrated using an example where agents represent subscribers to a telecommunications system.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123830643","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
Enforcing data dependencies in cooperative information systems 在协作信息系统中加强数据依赖性
[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems Pub Date : 1993-05-12 DOI: 10.1109/ICICIS.1993.291743
Sridhar Gantimahapatruni, George Karabatis
{"title":"Enforcing data dependencies in cooperative information systems","authors":"Sridhar Gantimahapatruni, George Karabatis","doi":"10.1109/ICICIS.1993.291743","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291743","url":null,"abstract":"Interdependent data are data objects in a cooperative information environment that are related by mutual consistency requirements. A flexible framework for specifying the dependency requirements of interdependent data using data dependency descriptors is discussed. A mechanism called polytransactions is presented to automatically generate actions to restore the consistency between interdependent data. The design of two concurrency control mechanisms for concurrent execution of polytransactions is given. The first is a deadlock-free graph-locking mechanism and the second is a variant of multiversion timestamps with rollback that never rejects operations arriving out of timestamp order. A conceptual system architecture is outlined for the execution of polytransactions. The notion of a multidatabase monitor is discussed.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131238079","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
A multiformalism approach to formalize intelligent cooperative information systems 一种形式化智能协作信息系统的多形式化方法
[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems Pub Date : 1993-05-12 DOI: 10.1109/ICICIS.1993.291774
H. Bachatène, A. E. Seghrouchni
{"title":"A multiformalism approach to formalize intelligent cooperative information systems","authors":"H. Bachatène, A. E. Seghrouchni","doi":"10.1109/ICICIS.1993.291774","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291774","url":null,"abstract":"We present a multiformalism approach combining knowledge structure and intelligent cooperation, to formalize cooperative information systems. The underlying architecture encourages formalism and tool interoperability. The basic building block is the knowledge base society, specified by the modeling-unit model. Cooperation is managed by an intelligent control, by means of meta knowledge and specific problem solving strategies. Communication relies on service delimitation from internal structure. Dynamics is expressed with production rules in a constraint specification language. A translation method derives colored Petri nets describing system's behavior.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128675258","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A planning algorithm for distributed manufacturing 分布式制造的规划算法
[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems Pub Date : 1993-05-12 DOI: 10.1109/ICICIS.1993.291765
T. Gyires, B. Muthuswamy
{"title":"A planning algorithm for distributed manufacturing","authors":"T. Gyires, B. Muthuswamy","doi":"10.1109/ICICIS.1993.291765","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291765","url":null,"abstract":"Distributed manufacturing (DM), downsizing, and outsourcing are becoming increasingly popular. Processes in manufacturing a product may be distributed at different sites. A production plan in such environments consists of various subplans, team coordination schedules, and decision making on task-team assignments. We present a distributed artificial intelligence (DAI) approach that enables people and computers to work cooperatively as teams in decision making. Our model is a set of loosely coupled, autonomous, communicating problem solver nodes representing a functional unit such as design, production, testing, and accounting, that participate in planning, group problem solving and negotiation. A heuristic algorithm assigns subplans to sites to optimize costs.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130586129","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Learning agents for cooperative hyperinformation systems 协作式超信息系统的学习代理
[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems Pub Date : 1993-05-12 DOI: 10.1109/ICICIS.1993.291754
A. Namatame, Y. Tsukamoto
{"title":"Learning agents for cooperative hyperinformation systems","authors":"A. Namatame, Y. Tsukamoto","doi":"10.1109/ICICIS.1993.291754","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291754","url":null,"abstract":"A model of learning agents is presented. It is shown how this model will support the incorporation of agents into distributed hypermedia systems. The question of self-organization in multi-agent systems in which agents are actively learning from their experience is addressed. Each agent, endowed with a different connectionist learning capability, behaves in a specific problem domain and is specialized to interact with environments. Each agent encapsulates a specific set of knowledge obtained from a different set of training examples. The issues relating to the composite and heterogeneous agent models are discussed. The hypermedia information system incorporating heterogeneous and composite learning agents is developed. The aim of this application is to develop the distributed intelligent hypermedia information system in an open environment of distributed workstations.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125153505","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A distributed real-time knowledge-based system and its implementation using object-oriented techniques 分布式实时知识系统及其面向对象技术的实现
[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems Pub Date : 1993-05-12 DOI: 10.1109/ICICIS.1993.291773
H. Dai, J. Hughes, D. Bell
{"title":"A distributed real-time knowledge-based system and its implementation using object-oriented techniques","authors":"H. Dai, J. Hughes, D. Bell","doi":"10.1109/ICICIS.1993.291773","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291773","url":null,"abstract":"We present a distributed knowledge-based system, called HOPES, for real-time applications. System details of HOPES are described, including its knowledge sources, the multi-blackboard architecture, and communication strategies. It shows that real-time AI systems can benefit very much from using distributed and cooperative processing techniques. Implementation issues of the HOPES system are also addressed. Object-oriented techniques are used for the system development. Important features of object-orientation such as message passing, encapsulation, and inheritance are discussed, and it is shown that object-oriented methods can provide a powerful means for implementing a distributed knowledge-based system effectively and efficiently.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"162 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122978073","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Using temporal abstractions and cancellations for efficiency in automated meeting scheduling 在自动会议安排中使用时间抽象和取消来提高效率
[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems Pub Date : 1993-05-12 DOI: 10.1109/ICICIS.1993.291750
S. Sen, E. Durfee
{"title":"Using temporal abstractions and cancellations for efficiency in automated meeting scheduling","authors":"S. Sen, E. Durfee","doi":"10.1109/ICICIS.1993.291750","DOIUrl":"https://doi.org/10.1109/ICICIS.1993.291750","url":null,"abstract":"Techniques are presented to improve the time taken by autonomous scheduling agents to schedule meetings and to accommodate as much as possible high priority meetings in an overconstrained situation. The first of these objectives is attained by building a temporal abstraction hierarchy of the calendar and negotiating at successively lower levels of the hierarchy, thereby pruning away unpromising parts of the search space. The second objective is attained by developing an estimated utility measure of scheduling a new meeting by bumping an already scheduled meeting, which has to be subsequently rescheduled (if possible). Within this framework, priorities associated with meetings, and estimates of the work required to reschedule bumped meetings are taken into account.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131086959","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信