Using Answer Set Programming to Enhance Operating System Discovery

被引：0
|
作者：
Gagnon, Francois [1 ]
Esfandiari, Babak [1 ]
机构：
[1] Carleton Univ, Ottawa, ON K1S 5B6, Canada
来源：
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS | 2009年 / 5753卷
关键词：
D O I：
10.1007/978-3-642-04238-6_61
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Although knowing the operating systems running in a network is becoming more and more important (mainly for security reasons), current operating system discovery tools are not sufficiently accurate to acquire the information in a fully automated way. Many design choices explain this lack of accuracy, but they all come down to a poor knowledge representation scheme. In this paper, we study how answer set programming call he used to guide the design of a knowledge-oriented operating system discovery tool. The result is significantly more accurate than today's state of the art tools.
引用
收藏
页码：579 / 584
页数：6
相关论文
共 50 条
  • [1] A hybrid approach to operating system discovery using answer set programming
    Gagnon, Francois
    Esfandiari, Babak
    Bertossi, Leopoldo
    [J]. 2007 10TH IFIP/IEEE INTERNATIONAL SYMPOSIUM ON INTEGRATED NETWORK MANAGEMENT (IM 2009), VOLS 1 AND 2, 2007, : 391 - +
  • [2] Optimising Business Process Discovery Using Answer Set Programming
    Chesani, Federico
    Di Francescomarino, Chiara
    Ghidini, Chiara
    Grundler, Giulia
    Loreti, Daniela
    Maggi, Fabrizio Maria
    Mello, Paola
    Montali, Marco
    Tessaris, Sergio
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, 2022, 13416 : 498 - 504
  • [3] Using answer set programming for a decision support system
    Beierle, C
    Dusso, O
    Kern-Isberner, G
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2005, 3662 : 374 - 378
  • [4] Symbolic System Synthesis Using Answer Set Programming
    Andres, Benjamin
    Gebser, Martin
    Schaub, Torsten
    Haubelt, Christian
    Reimann, Felix
    Glass, Michael
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 79 - 91
  • [5] Operating Room Scheduling via Answer Set Programming
    Dodaro, Carmine
    Galata, Giuseppe
    Maratea, Marco
    Porro, Ivan
    [J]. AI*IA 2018 - ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, 11298 : 445 - 459
  • [6] A System for Explainable Answer Set Programming
    Cabalar, Pedro
    Fandinno, Jorge
    Muniz, Brais
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (325): : 124 - 136
  • [7] LPForget: A system of forgetting in answer set programming
    Cheng, Fu-Leung
    Eiter, Thomas
    Robinson, Nathan
    Sattar, Abdul
    Wang, Kewen
    [J]. AI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4304 : 1101 - +
  • [8] The first answer set programming system competition
    Gebser, Martin
    Liu, Lengning
    Namasivayam, Gayathri
    Neumann, Andre
    Schaub, Torsten
    Truszczynski, Miroslaw
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2007, 4483 : 3 - +
  • [9] Evolutionary System Design with Answer Set Programming
    Haubelt, Christian
    Mueller, Luise
    Neubauer, Kai
    Schaub, Torsten
    Wanko, Philipp
    [J]. ALGORITHMS, 2023, 16 (04)
  • [10] A System for Probabilistic Inductive Answer Set Programming
    Nickles, Matthias
    Mileo, Alessandra
    [J]. SCALABLE UNCERTAINTY MANAGEMENT (SUM 2015), 2015, 9310 : 99 - 105
12345