49 search results - page 1 / 10 » Combinators for Paraconsistent Attitudes |
LACL
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...
MATES
2004
Springer
13 years 10 months ago
2004
Springer
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an exp...
ISMIS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Paraconsistent intuitionistic fuzzy set is an extension of intuitionistic fuzzy set or interval-valued fuzzy set. It relaxes the requirement that t + f ≤ 1, where t is ...
CDC
2010
IEEE
12 years 11 months ago
2010
IEEE
In this paper we consider visual feedback attitude synchronization in leader-follower type visibility structures in SE(3). We first define visual robotic networks consisting of the...
IAT
2005
IEEE
13 years 10 months ago
2005
IEEE
Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individua...