Proceedings of the 8th Conference of the European Society for Fuzzy Logic and Technology 2013
DOI: 10.2991/eusflat.2013.89
|View full text |Cite
|
Sign up to set email alerts
|

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

Abstract: 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 proposi… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1

Citation Types

0
4
0

Year Published

2013
2013
2015
2015

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(4 citation statements)
references
References 25 publications
0
4
0
Order By: Relevance
“…Due to space restrictions we cannot fully formalize the predicate logic, but we will introduce its syntax. In a previous work (Nakama et al, 2013b) we fully characterized a propositional logic to describe robotic tasks. The formal logic introduced here extends that approach to deal with perceptual information.…”
Section: A Formal Logic To Describe Perceptionsmentioning
confidence: 99%
See 1 more Smart Citation
“…Due to space restrictions we cannot fully formalize the predicate logic, but we will introduce its syntax. In a previous work (Nakama et al, 2013b) we fully characterized a propositional logic to describe robotic tasks. The formal logic introduced here extends that approach to deal with perceptual information.…”
Section: A Formal Logic To Describe Perceptionsmentioning
confidence: 99%
“…These truth values are computed using what we have called perception functions, which are inspired by f-granular definition of perceptions. This paper is an extension of our previous work (Nakama et al, 2013b), which introduced a formal logic to describe and specify robotic tasks. More details about this framework can be also found in the companion article (Nakama et al, 2013a), which discusses the semantics of the formal logic.…”
Section: Introductionmentioning
confidence: 99%
“…Recently, Nakama et al (Nakama et al, 2013) have taken a first step toward generalizing and formalizing precisiation language by establishing a formal logic as a generalized precisiation language. Their formal logic can generate infinitely many precisiated propositions, just as infinitely many propositions can be generated in natural language, while ensuring that every proposition in the formal logic is precisiated.…”
Section: Introductionmentioning
confidence: 99%
“…Their formal logic can generate infinitely many precisiated propositions, just as infinitely many propositions can be generated in natural language, while ensuring that every proposition in the formal logic is precisiated. In this paper, we further develop and elaborate on the framework proposed in (Nakama et al, 2013).…”
Section: Introductionmentioning
confidence: 99%