Harmonisation of Soft Logical Inference Rules in Distributed Decision Systems

2006 ◽  
pp. 235-242
Author(s):  
Juliusz L. Kulikowski
Keyword(s):  
Inference Rules ◽  
Logical Inference ◽  
Decision Systems ◽  
Distributed Decision

Legal argumentation in Mesopotamia since Ur III

2020 ◽  
Vol 9 (2) ◽  
pp. 243-282
Author(s):  
Andrew Schumann
Keyword(s):  
Modus Ponens ◽  
Legal Argumentation ◽  
Inference Rules ◽  
Logical Inference ◽  
High Ranking ◽  
Ur Iii ◽  
Correct Application

Abstract In this paper, I show that we can find some foundations of logic and legal argumentation in the tablets of Mesopotamia at least since the dynasty of Ur III. In these texts, we see the oldest correct application of logical inference rules (e.g. modus ponens). As concerns the legal argumentation established in Mesopotamia, we can reconstruct on the basis of the tablets the following rules of dispute resolutions during trials: (1) There are two parties of disputants: (i) a protagonist who formulates a standpoint and (ii) an antagonist who disagrees with the protagonist’s standpoint and formulates an alternative statement. (2) There is a rational judge represented by high-ranking citizens who should follow only logical conclusions from facts and law articles as premises.

scholarly journals Development of Methods for Integrating Automatic Logical Inference Tools to Generate Knowledge in the Ontological Model

2019 ◽  
Vol 17 (3) ◽  
pp. 29-42 ◽  
Author(s):  
A. I. Kapustina ◽  
D. E. Palchunov
Keyword(s):  
Natural Language ◽  
Predicate Logic ◽  
Knowledge Generation ◽  
Software System ◽  
Inference Rules ◽  
Logical Inference ◽  
New Knowledge ◽  
Ontological Model ◽  
Representation Of Knowledge

The article is devoted to the development of new knowledge generation methods based on the analysis of natural language texts. To extract knowledge from natural language texts, the method of presenting sentences in the form of binary predicates with new constant-situation is used. For the representation of knowledge in a formal form, we use quantifier-free sentences of predicate logic, as well as the OWL DL language. The generation of new knowledge is realized with the help of reasoners, using pre-defined patterns of inference rules. A software system has been developed that allows users to get answers to specific questions related to given natural language texts. The answers are built in a natural language, using not only the knowledge that is explicitly contained in the document being processed, but also the knowledge generated by the reasoners.

Sign in / Sign up

Export Citation Format

Share Document