Prosessihallinta parakonsistentilla logiikalla

In this Master’s thesis the author’s aim is to give model building tools for the temporal paraconsistent logic program called Before-After Extended Vector Annotated Logic Program with Strong Negation (bf-EVALPSN), originally created by Professor Kazumi Nakamatsu of the Prefectural University of Hyogo, Japan. The tools bridge the paraconsistent logic program language with finite state automata

Assuring safety in an air traffic control system with defeasible logic programming

Assuring safety in complex technical systems is a crucial issue in several critical applications like air traffic control or medical devices. We present a preliminary framework based on argumentation for assisting flight controllers to reach a decision related to safety constraints in an ever changing environment in which sensor data is gathered at real time.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Assuring safety in an air traffic control system with defeasible logic programming

Assuring safety in complex technical systems is a crucial issue in several critical applications like air traffic control or medical devices. We present a preliminary framework based on argumentation for assisting flight controllers to reach a decision related to safety constraints in an ever changing environment in which sensor data is gathered at real time.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Assuring safety in an air traffic control system with defeasible logic programming

Assuring safety in complex technical systems is a crucial issue in several critical applications like air traffic control or medical devices. We present a preliminary framework based on argumentation for assisting flight controllers to reach a decision related to safety constraints in an ever changing environment in which sensor data is gathered at real time.Sociedad Argentina de Informática e Investigación Operativa (SADIO