Results 1 
5 of
5
Deduction in ManyValued Logics: a Survey
 Mathware & Soft Computing, iv(2):6997
, 1997
"... this article, there is considerable activity in MVL deduction which is why we felt justified in writing this survey. Needless to say, we cannot give a general introduction to MVL in the present context. For this, we have to refer to general treatments such as [153, 53, 93]. 2 A classification of man ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
(Show Context)
this article, there is considerable activity in MVL deduction which is why we felt justified in writing this survey. Needless to say, we cannot give a general introduction to MVL in the present context. For this, we have to refer to general treatments such as [153, 53, 93]. 2 A classification of manyvalued logics according to their intended application
Towards a Cooperating Robots Demonstrator
, 1995
"... and automation for robot scenarios and areas like CIM. This led us to set up a database for scenario construction, cf. [DPSS91], which we used to compose robotics scenarios of industrial relevance that we tried to model MEDLAR II Deliverable V.2 2 with our methods. In [Pfa95] the interplay of AI a ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
and automation for robot scenarios and areas like CIM. This led us to set up a database for scenario construction, cf. [DPSS91], which we used to compose robotics scenarios of industrial relevance that we tried to model MEDLAR II Deliverable V.2 2 with our methods. In [Pfa95] the interplay of AI and symbolic mathematical computation and traditional mathematics was discussed on the basis of some selected aspects from geometric, topological and logical reasoning in the classical AI field of robotics. It considered the kinematics model of a robot arm in detail and applied methods from symbolic computation to inverse kinematics and singularity problems. It showed how methods from classical geometry and topology can give support to work on typical robotics questions like the existence of singular configurations. Finally, it contained a sketch of a novel approach for logical modeling in robotics based on socalled logical fiberings. After trying out a small test example we
Calmet: Fibered Guard – A Hybrid Intelligent Approach to Denial of Service Prevention
 In: Proceedings of the 2005 International Conference on Computational Intelligence for Modelling, Control and Automation, and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCAIAWTIC’05), Vienna/Austria, 2005
"... This paper describes the system “Fibered Guard”, which is a hybrid intelligent web access management approach for the prevention of Denial of Service (DoS) and Distributed Denial of Service (DDoS) attacks alike. The system makes use of a logically fibered data structure to handle the necessary infor ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
This paper describes the system “Fibered Guard”, which is a hybrid intelligent web access management approach for the prevention of Denial of Service (DoS) and Distributed Denial of Service (DDoS) attacks alike. The system makes use of a logically fibered data structure to handle the necessary information, whereas a Data Mining plugin takes care of the conclusion engine. As the structure of Logical Fibering can handle millions of queries at once and treats global and local data in the same architecture, the system is a very promising solution, which has the potential to revolutionize the treatment of DoS. This paper presents the underlying principles as well as a system design overview of
University of Wales Bangor,
"... Recent advances in Multiagent Systems (MAS) and Epistemic Logic within Distributed Systems Theory, have used various combinatorial structures that model both the geometry of the systems and the Kripke model structure of models for the logic. Examining one of the simpler versions of these models, int ..."
Abstract
 Add to MetaCart
(Show Context)
Recent advances in Multiagent Systems (MAS) and Epistemic Logic within Distributed Systems Theory, have used various combinatorial structures that model both the geometry of the systems and the Kripke model structure of models for the logic. Examining one of the simpler versions of these models, interpreted systems, and the related Kripke semantics of the logic S5n (an epistemic logic with nagents), the similarities with the geometric / homotopy theoretic structure of groupoid atlases is striking. These latter objects arise in problems within algebraic Ktheory, an area of algebra linked to the study of decomposition and normal form theorems in linear algebra. They have a natural well structured notion of path and constructions of path objects, etc., that yield a rich homotopy theory. In this paper, we examine what an geometric analysis of the model may tell us of the MAS. Also the analogous notion of path will be analysed for interpreted systems and S5nKripke models, and is compared to the notion of ‘run ’ as used with MASs. Further progress may need adaptions to handle S4n rather than S5n and to use directed homotopy rather than standard ‘reversible ’ homotopy. Geometric Aspects of Multiagent Systems