Theory, Practice, and Applications of Rules on the Web

We present textual logic (TL), a novel approach that enables rapid semi-automatic acquisition of rich logical knowledge from text. The resulting axioms are expressed as defeasible higher-order logic formulas in Rulelog, a novel extended form of declarative logic programs. A key element of TL is textual terminology, a phrasal style of knowledge in which words/word-senses are used directly as logical constants. Another key element of TL is a method for rapid interactive disambiguation as part of logic-based text interpretation. Existential quantifiers are frequently required, and we describe Rulelog’s approach to making existential knowledge be defeasible. We describe results from a pilot experiment that represented the knowledge from several thousand English sentences in the domain of college-level cell biology, for purposes of question-answering.

[1]  Mehdi Dastani,et al.  Goal types in agent programming , 2006, AAMAS '06.

[2]  Guido Governatori,et al.  What Are the Necessity Rules in Defeasible Reasoning? , 2011, LPNMR.

[3]  Richmond H. Thomason,et al.  Desires and Defaults: A Framework for Planning with Inferred Goals , 2000, KR.

[4]  Wojciech Jamroga,et al.  Towards a theory of intention revision , 2007, Synthese.

[5]  Roberto M. Amadio,et al.  Localities and Failures (Extended Abstract) , 1994, FSTTCS.

[6]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[7]  Guido Governatori,et al.  A defeasible logic for modelling policy-based intentions and motivational attitudes , 2009, Log. J. IGPL.

[8]  T. L. McCluskey,et al.  Large-scale Parallel Stratified Defeasible Reasoning , 2012, ECAI.

[9]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[10]  Guido Governatori,et al.  Computing Strong and Weak Permissions in Defeasible Logic , 2012, Journal of Philosophical Logic.

[11]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[12]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[13]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..

[14]  M. Winikoff,et al.  Declarative & Procedural Goals in Intelligent Agent Systems , 2002, KR.

[15]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[16]  Murray Shanahan,et al.  The Event Calculus Explained , 1999, Artificial Intelligence Today.

[17]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[18]  Michael J. Maher.  Under consideration for publication in Theory and Practice of Logic Programming 1 Propositional Defeasible Logic has Linear Complexity , 2004 .

[19]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[20]  Guido Governatori,et al.  The Making of SPINdle , 2009, RuleML.

[21]  Ioannis P. Vlahavas,et al.  A Defeasible Logic Reasoner for the Semantic Web , 2004, Int. J. Semantic Web Inf. Syst..

[22]  Guido Governatori,et al.  Programming Cognitive Agents in Defeasible Logic , 2005, LPAR.

[23]  Jos C. M. Baeten,et al.  A brief history of process algebra , 2005, Theor. Comput. Sci..

[24]  Vincent Danos,et al.  Reversible Communicating Systems , 2004, CONCUR.

[25]  Guido Governatori,et al.  Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations , 2006 .

[26]  Guido Governatori,et al.  The Journey to Business Process Compliance , 2009, Handbook of Research on Business Process Modeling.

[27]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[28]  Jan A. Bergstra,et al.  The Algebra of Recursively Defined Processes and the Algebra of Regular Processes , 1984, ICALP.

[29]  Guido Governatori,et al.  BIO logical agents: Norms, beliefs, intentions in defeasible logic , 2008, Autonomous Agents and Multi-Agent Systems.

[30]  Michael J. Maher,et al.  A Family of Defeasible Reasoning Logics and its Implementation , 2000, ECAI.

[31]  Adrian Paschke,et al.  Standards for Complex Event Processing and Reaction Rules , 2011, RuleML America.

[32]  Lin Padgham,et al.  Revising conflicting intention sets in BDI agents , 2012, AAMAS.

[33]  Kalliopi Kravari,et al.  Reasoning and Proofing Services for Semantic Web Agents , 2011, IJCAI.