49 search results - page 1 / 10 » Combinators for Paraconsistent Attitudes |
LACL
2001
Springer
14 years 3 days 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
14 years 1 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
14 years 1 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
13 years 2 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
14 years 1 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...