• Home
  • Search
  • Seeing is Believing and So are Hearing and Jumping
  • Open Access IconOpen Access
  • Cite Icon22
  • https://doi.org/10.1007/978-94-017-1741-0_11Copy DOI Icon

Seeing is Believing and So are Hearing and Jumping

  • Jan 1, 2002
  • Wiebe Van Der Hoek +2 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

The formalisation of rational agents is a topic of continuing interest in Artificial Intelligence. Research on this subject has held the limelight ever since the pioneering work of Moore [1980; 1984] in which knowledge and actions are considered. Over the years important contributions have been made on both informational aspects like knowledge and belief [Halpern and Moses, 1992; Meyer and van der Hoek, 1995], and motivational 1 aspects like commitments and obligations [Cohen, 1990]. Recent developments include the work on agent-oriented programming [Shoham, 1993; Thomas, 1993], the Belief-Desire-Intention architecture [Rao and Georgeff, 1991; Rao and Georgeff, 1991a; Rao and Georgeff, 1993], logics for the specification and verification of multi-agent systems [Wooldridge, 1994; Wooldridge and Fisher, 1992], logics for agents with bounded rationality [Huang, 1994; Huang et al., 1992], and cognitive robotics [Lesperance et al., 1994; Levesque, 1994].KeywordsRational AgentBelief RevisionKripke ModelDynamic LogicPropositional FormulaThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Similar Papers
  • Research Article
  • Citations105

On the Formal Specification and Verification of Multi-Agent Systems

  • Mar 01, 1997
  • International Journal of Cooperative Information Systems
  • Michael Fisher +1
  • Book Chapter
  • Citations4

The Refinement of Choreographed Multi-Agent Systems

  • Jan 01, 2010
  • Lăcrămioara Aştefănoaei +2
  • Conference Article

Robotization and artificial intelligence in the function of Industry 4.0

  • Jan 01, 2025
  • Nebojša Denić +4
  • Conference Article
  • Citations6

Analyzing model checking approach for multi agent system verification

  • Dec 01, 2011
  • Najwa Abu Bakar +1
  • Conference Article
  • Citations8

Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach

  • May 01, 2009
  • Alessio Lomuscio +1
  • Conference Article

Automatic verification of parameterised multi-agent systems

  • May 06, 2013
  • Panagiotis Kouvaros +1
  • PDF
  • Research Article
  • Citations1

ON THE REGULATION AND CONTENT OF A LEGAL FRAMEWORK FOR HUMAN INTERACTION WITH ARTIFICIAL INTELLIGENCE, ROBOTS AND OBJECTS OF ROBOTICS

  • Apr 01, 2020
  • The rule-of-law state: theory and practice
  • Анна Попова
  • Conference Article
  • Citations43

Verification of Multi-agent Systems with Imperfect Information and Public Actions

  • May 08, 2017
  • Francesco Belardinelli +3
  • Research Article
  • Citations15

A preferred reality: Film portrayals of robots and AI in popular science fiction

  • Apr 01, 2021
  • Journal of Science & Popular Culture
  • Daniel G Dieter +1
  • Book Chapter
  • Citations7

Verifying Robocup Teams

  • Jan 01, 2009
  • Clara Benac Earle +3
  • Research Article
  • Citations51

Moral Status and Intelligent Robots

  • Dec 27, 2021
  • The Southern Journal of Philosophy
  • John‐Stewart Gordon +1
  • Research Article
  • Citations26

Education in the AI era: a long-term classroom technology based on intelligent robotics

  • Oct 25, 2024
  • Humanities and Social Sciences Communications
  • Francisco Bellas +3
  • Research Article
  • Citations34

A Virtual World Grammar for automatic generation of virtual worlds

  • Apr 15, 2010
  • The Visual Computer
  • Tomas Trescak +2
  • PDF
  • Research Article
  • Citations4

Logic-based specification and verification of homogeneous dynamic multi-agent systems

  • Apr 28, 2020
  • Autonomous Agents and Multi-Agent Systems
  • Riccardo De Masellis +1
  • PDF
  • Front Matter
  • Citations1

Dialog between artificial intelligence & natural intelligence

  • Nov 02, 2023
  • Quantitative Biology
  • Michael Q Zhang
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.