Extensions of Answer Set programming with language constructs from temporal logics, such as temporal equilibrium logic over finite traces (TELf), provide an expressive computational framework for modeling dynamic appl...
详细信息
ISBN:
(纸本)9783031436185;9783031436192
Extensions of Answer Set programming with language constructs from temporal logics, such as temporal equilibrium logic over finite traces (TELf), provide an expressive computational framework for modeling dynamic applications. In this paper, we study the so-called past-present syntactic subclass, which consists of a set of logic programming rules whose body references to the past and head to the present. Such restriction ensures that the past remains independent of the future, which is the case in most dynamic domains. We extend the definitions of completion and loop formulas to the case of past-present formulas, which allows for capturing the temporal stable models of past-present temporal programs by means of an LTLf expression.
Answer set programs in practice are often subject to change. This can lead to inconsistencies in the modified program due to conflicts between rules which are the results of the derivation of strongly complementary li...
详细信息
Answer set programs in practice are often subject to change. This can lead to inconsistencies in the modified program due to conflicts between rules which are the results of the derivation of strongly complementary literals. To facilitate the maintenance of consistency in answer set programs, in this paper we continue work on a recently presented framework that implements interactive conflict resolution by extending the bodies of conflicting rules by suitable literals, so-called 2,-extensions. More precisely, we present strategies to choose 2, -extensions that allow for resolving several conflicts at a time in an order that aims at minimizing (cognitive) efforts. In particular, we present a graphical representation of connections between conflicts and their possible solutions. Such a representation can be utilized to efficiently guide the user through the conflict resolution process by displaying conflicts and suggesting solutions in a suitable order.
The AGM postulates are for the belief revision (revision by a single belief), and the DP postulates are for the iterated revision (revision by a finite sequence of beliefs). Li (The Computer Journal 50:378–390, 2007)...
详细信息
Intent-based networking aims at achieving automated network management by allowing users to express desired outcomes rather than manually configure network resources. In this poster paper, by means of an example, we i...
详细信息
ISBN:
(纸本)9798400702341
Intent-based networking aims at achieving automated network management by allowing users to express desired outcomes rather than manually configure network resources. In this poster paper, by means of an example, we illustrate our proposal for a declarative and vendor-agnostic methodology to perform intent processing and translation, including static conflict detection and resolution between intents, by leveraging logic programming to determine feasible placements of Virtual Network Function chains. We conclude by pointing out lines for future work.
Conjecturing and theorem proving are activities at the center of mathematical practice and are difficult to separate. In this paper, we propose a framework for completing incomplete conjectures and incomplete proofs. ...
详细信息
Conjecturing and theorem proving are activities at the center of mathematical practice and are difficult to separate. In this paper, we propose a framework for completing incomplete conjectures and incomplete proofs. The framework can turn a conjecture with missing assumptions and with an under-specified goal into a proper theorem. Also, the proposed framework can help in completing a proof sketch into a human-readable and machine-checkable proof. Our approach is focused on synthetic geometry, and uses coherent logic and constraint solving. The proposed approach is uniform for all three kinds of tasks, flexible and, to our knowledge, unique such approach.
Clinical Quality Measures (CQMs) have been developed for to assess the quality of the population health. Quality measures allow healthcare organizations to evaluate the status of the health of their patient population...
详细信息
ISBN:
(纸本)9798350312249
Clinical Quality Measures (CQMs) have been developed for to assess the quality of the population health. Quality measures allow healthcare organizations to evaluate the status of the health of their patient population and take the corresponding actions to improve it. One of the challenges of implementing CQMs is the implementation of the frequently changing logic needed to calculate the measures. In this paper, I propose the use of Natural Language Processing (NLP) and logic programming to automate and streamline the generation of the logic needed to perform the CQMs calculations.
Threat evaluation is a vital process for any defense system, and it consists of a series of calculation and evaluation based on the inferred capabilities and intents of the targets that aim to give damage to defended ...
详细信息
Threat evaluation is a vital process for any defense system, and it consists of a series of calculation and evaluation based on the inferred capabilities and intents of the targets that aim to give damage to defended assets. Target evaluation is proceeded in a wargame and the aim is to compare weapon target pairs according to a set of criteria. The target evaluation cycle is repeated anytime a new detection is received and when any change happens in the target currently detected. The whole process consists of a set of tasks that are shared between Command and Control units and the tasks require different responsibilities. Each task is succeeded by a specific behavior that is represented as a reasonably ordered set of actions. The task sharing is organized by taking the C2 architectures into account. In this paper, an agent-based command and control entity, which is in charge of target evaluation and giving engagement decision, is designed and it is situated in an air defense simulation environment. The study aims to propose an agent design in military decision-making domain, bringing analytic methods with the first-order logic together, and combine aspect orientation with agent design. The study also improves dynamic aspect management in agent programming using the relation concept.
This paper describes the continuing use of logical English as a logic programming language that can be interpreted by the s(CASP) reasoner. It builds upon the previous work, and proceeds to add the possibility of expr...
详细信息
This paper describes the continuing use of logical English as a logic programming language that can be interpreted by the s(CASP) reasoner. It builds upon the previous work, and proceeds to add the possibility of expressing global constraints in a form of English that can be easily understood by users, even without any specific technical training. In particular we will integrate constraints in a legal knowledge base, and demonstrate its use. We will then tackle the possibility of integrating the Event Calculus in LE, and querying the system with s(CASP). In conclusion, we will discuss the ongoing work in integrating LE and s(CASP), and assess the process, with it’s results and difficulties. 2023 Copyright for this paper by its authors.
We are extending the keyword–based query interface DdQl for relational databases which is based on contextual background knowledge such as suitable join conditions and which was proposed in [10]. In the previous pape...
详细信息
The online answer set solver oClingo offers a powerful new technique for uniting the speed of Answer Set programming (ASP) with dynamic events. The price of this power is paid by increased constraints on the construct...
详细信息
暂无评论