Diverging Approaches to Skeptical Inference in Non-monotonic Reasoning
Principia: An International Journal of EpistemologyOur paper addresses the problem of a two-fold approach to skeptical inferences in the context non-monotonic logics. We tackle the problem through the analysis of ambiguous theories, such as the Nixon Diamond, as instantiated in non-monotonic inheritance ...
Jorge Andrés Morales Delgado
doaj +1 more source
A defeasible logic programming approach to the integration of rules and ontologies
Journal of Computer Science and Technology, 2010 The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus enabling agents to reason about them.
Sergio Alejandro Gómez +2 more
doaj
, 1999 This work is involved with the confluence of two areas of artiñcial intelligence (AI) called “defeasible reasoning” and “temporal reasoning”. The work can be briefly described as the extensión of a particular kind of defeasible reasoning systems, called “
Augusto, Juan Carlos
core
A Probabilistic Semantics for Defeasible Argumentation in Systems Validation
IEEE Open Journal of Systems EngineeringEngineers commonly validate complex systems by considering arguments, pro and con, that a system possesses (or will possess) desired properties, such as safety or high-quality performance.
Daniel Shapiro +3 more
doaj +1 more source
An approach for Temporal Argumentation Using Labeled Defeasible Logic Programming (l-DeLP)
Journal of Computer Science and Technology, 2012 In the last decade, several argument-based formalisms have emerged, with application in many areas, such as legal reasoning, autonomous agents and multi-agent systems; many are based on Dung’s seminal work characterizing Abstract Argumentation Frameworks
Maximiliano Celmo David Budán +2 more
doaj
Legal document assembly system for introducing law students with legal drafting. [PDF]
Artif Intell Law (Dordr), 2022 Marković M, Gostojić S.
europepmc +1 more source
Implementing Nonmonotonic Reasoning From Weakly Consistent Conditional Belief Bases
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceIn this paper, we develop implementations of nonmonotonic reasoning from conditional belief bases that may contain both defeasible and undefeasible, strict beliefs.
Christoph Beierle +3 more
doaj
The winter, the summer and the summer dream of artificial intelligence in law: Presidential address to the 18th International Conference on Artificial Intelligence and Law. [PDF]
Artif Intell Law (Dordr), 2022 Francesconi E.
europepmc +1 more source
Introducing probabilistic reasoning in defeasible argumentation using labeled deductive systems [PDF]
, 2002 LabeledDeductive Systems (LDS)were developed as a rigorous but fexiblemethodology to formalize complex logical systems, such as temporal logics, database query languages and defeasible reasoning systems.
Simari, Guillermo Ricardo +1 more
core