Generalizing Precisiated Natural Language: A Formal Logic as a Precisiation Language

被引：0
|
作者：
Nakama, Takehiko
Munoz, Enrique
Ruspini, Enrique
机构：
来源：
PROCEEDINGS OF THE 8TH CONFERENCE OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY (EUSFLAT-13) | 2013年 / 32卷
关键词：
Precisiated natural language; precisiation language; formal logic; propositional logic; predicate logic; quantificational logic; computational theory of perceptions; human-robot interaction; COMPUTATIONAL THEORY; ROBOT; PERCEPTIONS;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We generalize precisiated natrual language by establishing a formal logic as a generalized precisiation language. In this formal logic, each proposition has a form that reflects a syntactic structure observed in natural language. Various syntactic structures are incorporated in the formal logic so that it precisiates not only perceptual propositions but also action-related propositions. The syntax of the formal logic allows us to create infinitely many precisiated propositions while ensuring that every proposition in it is precisiated. We discuss how our formal logic can effectively mediate human-robot interaction.
引用
收藏
页码：582 / 589
页数：8
相关论文
共 50 条
  • [1] Precisiated natural language (PNL)
    Zadeh, LA
    [J]. AI MAGAZINE, 2004, 25 (03) : 74 - 91
  • [2] Generalizing and Formalizing Precisiation Language to Facilitate Human-Robot Interaction
    Nakama, Takehiko
    Munoz, Enrique
    LeBlanc, Kevin
    Ruspini, Enrique
    [J]. COMPUTATIONAL INTELLIGENCE, IJCCI 2013, 2016, 613 : 381 - 397
  • [3] Formal approaches and natural language in medieval logic
    Sanmiguel Cuevas, Lucas
    [J]. ANUARIO DE ESTUDIOS MEDIEVALES, 2020, 50 (01) : 537 - 537
  • [4] FORMAL LOGIC AND LANGUAGE
    GORSKII, DP
    [J]. SOVIET STUDIES IN PHILOSOPHY, 1963, 2 (1-2): : 49 - 68
  • [5] Generalizing data in natural language
    Michalski, Ryszard S.
    Wojtusiak, Janusz
    [J]. ROUGH SETS AND INTELLIGENT SYSTEMS PARADIGMS, PROCEEDINGS, 2007, 4585 : 29 - +
  • [6] Applying Formal Logic Validation to Enhance Natural Language Understanding
    Marurngsith, Worawan
    Weawsawangwong, Pakorn
    [J]. 2019 8TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2019), 2019, : 380 - 384
  • [7] Informal Reasoning and Formal Logic: Normativity of Natural Language Reasoning
    Smokrovic, Nenad
    [J]. CROATIAN JOURNAL OF PHILOSOPHY, 2018, 18 (54) : 455 - 469
  • [8] Precisiated natural language and protoforms for human consistent data mining
    Kacprzyk, J
    Zadrozny, S
    [J]. APPLICATIONS AND SCIENCE IN SOFT COMPUTING, 2004, : 103 - 110
  • [9] Natural logic for natural language
    van Eijck, Jan
    [J]. LOGIC, LANGUAGE, AND COMPUTATION, 2007, 4363 : 216 - 230
  • [10] Logic and the natural language
    Gaher, Frantisek
    [J]. ORGANON F, 2011, 18 (02) : 261 - 269
12345