Specifying Database Transactions and Active Rules in the Situation Calculus

1999 ◽  
pp. 41-56 ◽  
Author(s):  
Leopoldo Bertossi ◽  
Javier Pinto ◽  
Ricardo Valdivia
Keyword(s):  
Situation Calculus ◽  
Active Rules ◽  
Database Transactions

Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus

2020 ◽  
Author(s):  
Jens Claßen ◽  
James Delgrande
Keyword(s):  
Artificial Intelligence ◽  
Deontic Logic ◽  
Action Theory ◽  
Prima Facie ◽  
Situation Calculus ◽  
Artificial Agents ◽  
Planning Techniques ◽  
Course Of Action ◽  
Reasoning About Action ◽  
The Given

With the advent of artificial agents in everyday life, it is important that these agents are guided by social norms and moral guidelines. Notions of obligation, permission, and the like have traditionally been studied in the field of Deontic Logic, where deontic assertions generally refer to what an agent should or should not do; that is they refer to actions. In Artificial Intelligence, the Situation Calculus is (arguably) the best known and most studied formalism for reasoning about action and change. In this paper, we integrate these two areas by incorporating deontic notions into Situation Calculus theories. We do this by considering deontic assertions as constraints, expressed as a set of conditionals, which apply to complex actions expressed as GOLOG programs. These constraints induce a ranking of "ideality" over possible future situations. This ranking in turn is used to guide an agent in its planning deliberation, towards a course of action that adheres best to the deontic constraints. We present a formalization that includes a wide class of (dyadic) deontic assertions, lets us distinguish prima facie from all-things-considered obligations, and particularly addresses contrary-to-duty scenarios. We furthermore present results on compiling the deontic constraints directly into the Situation Calculus action theory, so as to obtain an agent that respects the given norms, but works solely based on the standard reasoning and planning techniques.

WITHDRAWN: A concurrent rule scheduling algorithm for active rules☆

2006 ◽  
Author(s):  
Ying Jin ◽  
Susan D. Urban ◽  
Suzanne W. Dietrich
Keyword(s):  
Scheduling Algorithm ◽  
Active Rules

Proving Consistency of Database Transactions Written in Extended Pascal

1982 ◽  
Vol SE-8 (4) ◽  
pp. 440-446
Author(s):  
G. Gardarin ◽  
M. Melkanoff
Keyword(s):  
Database Transactions

A Situation Calculus based approach to Cognitive Modelling for Responding to IoT Cyberattacks

2021 ◽  
Author(s):  
Pushpinder Kaur Chouhan ◽  
Liming Chen ◽  
Tazar Hussain ◽  
Alfie Beard
Keyword(s):  
Situation Calculus ◽  
Cognitive Modelling

scholarly journals Knowledge representation for missing persons investigations

2017 ◽  
Vol 19 (1/2) ◽  
pp. 138-150
Author(s):  
Mark Taylor ◽  
Denis Reilly
Keyword(s):  
Knowledge Representation ◽  
Design Methodology ◽  
Situation Calculus ◽  
Content Type ◽  
Missing Persons ◽  
State Changes ◽  
Changes Over Time ◽  
Investigation Process ◽  
Practical Implications ◽  
Over Time

Purpose This paper aims to present the application of situation calculus for knowledge representation in missing persons investigations. Design/methodology/approach The development of a knowledge representation model for the missing persons investigation process based upon situation calculus, with a demonstration of the use of the model for a missing persons example case. Findings Situation calculus is valuable for knowledge representation for missing persons investigations, as such investigations have state changes over time, and due to the complexity of the differing investigation activities applicable to different situations, can be difficult to represent using simpler approaches such as tables or flowcharts. Research limitations/implications Situation calculus modelling for missing persons investigations adds formalism to the process beyond that which can be afforded by the current use of text, tables or flowcharts. The additional formalism is useful in dealing with the uncertainty present in such investigations. Practical implications The implications are a simplification of the application of the current police guidelines, and thoroughness in the application of such guidelines for missing persons investigations via situation calculus modelling. Social implications This paper supports the management of missing person investigations, by using the most critical variables in a missing persons investigation to determine relevant investigation and search activities applicable to the circumstances of a given case. Originality/value The novelty of the knowledge representation approach is the application of situation calculus via state and action vectors and a matrix of fluents to the process of missing persons investigations.

Database Transactions in MSA

2019 ◽  
pp. 199-219
Author(s):  
Chellammal Surianarayanan ◽  
Gopinath Ganapathy ◽  
Pethuru Raj
Keyword(s):  
Database Transactions

scholarly journals Integrating State Constraints and Obligations in Situation Calculus

2009 ◽  
Vol 13 (41) ◽  
Author(s):  
Robert Demolombe ◽  
Pilar Pozos Parra
Keyword(s):  
State Constraints ◽  
Situation Calculus
Sign in / Sign up

Export Citation Format

Share Document