Formal Model of IDS Based on BDI Logic

Computer network security is an important aspect of computer science. Many researchers are trying to increase security using different methods, technologies, or tools. One of the most common practices is the deployment of an Intrusion Detection System (IDS). The current state of IDS brings only passive protection from network intrusions, i.e., IDS can only detect possible intrusions. Due to that, the manual intervention of an administrator is needed. In our paper, we present a logical model of an active IDS based on category theory, coalgebras, linear logic, and Belief–Desire–Intention (BDI) logic. Such an IDS can not only detect intrusions but also autonomously react to them according to a defined security policy. We demonstrate our approach on a motivating example with real network intrusions.

BDI logic applied to a dialogical interpretation of human–machine cooperative dialogues

We first define a language for the dialogical logic and the models that the language generates. This language is thought to capture the structure of the dialogues captured by Lekta—a software framework oriented to the design and implementation of natural language processing-related applications—and its users. These dialogues are defined as cooperative dialogues in which the dialogical logic perspective of a dialogue seen as a competition is shifted into a perspective in which both agents cooperate towards a common goal. Later we define a BDI temporal logic based on a modal framework that we will use to study the beliefs, desires and intentions of both agents based on the model generated by the dialogical logic.

Elimination of network intrusions via a resource oriented BDI architecture

We propose a resource-oriented architecture of a rational agent for a network intrusion detection system. This architecture describes the behavior of a rational agent after detection of unwanted network activities. We describe the creation of countermeasures to ward off detected threats. Examples are created based on the proposed architecture, describing the process during a rational agent detection. We have described these examples by linear BDI logic behavioral formulæ, that have been proven by Gentzen sequent calculus.

Identification of Relations between BDI Logic and BDI Agents

Identification of Relations between BDI Logic and BDI AgentsBDI (Beliefs, Desires, Intentions) is one of the most popular intelligent agent architectures which was inspired by multi-modal BDI logics. The main idea behind BDI is to implement system's behaviour by specifying it as a set of mental objects. This allows designing systems at a high level of abstraction which come closer to a human-like thinking. Although this architecture has been rapidly developing for about 20 years, its relevance to BDI logic is still arguable. This paper describes the basics of modal logic and main inference algorithms. Main concepts of BDI agents are presented and their relationships with BDI logic are discussed. Finally advantages and disadvantages of implementing BDI interpreter as a theorem prover are discussed.