On A New Semantics for First-Order Predicate Logic

Andréka, Hajnal; Benthem, Johan van; Németi, István

doi:10.1007/s10992-017-9429-y

Cited by 8 publications

(2 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, in order to meet the needs of intelligent services, it is necessary to seek efficient environmental expression methods to fully and effectively express complex information in the environment. At present, the commonly used environmental information expression methods mainly include predicate logic representation [1,2], production rule representation [3,4], and semantic web ontology representation [5][6][7]. These efforts promote the expression of environmental information, but ignore the relationship between different entities, and can make it difficult for a robot to express the characteristics of environmental information.…”

Section: Introductionmentioning

confidence: 99%

R-KG: A Novel Method for Implementing a Robot Intelligent Service

Menglin

Tian

et al. 2020

View full text Add to dashboard Cite

Aiming to solve the problem of environmental information being difficult to characterize when an intelligent service is used, knowledge graphs are used to express environmental information when performing intelligent services. Here, we specially design a kind of knowledge graph for environment expression referred to as a robot knowledge graph (R-KG). The main work of a R-KG is to integrate the diverse semantic information in the environment and pay attention to the relationship at the instance level. Also, through the efficient knowledge organization of a R-KG, robots can fully understand the environment. The R-KG firstly integrates knowledge from different sources to form a unified and standardized representation of a knowledge graph. Then, the deep logical relationship hidden in the knowledge graph is explored. To this end, a knowledge reasoning model based on a Markov logic network is proposed to realize the self-developmental ability of the knowledge graph and to further enrich it. Finally, as the strength of environment expression directly affects the efficiency of robots performing services, in order to verify the efficiency of the R-KG, it is used here as the semantic map that can be directly used by a robot for performing intelligent services. The final results prove that the R-KG can effectively express environmental information.

show abstract

Section: Introductionmentioning

confidence: 99%

R-KG: A Novel Method for Implementing a Robot Intelligent Service

Menglin

Tian

et al. 2020

View full text Add to dashboard Cite

show abstract

“…A case in point are the decidable guarded fragment and the generalized first-order semantics found in Andréka et al (1998). In a recent paper Andréka et al (2017), triggered by work of Aldo Antonelli on weak first-order logics, this abstraction was taken one step further, viewing existential and universal quantifiers as arbitrary generalized quantifiers that can be parametrized to objects or tuples of objects in a model.…”

mentioning

confidence: 99%