scholarly journals OCC’s Emotions: A Formalization in a BDI Logic

2006 ◽  
pp. 24-32 ◽  
Author(s):  
Carole Adam ◽  
Benoit Gaudou ◽  
Andreas Herzig ◽  
Dominique Longin
Keyword(s):  
Bdi Logic

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

2020 ◽  
Author(s):  
Pablo Sierra
Keyword(s):  
Natural Language Processing ◽  
Natural Language ◽  
Temporal Logic ◽  
Language Processing ◽  
Software Framework ◽  
Common Goal ◽  
Design And Implementation ◽  
Dialogical Logic ◽  
Bdi Logic

Abstract 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.

scholarly journals Elimination of network intrusions via a resource oriented BDI architecture

2018 ◽  
Vol 8 (1) ◽  
pp. 173-181 ◽  
Author(s):  
Ján Perháč ◽  
Daniel Mihályi ◽  
Lukáš Maťaš
Keyword(s):  
Intrusion Detection System ◽  
Sequent Calculus ◽  
Detection System ◽  
Rational Agent ◽  
Network Intrusion Detection ◽  
Network Intrusion ◽  
Network Intrusions ◽  
Bdi Architecture ◽  
Bdi Logic ◽  
Gentzen Sequent Calculus

Abstract 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.

scholarly journals Levels of modality for BDI Logic

2011 ◽  
Vol 9 (4) ◽  
pp. 250-273
Author(s):  
Jeff Blee ◽  
David Billington ◽  
Guido Governatori ◽  
Abdul Sattar
Keyword(s):  
Bdi Logic

scholarly journals Levels of Modalities for BDI Logic

2008 ◽  
Author(s):  
Jeff Blee ◽  
David Billington ◽  
Guido Governatori ◽  
Abdul Sattar
Keyword(s):  
Bdi Logic

scholarly journals A Fuzzy Semantic for BDI Logic

2021 ◽  
pp. 1-15
Author(s):  
Anderson Cruz ◽  
André V. dos Santos ◽  
Regivan H. N. Santiago ◽  
Benjamin Bedregal
Keyword(s):  
Bdi Logic

scholarly journals An experience-based BDI logic: Motivating shared experiences and intentionality

2013 ◽  
Author(s):  
Nardine Osman ◽  
Mark d'Inverno ◽  
Carles Sierra ◽  
Leila Amgoud ◽  
Henri Prade ◽  
...  
Keyword(s):  
Shared Experiences ◽  
Bdi Logic

scholarly journals Formal Model of IDS Based on BDI Logic

Mathematics ◽  
2021 ◽  
Vol 9 (18) ◽  
pp. 2290
Author(s):  
Ján Perháč ◽  
Valerie Novitzká ◽  
William Steingartner ◽  
Zuzana Bilanová
Keyword(s):  
Security Policy ◽  
Computer Network ◽  
Formal Model ◽  
Detection System ◽  
Linear Logic ◽  
Passive Protection ◽  
Manual Intervention ◽  
Current State ◽  
Network Intrusions ◽  
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.

scholarly journals Reasoning with Levels of Modalities in BDI Logic

2009 ◽  
pp. 410-415 ◽  
Author(s):  
Jeff Blee ◽  
David Billington ◽  
Abdul Sattar
Keyword(s):  
Bdi Logic

scholarly journals Identification of Relations between BDI Logic and BDI Agents

2011 ◽  
Vol 44 (1) ◽  
pp. 21-28
Author(s):  
Arvids Grabovskis ◽  
Janis Grundspenkis
Keyword(s):  
Intelligent Agent ◽  
Main Idea ◽  
Theorem Prover ◽  
Bdi Agents ◽  
Agent Architectures ◽  
Advantages And Disadvantages ◽  
Inference Algorithms ◽  
Bdi Logic ◽  
High Level ◽  
Mental Objects

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.

A complete first-order temporal BDI logic for forest multi-agent systems

2012 ◽  
Vol 27 ◽  
pp. 343-351 ◽  
Author(s):  
Lijun Wu ◽  
Kaile Su ◽  
Abdul Sattar ◽  
Qingliang Chen ◽  
Jinshu Su ◽  
...  
Keyword(s):  
Multi Agent Systems ◽  
Agent Systems ◽  
First Order ◽  
Multi Agent ◽  
Bdi Logic
Sign in / Sign up

Export Citation Format

Share Document