全部 |
  • 全部
  • 题名
  • 作者
  • 机构
  • 关键词
  • NSTL主题词
  • 摘要
检索 二次检索 AI检索
外文文献 中文文献
筛选条件:

1. CAN-VERIFY: Automated analysis for BDI agents NSTL国家科技图书文献中心

Xu, Mengwei |  Archibald, Blair... -  《Science of Computer Programming》 - 2025,241 - 共4页

摘要: analysing BDI agents written in the Conceptual Agent |  program interpretation (running agents), and model | -checking of agent programs (analysing agents). The model |  checking supports verifying the correctness of agents | We present CAN-VERIFY, an automated tool for
关键词: BDI agents |  Modelling |  Verification

2. Modelling and verifying BDI agents under uncertainty NSTL国家科技图书文献中心

Archibald, Blair |  Sevegnani, Michele... -  《Science of Computer Programming》 - 2025,242 - 共18页

摘要:Belief-Desire-Intention (BDI) agents feature |  scenarios we need reason about such agents, for example |  strategies used to maximise this. Most agents do not |  uncertain beliefs (e.g. sensor noise), probabilistic |  action outcomes (e.g. attempting and action and failing
关键词: BDI agents |  Uncertain beliefs |  Modelling |  Verification |  Synthesis

3. Jadex BDI Agents Integrated with MATSim for Autonomous Mobility on Demand NSTL国家科技图书文献中心

Marcel Mauri |  Omer Ibrahim Erduran... -  《Engineering Multi-Agent Systems》 -  International Workshop on Engineering Multi-Agent Systems - 2025, - 125~143 - 共19页

摘要: BDI agents to interact with Agent-based Models (ABM |  ABM-Jadex layer, which allows attaching BDI Agents | This paper presents our extension for the BDI |  introduce cognitive vehicle agents capable of negotiating | -ABM interface, which provides a connection layer for
关键词: BDI agent |  BDI-ABM framework |  Traffic simulation |  Jadex |  Agent development framework

4. On the External Concurrency of Current BDI Frameworks for MAS NSTL国家科技图书文献中心

Martina Baiardi |  Samuele Burattini... -  《Engineering Multi-Agent Systems》 -  International Workshop on Engineering Multi-Agent Systems - 2025, - 42~63 - 共22页

摘要:The execution of Belief-Desire-Intention (BDI | ) agents in a Multi-Agent System (MAS) can be practically |  commonly used BDI platforms. Although most frameworks |  implemented on top of low-level concurrency mechanisms that |  impact on efficiency, determinism, and reproducibility
关键词: Agent-Oriented programming |  Concurrency |  BDI agents |  Threading |  Parallelism

5. An expedited BDI agent architecture: Improving the responsiveness of agent-based autonomous systems for handling critical situations NSTL国家科技图书文献中心

Becker, Leandro Buss |  Silvestre, Iago de O...... -  《Robotics and Autonomous Systems》 - 2025,186 - 共17页

摘要:This work presents improvements on BDI agent |  real-time BDI architectures, due the characteristics | , expedited, BDI architecture capable of maintaining |  BDI programming framework. Considering that our main |  standard BDI reasoning cycle time.
关键词: Autonomous systems |  BDI agents architecture |  Critical situations |  Fast reactions |  Small overhead

6. Context aware clustering and meta-heuristic resource allocation for NB-IoT D2D devices in smart healthcare applications NSTL国家科技图书文献中心

Nahar Sultana |  Farhana Huq... -  《Future generations computer systems》 - 2025,162(Jan.) - 107477.1~107477.17 - 共17页

摘要:-Intention (BDI) agents for dynamic and intelligent | The utilization of Device-to-Device (D2D | ) communication among Narrowband Internet of Things (NB-IoT | ) devices offers significant potential for advancing |  intelligent healthcare systems due to its superior data
关键词: D2D |  BDI agent |  NB-IoT |  Utility |  Interference mitigation |  Prioritized healthcare |  Resource allocation

7. An Agent-Centric Perspective on Norm Enforcement and Sanctions NSTL国家科技图书文献中心

Elena Yan |  Luis G. Nardin... -  《Coordination,Organizations,Institutions,Norms,and Ethics for Governance of Multi-Agent Systems XVII》 -  International Conference on Autonomous Agents and Multi-Agent Systems |  International Workshop on Coordination,Organizations,Institutions,Norms,and Ethics for Governance of Multi-Agent Systems - 2025, - 79~99 - 共21页

摘要: preserving agents' autonomy. The few works dealing with |  abstractions. We also propose a BDI normative agent |  the robustness of agents' decision-making in a | In increasingly autonomous and highly |  distributed multi-agent systems, centralized coordination
关键词: Sanctions |  Normative programming language |  Normative agent architecture |  Norm enforcement

8. Generating and Evaluating Data of Daily Activities with an Autonomous Agent in a Virtual Smart Home NSTL国家科技图书文献中心

LYSA GRAMOLI |  JULIEN CUMIN... -  《ACM transactions on multimedia computing communications and applications》 - 2025,21(1) - 13.1~13.25 - 共25页

摘要: BDI-based model enhanced with a scheduler designed |  were configured to react to the agents behaviors | Training machine learning models to identify |  human behavior is a difficult yet essential task to |  develop autonomous and adaptive systems such as smart
关键词: Synthetic data |  autonomous agent |  activities of daily living |  human activity recognition

9. Empowering BDI Agents with Generalised Decision-Making NSTL国家科技图书文献中心

Ramon Fraga Pereira |  Felipe Meneguzzi -  《International Conference on Autonomous Agents and Multiagent Systems: Auckland, New Zealand, 6-10 May 2024, volume 4 of 4》 -  International Conference on Autonomous Agents and Multiagent Systems - 2024, - 2679~2683 - 共5页

摘要: empowers the decision-making process of BDI agents in | While research on software agents has long |  agents via recognising each other's intentions and |  endow autonomous agents with analogous coordination |  BDI model and its reasoning process to outline a
关键词: BDI agents |  Decision-Making |  Generalised planning

10. Quantitative modelling and analysis of BDI agents NSTL国家科技图书文献中心

Blair Archibald |  Muffy Calder... -  《Software and systems modeling》 - 2024,23(2) - 343~367 - 共25页

摘要:Belief-desire-intention (BDI) agents are a |  notation (Can)-a BDI programming language with advanced |  popular agent architecture. We extend conceptual agent |  features such as failure recovery and declarative goals | -to include probabilistic action outcomes, e.g. to
关键词: BDI agents |  Quantitative analysis |  Bigraphs |  Probabilistic modelling |  Robotic software
检索条件BDI agents

NSTL主题词

  • NSTL学科导航