Topic
Paraconsistent logic
About: Paraconsistent logic is a research topic. Over the lifetime, 1610 publications have been published within this topic receiving 28842 citations.
Papers published on a yearly basis
Papers
More filters
•
TL;DR: The Para-Analyzer algorithm, based on the Paraconsistent Logic, is presented, which provides the analysis of an uncertain and contradictory environment facilitating decision making in public transport using sensors to detect obstacles.
Abstract: Intelligent Transportation Systems make use of communication and information technology with the
objective of improving the performance of public transport, reducing time and thus saving resources. Sensors
enabled the development of new computational solutions, as well as different algorithms have been studied and
applied in this area. A literature review process has also proven to be an appropriate tool to manage and organize
the growing number of article and periodical databases, allowing the identification of relevant contributions.
A total of 170 articles were selected and categorized in the study of the algorithms applied in the Public Transport
System with the Internet of Things. It is presented the Para-Analyzer algorithm, based on the Paraconsistent
Logic, which provides the analysis of an uncertain and contradictory environment facilitating decision making.
Finally, it is proposed an application of the Para-Analyzer algorithm in public transport using sensors to detect
obstacles.
1 citations
••
10 Nov 1991TL;DR: A formal description is presented of the process learning from experience of a first-order logic in Gentzen style, two concepts of counterexample and refutation by facts, and a hypothesis calculus for modifying a theory to match the human's observation and experiments.
Abstract: A formal description is presented of the process learning from experience. First-order logic is used as a language to denote knowledge. The theory consists of a first-order logic in Gentzen style, two concepts of counterexample and refutation by facts, and a hypothesis calculus for modifying a theory to match the human's observation and experiments. A comparison with nonmonotonic logic is also made. >
1 citations
••
TL;DR: This paper introduces various concepts for argumentation, such as arguments, attack relations, argument justification, preferential criteria of arguments based on social norms, and so on, in a way proper to the four-valued paraconsistent logic.
Abstract: Argumentation is the most representative of intelligent activities of humans. Therefore, it is natural to think that it could have many implications for artificial intelligence and computer science as well. Specifically, argumentation may be considered a most primitive capability for interaction among computational agents. In this paper we present an argumentation framework based on the four-valued paraconsistent logic. Tolerance and acceptance of inconsistency that this logic has as its logical feature allow for arguments on inconsistent knowledge bases with which we are often confronted. We introduce various concepts for argumentation, such as arguments, attack relations, argument justification, preferential criteria of arguments based on social norms, and so on, in a way proper to the four-valued paraconsistent logic. Then, we provide the fixpoint semantics and dialectical proof theory for our argumentation framework. We also give the proofs of the soundness and completeness.
1 citations
••
TL;DR: In this article, a planning tool is presented that use paraconsistent belief integration to guide analysts' attention towards actors' relations, beliefs, and group identification modes, which may be important to consider when planning the interaction.
Abstract: Interaction with influential actors is essential during international operations. Currently, however, commanders only have little support, if any, for planning and performing these interactions besides their own understanding of the situation. Since there are inherent conflicts among actors, a planning tool is presented that use paraconsistent belief integration to guide analysts’ attention towards actors’ relations, beliefs, and group identification modes, which may be important to consider when planning the interaction. The planning tool is evaluated in a representative scenario where analysts have to find ways and means to disrupt a drug trade between irregular and criminal actors. The available information enables the analyst to identify likely suspects in the drug trade, identify actors that have interests that are aligned the international force, as well as important considerations for planning the interaction with these actors. Preliminary evaluations show that better planning tools are very desirable for commanders and intelligence officers.
1 citations