Formal theories of knowledge in AI and robotics

Rosenschein, Stanley J.

doi:10.1007/bf03037076

Cited by 123 publications

(48 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Another sophisticated approach is that of Rosenschein and Kaelbling [110,111,76]. In their situated automata paradigm, an agent is specified in terms of a logic of knowledge.…”

Section: Rosenschein and Kaelbling -Situated Automatamentioning

confidence: 99%

Agent theories, architectures, and languages: A survey

Wooldridge

Jennings

1995

Lecture Notes in Computer Science

610

260

View full text Add to dashboard Cite

“…Another sophisticated approach is that of Rosenschein and Kaelbling [110,111,76]. In their situated automata paradigm, an agent is specified in terms of a logic of knowledge.…”

Section: Rosenschein and Kaelbling -Situated Automatamentioning

confidence: 99%

Agent theories, architectures, and languages: A survey

Wooldridge

Jennings

1995

Lecture Notes in Computer Science

610

260

View full text Add to dashboard Cite

“…Every major subject of artificial intelligence there are perception, planning, reasoning, learning and communication can be interpreted as the concept of knowledge, therefore knowledge lies at the head in artificial intelligence [1]. The definition of knowledge involves a wide range of areas, including philosophy, artificial intelligence, game theory, psychology and so on.What is knowledge?…”

Section: Introductionmentioning

confidence: 99%

“…Correspondingly, in artificial intelligence, if the machine in every state explicitly encodes the fact into a sentence which can be interpreted as a formal language or can be derived from other formal sentences by the rules in logical system, it is seem as knowing the fact [1].In flied of science and technology, the study about knowledge reasoning is booming. Hintikka first time took the traditional modal logic technology into epistemic logic [4].…”

Section: Introductionmentioning

confidence: 99%

A Reasoning System about Bi-Agent Knowledge Sharing

Gao¹,

Zhou²

2015

Proceedings of the 4th International Conference on Mechatronics, Materials, Chemistry and Computer Engineering 2015

View full text Add to dashboard Cite

Abstract.In the field of artificial intelligence and computer science, Dynamic Epistemic Logic (DEL) is often used to model the knowledge, the inference in multi-agentknowledge, the action reasoningin game, and so on. This is because, unlike the general static epistemic logic, the dynamic perception can express the knowledge update in the multi-agent interaction. This paper,after analyzing some kinds of knowledge involved in the multi-agent interaction, proposes a Knowledge Sharing System (KSS) that extends the epistemic language with a new operator of 'knowledge sharing' for bi-agent interaction. Its soundness and completeness will beproved, and some properties about it will be analyzed in this paper.This system offers a clear presentation of how an agent gets to understand the other's intentions through the action of "sharing", which allows further interaction.

show abstract

“…Working in dynamical environment is very hard for autonomous robots. For achieving intellectual action in dynamical environment, it is necessary to use such decision making based on sensory information as Subsumption Architecture [2] and [3]. However, these methods adapt an artificial system to the environment unilaterally and there is not a concept of symbiosis with natural systems.…”

Section: Introductionmentioning

confidence: 99%

Intelligent Control of Autonomous Mobile Soccer Robot Adapting to Dynamical Environment

Kurihara

Hayashi

Fujii

et al. 2004

RoboCup 2003: Robot Soccer World Cup VII

View full text Add to dashboard Cite

Abstract. This paper deals with an intelligent control of an autonomous mobile robot, which can adapt to dynamical environments. RoboCup soccer robots are chosen as demonstration targets. An important issue in robotic soccer is how to respond to dynamical environment. This study presents an intelligent control method based on System-Life concept for the autonomous mobile robot system. In other words, it is presented how to design the activating controller, sensing element, processing element and so on. Furthermore, Kalman filter and Euler's method are applied to estimate the motion of the ball. First, the soccer robot system is developed based on System-Life concept. Second, the intelligent control method is applied to them. Finally the experiment is carried out on RoboCup Soccer field. It is demonstrated the field player succeeds in approaching moving ball and goalkeeper prevents moving ball from netting. The validity of the proposed method is verified.

show abstract

Formal theories of knowledge in AI and robotics

Cited by 123 publications

References 3 publications

Agent theories, architectures, and languages: A survey

Agent theories, architectures, and languages: A survey

A Reasoning System about Bi-Agent Knowledge Sharing

Intelligent Control of Autonomous Mobile Soccer Robot Adapting to Dynamical Environment

Contact Info

Product

Resources

About