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...
详细信息
Building a compiler for a programming language is a notoriously hard task, especially when starting from scratch. That's why we developed Langkit, a meta-compiler which allows language designers to focus on the hi...
详细信息
is an extension of Answer Set programming (ASP) that enables the declarative and modular modeling of problems within the entire polynomial hierarchy. The first implementation of ASP(Q), known as qasp, utilized a trans...
详细信息
Stable models of logic programs have been studied and characterized also in comparison with other formalisms by many researchers. As already argued, such characterizations are interesting for many reasons, including t...
详细信息
The area of product configuration has witnessed a growing demand for systems that can effectively guide users through the configuration process. These systems facilitate interactivity during configuration by combining...
详细信息
logic programming is a declarative programming paradigm that finds extensive use in the field of Artificial Intelligence (AI). As a result, it has become a valuable tool used in university courses for teaching student...
详细信息
暂无评论