Autonomous Mobile Robot Emmy III

Torres, Cláudio Rodrigo; Abe, Jair Minoro; Lambert‐Torres, Germano; Filho, João Inácio da Silva; Martins, Helga Gonzaga

doi:10.1007/978-3-642-00909-9_31

Cited by 9 publications

(7 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Robots and AS should be programed with our best normative theories of logic, rationality [46] and ethics tempered with pragmatic performance expectations. Robots and AS are already computational devices, thus abide by propositional logic, predicate logic, and sometimes paraconsistent logic [93]. Robots increasingly make decisions under uncertainty using Bayesian rationality [8,92].…”

Section: What or Who Should We Trust?mentioning

confidence: 99%

Trustworthiness of Autonomous Systems

Devitt

2018

Foundations of Trusted Autonomy

View full text Add to dashboard Cite

Section: What or Who Should We Trust?mentioning

confidence: 99%

Trustworthiness of Autonomous Systems

Devitt

2018

Foundations of Trusted Autonomy

View full text Add to dashboard Cite

“…One of their results, the autonomous robot EMMY III is designed to be able to navigate through dilemmatic situations, for example, when one sensor detects an obstacle in front of the robot, while the other detects the presence of no objects [89].…”

Section: Automated Reasoningmentioning

confidence: 99%

“…Recall the robot EMMY III ( [89]), which uses paraconsistent logic in order to determine its movements. It is based on it that this small example is presented.…”

Section: Roboticsmentioning

confidence: 99%

See 1 more Smart Citation

Paraconsistency in hybrid logic

Costa

Martins

2016

J Logic Computation

View full text Add to dashboard Cite

palavras-chaveParaconsistência, lógica híbrida, lógica quase-híbrida, bistrutura, frame de Kripke, satisfação dissociada, satisfação forte, modelo, medida de inconsistência. However, the information we collect is subject to inconsistencies, namely, the search for different information sources can lead us to pick up contradictions. Nowadays, by having so many means of dissemination available, that happens frequently.The aim of this work is to develop tools capable of dealing with contradictory information that can be described as hybrid logics' formulas. To build models, to compare inconsistency in different databases, and to see the applicability of this method in day-to-day life are the basis for the development of this dissertation.

show abstract

“…The second category of inconsistency can be checked by the following CTL formula AG(¬(B n 1 +1 ∧ EXD n 1 +1 ) ∧ ¬(D n 1 +1 ∧ EXB n 1 +1 )∧ · · · ∧ ¬(B n ∧ EXD n ) ∧ ¬(D n ∧ EXB n )). (6) or LTL formula…”

Section: Lemmamentioning

confidence: 99%

Verification of logical consistency in robotic reasoning

Veres

2016

Robotics and Autonomous Systems

View full text Add to dashboard Cite

Most autonomous robotic agents use logic inference to keep themselves to safe and permitted behaviour. Given a set of rules, it is important that the robot is able to establish the consistency between its rules, its perception-based beliefs, its planned actions and their consequences. This paper investigates how a robotic agent can use model checking to examine the consistency of its rules, beliefs and actions. A rule set is modelled by a Boolean evolution system with synchronous semantics, which can be translated into a labelled transition system (LTS). It is proven that stability and consistency can be formulated as computation tree logic (CTL) and linear temporal logic (LTL) properties. Two new algorithms are presented to perform realtime consistency and stability checks respectively. Their implementation provides us a computational tool, which can form the basis of efficient consistency checks on-board robots.

show abstract

Autonomous Mobile Robot Emmy III

Cited by 9 publications

References 3 publications

Trustworthiness of Autonomous Systems

Trustworthiness of Autonomous Systems

Paraconsistency in hybrid logic

Verification of logical consistency in robotic reasoning

Contact Info

Product

Resources

About