Filters








1,041 Hits in 2.4 sec

Page 215 of Computational Linguistics Vol. 15, Issue 3 [page]

1989 Computational Linguistics  
01-0011A Evaluations of Expert System Development Tools Lewis, M. 01-0013 LDR: A Logic for Defeasible Reasoning Nute, D. 01-0014 The Automation of a Practical Reasoning System Based on Concepts in Deontic  ...  In this report I examine three systems of deontic logic (the logic of ‘‘ought’’), and based two automated practical reasoning systems on them. The first one is implemented in Prolog.  ... 

A system for modal and deontic defeasible reasoning

Grigoris Antoniou, Nikos Dimaresis, Guido Governatori
2008 Proceedings of the 2008 ACM symposium on Applied computing - SAC '08  
Our language of choice, defeasible logic, is compatible with developments in this area.  ...  As argued in [1] , reasoning about intentions and other mental attitudes has defeasible nature, and defeasibility is a key aspect for normative reasoning.  ...  It provides automated decision support, when running a specific case with the given logic programs and ontological knowledge to get a correct answer.  ... 
doi:10.1145/1363686.1364226 dblp:conf/sac/AntoniouDG08 fatcat:fdu6v2dkrfd5xie7kgoytvzesa

A System for Nonmonotonic Rules on the Web [chapter]

G. Antoniou, A. Bikakis, G. Wagner
2004 Lecture Notes in Computer Science  
The system (a) is syntactically compatible with RuleML; (b) features strict and defeasible rules and priorities; (c) is based on a translation to logic programming with declarative semantics; and (d) is  ...  Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information.  ...  This reasoning family comprises defeasible logics [ 24, 5] and Courteous Logic Programs [ 16] .  ... 
doi:10.1007/978-3-540-30504-0_3 fatcat:k3x624xzurh2fe2mzmc54ft73y

DR-NEGOTIATE – A system for automated agent negotiation with defeasible logic-based strategies

Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori, Antonis Bikakis
2007 Data & Knowledge Engineering  
The negotiation strategies are expressed in a declarative rules language, defeasible logic, and are applied using the implemented system DR-DEVICE.  ...  This paper reports on a system for automated agent negotiation, based on a formal and executable approach to capture the behavior of parties involved in a negotiation.  ...  On Defeasible Logic Programming Defeasible reasoning is a simple rule-based approach to reasoning with incomplete and inconsistent information.  ... 
doi:10.1016/j.datak.2007.03.004 fatcat:axxiagmhnbhl5huy6w2x5x2iiy

A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies – Preliminary Report [chapter]

Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades
2004 Lecture Notes in Computer Science  
This paper reports on a system for automated agent negotiation. The negotiation strategies are expressed in defeasible logic, and are applied using the implemented reasoning system DR-DEVICE.  ...  This reasoning family comprises defeasible logics [14, 16] and Courteous Logic Programs [15] .  ...  On Defeasible Logic Defeasible reasoning is a simple rule-based approach to reasoning with incomplete and inconsistent information. It can represent facts, rules, and priorities among rules.  ... 
doi:10.1007/978-3-540-30504-0_18 fatcat:filsxzegibbxpd6dgqcex42kam

A formal approach to negotiating agents development

Marlon Dumas, Guido Governatori, Arthur H.M. ter Hofstede, Phillipa Oaks
2002 Electronic Commerce Research and Applications  
The control module is expressed as a statechart, and the reasoning module as a defeasible logic program.  ...  The choice of statecharts and defeasible logic with respect to other formalisms is justified against a set of desirable criteria, and their suitability is illustrated through concrete examples of bidding  ...  All the defeasible logic programs appearing in the paper have been tested using a defeasible logic inference engine [26] .  ... 
doi:10.1016/s1567-4223(02)00016-9 fatcat:zyz3ip56trdqhpyjutjcvvwvje

DR-DEVICE: A Defeasible Logic System for the Semantic Web [chapter]

Nick Bassiliades, Grigoris Antoniou, Ioannis Vlahavas
2004 Lecture Notes in Computer Science  
This paper presents DR-DEVICE, a system for defeasible reasoning on the Web. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information.  ...  In this paper we describe these scenarios in more detail along with the implementation of the DR-DEVICE system, which is capable of reasoning about RDF data over multiple Web sources using defeasible logic  ...  This reasoning family comprises defeasible logics ( [35] , [6] ) and Courteous Logic Programs [24] .  ... 
doi:10.1007/978-3-540-30122-6_10 fatcat:7cdbrtiveneyhmjaawohlzxrny

A review of current defeasible reasoning implementations

Daniel Bryant, Paul Krause
2008 Knowledge engineering review (Print)  
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature.  ...  An important goal of this paper is to argue for the need for well designed empirical evaluations, as well as formal complexity analysis, in order to justify the practical applicability of a reasoning engine  ...  Logic programming -the father of automated reasoning Computational logic arose from the work begun by logicians in the 1950's on the automation of logical deduction, and was fostered in the 1970's by Colmerauer  ... 
doi:10.1017/s0269888908001318 fatcat:wnrfzrfocnfa3dk5luuvdwsjcy

Development of a Logic Layer in the Semantic Web: Research Issues

Naeem Khalid Janjua, Farookh Khadeer Hussain
2010 2010 Sixth International Conference on Semantics, Knowledge and Grids  
This paper discusses argumentation, semantic web and defeasible logic programming with their distinct features and identifies the different research issues that need to be addressed in order to realize  ...  defeasible argumentative reasoning in the semantic web applications.  ...  Moreover, the benefits of defeasible logic programming on the semantic web are elaborated upon with an example.  ... 
doi:10.1109/skg.2010.61 dblp:conf/skg/JanjuaH10 fatcat:ln3pql6ftzhmzf4x6uuq232mwm

The RatioLog Project: Rational Extensions of Logical Reasoning

Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
2015 Künstliche Intelligenz  
Higher-level cognition includes logical reasoning and the ability of question answering with common sense.  ...  In this context, we work toward the application of techniques from human reasoning: We employ defeasible reasoning to compare the answers w.r.t. specificity, deontic logic, normative reasoning, and model  ...  Techniques from machine learning with similarity measures and case-based reasoning, defeasible reasoning with (a revision of) the specificity criterion, and normative reasoning with deontic logic help  ... 
doi:10.1007/s13218-015-0377-9 fatcat:w6mqqrmhmnerzjircnw4ktodwa

Defeasible security policy composition for web services

Adam J. Lee, Jodie P. Boyer, Lars E. Olson, Carl A. Gunter
2006 Proceedings of the fourth ACM workshop on Formal methods in security - FMSE '06  
In this paper we explore the concept of defeasible policy composition, wherein policies are represented in defeasible logic and composition is based on rules for non-monotonic inference.  ...  We aim to partially validate these claims here with a formulation of defeasible policy composition for web services, an emerging foundation for B2B commerce on the World Wide Web.  ...  to automate reasoning about defeasible theories.  ... 
doi:10.1145/1180337.1180342 dblp:conf/ccs/LeeBOG06 fatcat:mqbdt35l55bbzb76kshnfuy3ni

ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements [chapter]

Adrian Paschke, Martin Bichler, Jens Dietrich
2005 Lecture Notes in Computer Science  
In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables automated execution and  ...  We make use of a set of knowledge representation (KR) concepts and combine adequate logical formalisms in one expressive formal framework called ContractLog.  ...  Table 1 . 1 Main logic concepts of ContractLog Logic Usage Derivation rules (horn logic with NaF) Enables deductive reasoning on business rules.  ... 
doi:10.1007/11580072_19 fatcat:crdbgzxrkbegzhqcjnkwjizc4q

Semantic Knowledge Transformation for Context-aware Heterogeneous Formalisms

Hafiz Mahfooz Ul Haque, Sajid Ullah, Ibrar Hussain
2019 International Journal of Advanced Computer Science and Applications  
logic programming (DeLP).  ...  Contextual defeasible reasoning has been emerged from defeasible logic and multicontext system.  ... 
doi:10.14569/ijacsa.2019.0101285 fatcat:qfjemwjrg5deflvc7jvghr3vca

A formal approach to protocols and strategies for (legal) negotiation

Guido Governatori, Marlon Dumas, Arthur H. M. ter Hofstede, Phillipa Oaks
2001 Proceedings of the 8th international conference on Artificial intelligence and law - ICAIL '01  
The choice of defeasible logic is justified against a set of desirable criteria for negotiation automation languages.  ...  ) a control module; (iii) a reasoning module specified as a defeasible theory; and (iv) a knowledge base which bridges the control and the reasoning modules, while keeping track of past decisions and interactions  ...  Additionally it supports several defeasible reasoning mechanisms (prioritized logic programming), and an adviser.  ... 
doi:10.1145/383535.383555 dblp:conf/icail/GovernatoriDHO01 fatcat:a4pwhhlpq5djtdyaeviaveew7u

Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases [chapter]

Quoc Bao Vo
2005 Lecture Notes in Computer Science  
In this paper we present several efficient computational procedures for defeasible reasoning while the plausible and well-defined semantics, viz. preferred models and stable models, are not given up.  ...  The proposed algorithms exploit the structural information of defeasible knowledge bases to facilitate efficient computational models.  ...  Together with the conviction that common sense reasoning should be at heart of any construction of automated intelligent agents, this has motivated a great line of research in AI.  ... 
doi:10.1007/11589990_91 fatcat:mauzfp77tfdmzgvyvrnh3v4ppa
« Previous Showing results 1 — 15 out of 1,041 results