Answer Set programming has separately been extended with constraints, to the streaming domain, and with capabilities to reason over the quantities associated with answer sets. We propose the introduction and analysis ...
详细信息
In legal reasoning, there are a lot of interesting problems related with techniques of informatics. We propose a research field called juris-informatics to hope that we could make a great success like bio-informatics ...
详细信息
In legal reasoning, there are a lot of interesting problems related with techniques of informatics. We propose a research field called juris-informatics to hope that we could make a great success like bio-informatics to introduce various techniques of informatics into legal domain. In this paper, we show our contributions to apply logic programing to formalizing and implementing burden of proof in legal reasoning.
Assumption-based argumentation (ABA) is a central structured argumentation formalism. As shown recently, answer set programming (ASP) enables efficiently solving NP-hard reasoning tasks of ABA in practice, in particul...
详细信息
There are some recent approaches and results about the use of answer-set programming for specifying counterfactual interventions on entities under classification, and reasoning about them. These approaches are flexibl...
详细信息
The Programmable logic Controllers (PLC) are widely used in control of Industrial Processes and Machinery. Numerous companies like Mitsubishi, Siemens, ABB, and Omron have developed commercial PLC’s and have launched...
详细信息
ISBN:
(纸本)9781665439718
The Programmable logic Controllers (PLC) are widely used in control of Industrial Processes and Machinery. Numerous companies like Mitsubishi, Siemens, ABB, and Omron have developed commercial PLC’s and have launched them in the market. The buyer has to pay a considerable amount to buy commercial PLC’s available in the market. In this paper an AVR Microcontroller Based Circuitry is introduced that can be used as an alternative to commercial PLC’s. Only higher versions of Programmable logic Controllers contain analog input module. The developed Microcontroller based PLC can also provide a control for analog input signals. This alternative PLC is developed at a fraction of cost to PLC’s available in the market. The controller circuitry is programmed with the help of personal computer software. The LD-Micro Freely available Ladder logic programming Software is used to develop the code for the developed Programmable logic Controller.
Answer Set programming (ASP) is a well-known problem-solving formalism in computational logic. Nowadays, ASP is used in many real world scenarios thanks to ASP solvers. Standard evaluation of ASP programs suffers from...
详细信息
The paper considers the possibility of using complex logic to create shorter and clearer models for the purposes of intelligent agriculture. Some aspects for developing a suitable environment for program modeling of s...
详细信息
The paper considers the possibility of using complex logic to create shorter and clearer models for the purposes of intelligent agriculture. Some aspects for developing a suitable environment for program modeling of scenarios and processes of intelligent agriculture have been explored. Creating an interpreter of hierarchical complex logic will greatly facilitate modeling and decision making. Here is presented an opportunity to interpret complex logic using the logic programming language Prolog and its inference machine. The results are illustrated by an example of creating an irrigation plan.
We present an enhancement of exp(ASP), a system that generates explanation graphs for a literal -an atom a or its default negation ∼ a-given an answer set A of a normal logic program P, which explain why is true (or ...
详细信息
Combining the closed-world reasoning of answer set programming (ASP) with the open-world reasoning of ontologies broadens the space of applications of reasoners. Disjunctive hybrid MKNF knowledge bases succinctly exte...
详细信息
This is a preliminary work on configuration knowledge representation which serves as a foundation for building interactive configuration systems in Answer Set programming (ASP). The major concepts of the product confi...
详细信息
暂无评论